History of Plonk, Noir, and the building of Aztec 3
Zero Knowledge
00:00
Aztec 3: A Look at Recursion
The kernel circuit has to verify the correctness of function proofs, which is a snark circuit. If your transaction is consisting on more than one private function, then you have to repeatedly compute kernel circuit proof square at each iteration. I do feel like I'm going to need to see slides. Which I think we will see at some point. Yeah. Well, our architecture documents are finally public. We finally got them in a state where we're happy to show them to the world. And so if you can send that my way, I'll add it to the show notes for folks as well. This is fascinating.
Transcript
Play full episode
