Skip to main content

IVC Scheme

Definition

An IVC Scheme is a cryptographic construction enabling incrementally verifiable computation. This scheme allows a prover to generate a short proof for a computation, and then later extend that proof to cover additional computation steps. The verification cost remains constant or grows very slowly, regardless of the total computation length. It offers significant efficiency gains for long-running or recursive processes.