I was working on a problem where I was trying to create a bespoke ZK circuit for verifying Poseidon hashes. There's a kind of a trifecta of papers that were coming that have come out over the last couple of years, they were using polynomial interactive oracle proof and combing scheme. But there was this one minor niggling little issue which is basically you use a commitment scheme to encode a vector as a polynictional. And then you'll perform some arithmetic of your vectors and use a and basically define some kind of polynometric expression that checks the correctness of that arithmetic. So once I cracked the sonic paper under so I'm like, right
In this week’s episode, host Anna Rose sits down with Zac Williamson, the CEO of Aztec. Anna and Zac dive deep into the history of Plonk, one of the most important proving systems to emerge in the last 5 years. Zac explains how the initial ideas came to be, how it was developed with co-author Ariel Gabizon, and how the system has evolved over time, branching out into many different iterations of Plonk, leading up to his recent work on Goblin Plonk.
The conversation also touches on Aztec's cutting-edge technology stack, including their Noir zkDSL and their planned private programmable L2, Aztec 3. Zac shares his insights on the state of ZK applications and folding schemes, and provides a glimpse into the future of the ZK space.
Here’s some additional links for this episode:
Check out the ZK Jobs Board here: ZK Jobs. Find your next job working in ZK!
Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.
Interested in building private applications? Check out Aleo’s programming language called Leo that enables non-cryptographers to harness the power of ZKPs to deploy decentralized exchanges, hidden information games, regulated stablecoins, and more. Visit http://developer.aleo.org.
For questions, join their Discord at aleo.org/discord.
If you like what we do: