Zero Knowledge cover image

SNARK Research & Pedagogy with Alessandro Chiesa

Zero Knowledge

00:00

Recursive Snarks - Proof Curring Data?

Mina is built around this concept of recursive snarks. Are those the same kinds of versions of what you had been working on, or did you see, like, people kind of working on this in parallel? Or is this really kind of like your work would have been te foundation for some of the stuff? E wha, sic. Definitions such as are, what is proof carring data, mostly remain the same. Even articulating what is the goal of what you get once you recurse the snark. It's actually not so simple. Once you see it, then then make sense. The techniques to achieve pro arin data have evolved, as should be the case

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app