Episode 342: Catch up with Zac and Ariel

Summary This 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: Cached quotients for fast lookups by Eagen, Fiore and Gabizon34:54 * Delegating Computation: Interactive Proofs for Muggles by Goldwasser, Kalai and Rothblum34:54 * Unlocking the lookup singularity with Lasso by Setty, Thaler and Wahby 36:36 * Stackproofs: Private proofs of stack and contract execution using Protogalaxy by Eagen, Gabizon, Sefranek, Towa and Williamson 54:32 * Accumulation without Homomorphism by Bünz, Mishra, Nguyen and Wang55:24 * Aztec.network Check out the ZK Jobs Board for the latest jobs in ZK at jobsboard.zeroknowledge.fm zkSummit12 is happening in Lisbon next week on Oct 8th! Buy your ticket at zksummit.com, spots are limited! Episode Sponsors Attention, all projects in need of server-side proving, kick start your rollup with Gevulot's ZkCloud, the first zk-optimized decentralized cloud! Get started with a free trial plus extended grant opportunities for premier...