The larger tables you can use, the more proven computation you're going to save. And if you can only use smaller look up tables, I guess you can't put that much in. So interesting trade off there. Can I design a look up protocol where the prover computation does not depend on the table size? Okay. This is what caulk did. Totally, almost totally removed the dependence of prover computation on table size. Which opens up the possibility of using much larger tables. which then would save more prover time. The last one currently in the series is the paper called CQ. It was written with Liam Egan and Dario Fiore.
This week, Anna and Ariel Gabizon cover the SNARK trilogy; a history of pairing-based SNARKs in 3 acts. Starting from Jens Groth’s early works on SNARKs, Ariel takes us on a journey through key moments and breakthroughs in SNARKs over the last decade. They also dive into the emerging accumulation research on folding schemes and Ariel’s latest work surrounding lookup tables! This is an episode you won’t want to miss.
Here are some additional links for this episode:
Relevant Jens Groth Papers
PLONK-Relative Papers
Lookup-Relative Papers
Additional Resources
- Pinocchio: Nearly Practical Verifiable Computation by Parno, Howell, Gentry and Raykova
- Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updateable Structured Reference Strings by Maller, Bowe, Kohlweiss, and Meiklejohn
- Perpetual Powers of Tau GitHub
- Delegating Computation: Interactive Proofs for Muggles by Goldwasser, Kalai and Rothblum
- Efficient Zero-Knowledge Arguments for Arithmetic Circuits in Discrete Log Setting by Bootle, Cerulli, Chaidos, Groth and Petit
- Nova: Recursive Zero-Knowledge Arguments from Folding Schemes by Kothapalli, Setty and Tzialla
- Episode 232: Cutting Edge ZK Research with Mary Maller
- ZK Whiteboard Sessions - Module Six: Lookup Tables for Performance Optimisation
Check out the ZK Jobs Board here: ZK Jobs.
Anoma’s first fractal instance Namada is launching soon!
Namada is a proof-of-stake L1 for interchain asset-agnostic privacy. Namada natively interoperates with fast-finality chains via IBC and with Ethereum via a trustless two-way bridge.
Follow Namada on twitter @namada for more information and join the community on Discord discord.gg/namada.
If you like what we do: