ZK Whiteboard Sessions - S2M6: An Update on Folding with Albert Garreta скачать в хорошем качестве

ZK Whiteboard Sessions - S2M6: An Update on Folding with Albert Garreta

Full ZK Whiteboard Sessions - Season 1 playlist here:    • ZK Whiteboard Sessions - S1   Full ZK Whiteboard Sessions - Season 2 playlist here:    • ZK Whiteboard Sessions - S2   — In this module, Nicolas Mohnblatt and Albert Garreta start by reviewing the definition of folding schemes and going over what they are. They proceed to give an overview of the advances made since the Nova scheme was introduced in 2022, and dive deep into one of these schemes, Hypernova. What you’ll learn: 00:00 Introduction and definitions 04:25 Properties of folding schemes 08:14 Benefits of folding and applications (IVC, PCD) 12:37 What has changed since Nova 19:47 Definitions of Hypernova’s relation and accumulated relation 29:20 Multilinear extensions and Schwartz-Zippel lemma 32:54 First step of the Spartan scheme 35:33 ↳ Matrix-vector multiplications in polynomial terms 38:35 ↳ Indexing trick to build the MLE of a matrix 43:25 ↳ Reducing the claim about the R1CS relation Az ○ Bz = Cz 49:15 ↳ Running the zerocheck protocol 56:20 The full Hypernova folding protocol Below is an accompanying reading list: Nova: Recursive Zero-Knowledge Arguments from Folding Schemes (Abhiram Kothapalli, Srinath Setty, and Ioanna Tzialla, 2021): https://eprint.iacr.org/2021/370.pdf HyperNova: Recursive arguments for customizable constraint systems (Abhiram Kothapalli and Srinath Setty, 2023): https://eprint.iacr.org/2023/573.pdf ProtoGalaxy: Efficient ProtoStar-style folding of multiple instances (Liam Eagen and Ariel Gabizon, 2023): https://eprint.iacr.org/2023/1106.pdf Mova: Nova folding without committing to error terms (Nikolaos Dimitriou, Albert Garreta, Ignacio Manzur and Ilia Vlasov, 2024): https://eprint.iacr.org/2024/1220.pdf Sangria: a Folding Scheme for PLONK (Nicolas Mohnblatt, 2023): https://geometry.xyz/notebook/sangria... ProtoStar: Generic Efficient Accumulation/Folding for Special Sound Protocols (Benedikt Bünz and Binyi Chen, 2023): https://eprint.iacr.org/2023/620.pdf KiloNova: Non-Uniform PCD with Zero-Knowledge Property from Generic Folding Schemes (Tianyu Zheng, Shang Gao, Yu Guo and Bin Xiao, 2023): https://eprint.iacr.org/2023/1579.pdf Accumulation without Homomorphism (Benedikt Bünz, Pratyush Mishra, Wilson Nguyen and William Wang, 2024): https://eprint.iacr.org/2024/474.pdf LatticeFold: A Lattice-based Folding Scheme and its Applications to Succinct Proof Systems (Dan Boneh and Binyi Chen, 2024): https://eprint.iacr.org/2024/257.pdf Spartan: Efficient and general-purpose zkSNARKs without trusted setup (Srinath Setty, 2019): https://eprint.iacr.org/2019/550.pdf — ZK Whiteboard Sessions is a weekly video educational series focused on the building blocks of ZK. Season 2 is presented by ZK Hack and supported by a grant from the ZK Grants Round 2024, a grant initiative that was co-funded by the Ethereum Foundation, Aztec, Polygon, Scroll, Taiko, and zkSync. Add your email to our mailing list to be notified - https://whiteboard.zkhack.dev Help us improve and translate the subtitles in your language: https://github.com/ZK-Hack/zk-whitebo... Follow along with the series: Join the conversation on Discord:   / discord   Twitter:   / __zkhack__   Website: https://whiteboard.zkhack.dev/