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:

• Scalable, transparent, and post-quantum secure computational integrity
• Cairo Language
• Cairo Workshop, 14-15 March 2021!