Episode 342: Catch up with Zac and Ariel

Zero Knowledge

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 Gabizon 5: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 Gabizon 13:01 * HyperNova: Recursive arguments for customizable constraint systems by Kothapalli and Setty 13:01 * ProtoStar: Generic Efficient Accumulation/Folding for Special Sound Protocols by Bünz and Chen 27:24 * cq: Cached quotients for fast lookups by Eagen, Fiore and Gabizon 34:54 * Delegating Computation: Interactive Proofs for Muggles by Goldwasser, Kalai and Rothblum 34: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 Wang 55: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 customers until Q1 2025. Register at Gevulot.com.

---

Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.

As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey.

Dive deeper and discover more about Aleo at http://aleo.org/.

---

If you like what we do:

• Find all our links here! @ZeroKnowledge | Linktree
• Subscribe to our podcast newsletter
• Follow us on Twitter @zeroknowledgefm
• Join us on Telegram
• Catch us on [YouTube](www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)