Zero-knowledge proof composition and recursion. Part 5: PCD, IVC, and Mina

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 fifth video finalizes the introduction to the concepts of IVC, PCD, and gives some examples using the Mina cryptocurrency. Timestamps 00:00 Intro 01:14 Mina transaction circuits and zkApps as an example for PCD 04:26 How is the verifier key hardcoded for recursion? 05:45 Mina blockchain circuit as an example of IVC 07:17 Recap and Outro