Proofs, Arguments, and ZKPs with Justin Thaler
Zero Knowledge
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.
00:00
Transcript
Play full episode
Remember Everything You Learn from Podcasts
Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
