Zero-knowledge proof composition and recursion. Part 1: overview

In this new series of video, following the series of videos on PLONK ( https://www.youtube.com/watch?v=RUZcam_jrz0) 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