Building Cryptographic Proofs from Hash Functions with Alessandro Chiesa and Eylon Yogev
Zero Knowledge
Exploring Future Standardizations in Cryptography and Importance of Systematization
The chapter explores potential areas for formalization and standardization in cryptography, such as IOP constructions and compiling NP-complete languages to low degree tests. The speakers highlight the significance of systematization in probabilistic proofs and the aim to increase the understanding of SNARKs through education and canonical literature.
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.
