Zero Knowledge cover image

Proofs, Arguments, and ZKPs with Justin Thaler

Zero Knowledge

00:00

The Challenges of Writing a Textbook

The most recent sort of thing I added just roughly when Nova came out is a chapter on recursive snark composition. That line of work started with Halo, maybe that's 2020. The general kind of organization and presentation of Snarks having an information theoretic component and a cryptographic component looks a lot like a polynomial commitment scheme. And at this point, it's largely the details that are changing. It'll just sort of gradually move in the, yeah, as things develop, I hope.

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