Episode 13: Zero-Knowledge STARKs in the Real World!
Cryptography FM - A podcast by Symbolic Software
Categories:
Zero-Knowledge proofs have broadened the realm of use cases for applied cryptography over the past decade, from privacy-enhanced cryptocurrencies to applications in voting, finance, protecting medical data and more. In 2018, Dr. Eli Ben-Sasson and his team introduced ZK-STARKs, a new zero-knowledge construction that functions without trusted setup, thereby broadening what zero-knowledge systems are capable of. We’ll talk about ZK-STARKs and more with Eli in this episode of Cryptography FM.
Links and papers discussed in the show:
- Scalable, transparent, and post-quantum secure computational integrity
- Cairo Language
- Cairo Workshop, 14-15 March 2021!
Music composed by Toby Fox and performed by Sean Schafianski.
Special Guest: Eli Ben-Sasson.
Sponsored By:
- Symbolic Software: This episode is sponsored by Symbolic Software. Symbolic Software helps you bring in the experience and knowledge necessary to design, or prove secure, state-of-the-art cryptographic systems for new solutions. We've helped design and formally verify some of the world's most widely used cryptographic protocols.
Links: