Zero Knowledge

SummaryThis week Anna catches up with Zac Williamson & Ariel Gabizon from Aztec. They cover what each has been working on over the last year, Zac shared updates about the development of Aztec and the finalization of their underlying ZK system: MegaPlonk. Ariel discussed his latest research on IVC with his publications of the ProtoGalaxy and Stackproofs works and how properties of this systems brought him and Zac to start working together again. Here’s some additional links for this episode:Episode 273: History of Plonk, Noir, and the building of Aztec 3 Episode 274: SNARKs: A Trilogy with Ariel Gabizon5:51 * zkSummit: plookup: Speeding up the PLONK prover - Zac Williamson & Ariel Gabizon 10:49 * ProtoGalaxy: Efficient ProtoStar-style folding of multiple instances by Liam Eagen and Ariel Gabizon13:01 * HyperNova: Recursive arguments for customizable constraint systems by Kothapalli and Setty13:01 * ProtoStar: Generic Efficient Accumulation/Folding for Special Sound Protocols by Bünz and Chen27:24 * cq: