Zero-knowledge proof composition and recursion. Part 7: Deferred values
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.
This video will talk about a specific trick used in proof composition when implemented on cycles of curves: deferred computations or values. When computation cannot efficiently be computed straight away in a circuit, they can be deferred to the next circuit.
Timestamps:
00:00 Intro & Recap
00:45 Other field arithmetic
01:50 Hints
03:27 Public input as message authentication
04:58 Deferred until the next verifier circuit
Sur cette page du site, vous pouvez voir la vidéo en ligne Zero-knowledge proof composition and recursion. Part 7: Deferred values durée heure minute seconde en bonne qualité , qui a été Téléchargé par l'utilisateur David Wong 28 février 2023, Partagez le lien avec vos amis et connaissances, sur youtube cette vidéo a déjà été regardée 323 fois et il a aimé 6 téléspectateurs. Bon visionnage!
