Zero-knowledge proof composition and recursion. Part 9: BCTV14 paper walkthrough

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. This video goes through the paper "Scalable Zero Knowledge via Cycles of Elliptic Curves" to tie in the last few videos of this series. Timestamps: 00:00 Intro 01:45 First intuition 06:10 A few problems