Episode 6: Proving the Existence of Vulnerabilities With 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: Galois Fromager Using GANs for Sharing Networked Time Series Data: Challenges, Initial Promise, and Open Questions Music composed by Toby Fox and performed by Sean Schafianski . Special Guest: David Archer.

You can listen to Episode 6: Proving the Existence of Vulnerabilities With Zero-Knowledge Proofs! online on Radio and Podcast. Open the player on this page to stream the available audio.

Episode 6: Proving the Existence of Vulnerabilities With Zero-Knowledge Proofs! is an episode from Cryptography FM by Symbolic Software.

This episode is 41:26 long.

This episode was published on Nov 3, 2020.

Yes. Use the heart button on the episode page to add it to your favorite episodes list.

Yes. This page shows related episodes from Cryptography FM when more episodes are available from the podcast feed.