Zero-knowledge proof composition and recursion. Part 1: overview
In this new series of video, following the series of videos on PLONK ( • How does PLONK work? Part 1: What's PLONK? ) I introduce the different ideas and schemes behind proof composition and proof recursion. In this series of videos we will go through pre-proof recursion schemes like Sangria and Nova, and IVC/PCD schemes following the BCTV14 paper, and later the Halo paper.
The first video is an overview of what kind of schemes exist.
Timestamps:
00:00 Intro
00:55 Agenda
02:30 Idea of proof composition
03:31 The programming mental model for composition
05:45 The programming mental model for recursion
06:54 IVC vs PCD
08:23 Outro