web02.fireside.fm Tue, 09 Jun 2026 20:36:41 -0500 Fireside (https://fireside.fm) Cryptography FM - Episodes Tagged with “Zero Knowledge Proofs” https://cryptography.fireside.fm/tags/zero-knowledge%20proofs Sun, 14 Mar 2021 13:00:00 +0100 Cryptography FM is a regular podcast with news and a featured interview covering the latest developments in theoretical and applied cryptography. Whether it's a new innovative paper on lattice-based cryptography or a novel attack on a secure messaging protocol, we'll get the people behind it on Cryptography FM. en-us episodic In-depth, substantive discussions on the latest news and research in applied cryptography. Symbolic Software Cryptography FM is a regular podcast with news and a featured interview covering the latest developments in theoretical and applied cryptography. Whether it's a new innovative paper on lattice-based cryptography or a novel attack on a secure messaging protocol, we'll get the people behind it on Cryptography FM. no cryptography Symbolic Software nadim@symbolic.software Episode 13: Zero-Knowledge STARKs in the Real World! https://cryptography.fireside.fm/13 5d679e54-9e7b-4018-bbbf-19b62a834439 Sun, 14 Mar 2021 13:00:00 +0100 Symbolic Software 13 Episode 13: Zero-Knowledge STARKs in the Real World! full Symbolic Software 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. 47:00 no <p>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.</p> <p>Links and papers discussed in the show:</p> <ul> <li><a href="https://eprint.iacr.org/2018/046.pdf" target="_blank" rel="nofollow noopener">Scalable, transparent, and post-quantum secure computational integrity</a></li> <li><a href="https://www.cairo-lang.org" target="_blank" rel="nofollow noopener">Cairo Language</a></li> <li><a href="https://www.eventbrite.com/e/cairo-101-workshop-i-tickets-142918738795" target="_blank" rel="nofollow noopener">Cairo Workshop, 14-15 March 2021!</a></li> </ul> <p>Music composed by Toby Fox and performed by <a href="https://seanschafianski.bandcamp.com/" target="_blank" rel="nofollow noopener">Sean Schafianski</a>. Special Guest: Eli Ben-Sasson.</p> zero-knowledge proofs 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:

Music composed by Toby Fox and performed by Sean Schafianski.

Special Guest: Eli Ben-Sasson.

Sponsored By:

Links:

]]> 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:

Music composed by Toby Fox and performed by Sean Schafianski.

Special Guest: Eli Ben-Sasson.

Sponsored By:

Links:

]]> Episode 6: Proving the Existence of Vulnerabilities With Zero-Knowledge Proofs! https://cryptography.fireside.fm/6 aae91f49-12af-4049-9467-e43107dcd555 Tue, 03 Nov 2020 16:00:00 +0100 Symbolic Software 6 Episode 6: Proving the Existence of Vulnerabilities With Zero-Knowledge Proofs! full Symbolic Software Dr. David Archer of Galois discusses using zero-knowledge proof in order to prove the existence (or lack of) a software vulnerability without sharing details about the vulnerability itself. 41:26 no <p>Zero-knowledge proofs have been a notorious research target ever since Zcash and other cryptocurrencies have invented lots of new use cases for them. Range proofs, bullet proofs, you name it – all kinds of zero-knowledge mechanisms have received more and more attention.</p> <p>But what about using zero-knowledge proofs to prove the existence of a software vulnerability? That way, you can prove that you have a zero-day without risking it getting stolen, putting both vulnerability researchers as well as companies looking to secure their software in a better position!</p> <p>That’s what Dr. David Archer from Galois is working on, and he joins me today on Cryptography FM to discuss this new interesting use case, and more.</p> <p>Links and papers discussed in the show:</p> <ul> <li><a href="https://galois.com/project/fromager/" target="_blank" rel="nofollow noopener">Galois Fromager</a></li> <li><a href="https://arxiv.org/abs/1909.13403" target="_blank" rel="nofollow noopener">Using GANs for Sharing Networked Time Series Data: Challenges, Initial Promise, and Open Questions</a></li> </ul> <p>Music composed by Toby Fox and performed by <a href="https://seanschafianski.bandcamp.com/" target="_blank" rel="nofollow noopener">Sean Schafianski</a>. Special Guest: David Archer.</p> zero-knowledge proofs Zero-knowledge proofs have been a notorious research target ever since Zcash and other cryptocurrencies have invented lots of new use cases for them. Range proofs, bullet proofs, you name it – all kinds of zero-knowledge mechanisms have received more and more attention.

But what about using zero-knowledge proofs to prove the existence of a software vulnerability? That way, you can prove that you have a zero-day without risking it getting stolen, putting both vulnerability researchers as well as companies looking to secure their software in a better position!

That’s what Dr. David Archer from Galois is working on, and he joins me today on Cryptography FM to discuss this new interesting use case, and more.

Links and papers discussed in the show:

Music composed by Toby Fox and performed by Sean Schafianski.

Special Guest: David Archer.

Sponsored By:

]]> Zero-knowledge proofs have been a notorious research target ever since Zcash and other cryptocurrencies have invented lots of new use cases for them. Range proofs, bullet proofs, you name it – all kinds of zero-knowledge mechanisms have received more and more attention.

But what about using zero-knowledge proofs to prove the existence of a software vulnerability? That way, you can prove that you have a zero-day without risking it getting stolen, putting both vulnerability researchers as well as companies looking to secure their software in a better position!

That’s what Dr. David Archer from Galois is working on, and he joins me today on Cryptography FM to discuss this new interesting use case, and more.

Links and papers discussed in the show:

Music composed by Toby Fox and performed by Sean Schafianski.

Special Guest: David Archer.

Sponsored By:

]]>