
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