Catch up with Zac and Ariel

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 GabizonzkSummit: plookup: Speeding up the PLONK prover - Zac Williamson & Ariel Gabizon ProtoGalaxy: Efficient ProtoStar-style folding of multiple instances by Liam Eagen and Ariel GabizonHyperNova: Recursive arguments for customizable constraint systems by Kothapalli and SettyProtoStar: Generic Efficient Accumulation/Folding for Special Sound Protocols by Bünz and Chencq: Cached quotients for fast lookups by Eagen, Fiore and GabizonDelegating Computation: Interactive Proofs for Muggles by Goldwasser, Kalai and RothblumUnlocking the lookup singularity with Lasso by Setty, Thaler and Wahby Stackproofs: Private proofs of stack and contract execution using Protogalaxy by Eagen, Gabizon, Sefranek, Towa and Williamson Accumulation without Homomorphism by Bünz, Mishra, Nguyen and WangAztec.networkCheck 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 SponsorsAttention, 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 customers until Q1 2025. Register at Gevulot.com.