Incremental Verifiable Computation and Proof-Carrying Data

Explore incremental verifiable computation (IVC) and its generalization to proof-carrying data (PCD) in this hour-long conference talk by Benedikt Bünz from New York University at the Simons Institute. Learn the formal definitions of IVC and PCD systems and discover how these technologies enable low-memory and distributed proving architectures. Examine practical applications of incremental proof systems and study their construction methods, including approaches using SNARKs and modern techniques based on accumulation schemes. Gain insights into the current challenges and open research problems in the field of incremental proof systems, providing a comprehensive overview of this advancing area in cryptographic proof systems.