Zero Knowledge cover image

Building Cryptographic Proofs from Hash Functions with Alessandro Chiesa and Eylon Yogev

Zero Knowledge

00:00

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.

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