Zero Knowledge12 Jul 2023

Using Formal Verification on ZK Systems with Jon Stephens

This week Anna Rose chats with Jon Stephens, Computer Science Ph.D. student in the UToPiA group at UT Austin and co-founder of Veridise. Veridise is a blockchain auditing firm that audits smart contracts and ZK systems. They discuss what led Jon to work on system security, what tools are available to test the security of ZK systems and the process of performing formal verification on ZK systems. They also cover general ZK security, why this topic matters and ways we can incentivise ethical disclosures when bugs and vulnerabilities are found.

Additional reading for this week's episode;

zkSummit 10 is happening in London on September 20, 2023! Apply to attend now -> zkSummit 10 Application Form

Polygon Labs is thrilled to announce Polygon 2.0: The Value Layer for the Internet.

Polygon 2.0 and all of our ZK tech is open-source and community-driven. Reach out to the Polygon community on Discord to learn more, contribute, or join in and build the future of Web3 together with Polygon!

Anoma’s first fractal instance, Namada, is launching soon!

The MASP circuit's latest update enables shielded set rewards directly in the shielded set, a novel feature that funds privacy as a public good.

Follow Namada on twitter @namada for more information and join the community on Discord discord.gg/namada.

If you like what we do:

Find all our links here! @ZeroKnowledge | Linktree
Subscribe to our podcast newsletter
Follow us on Twitter @zeroknowledgefm
Join us on Telegram
Catch us on YouTube

Read transcript

Denne episoden er hentet fra en åpen RSS-feed og er ikke publisert av Podme. Den kan derfor inneholde annonser.

Episoder(429)

When Math Meets Auto Research with Bartosz Naskręcki

This week, Anna and Tarun are joined by Bartosz Naskręcki, mathematician and professor at Adam Mickiewicz University and researcher at the Centre for Credible AI, to explore how AI agents are transfor...

11 Nov 1h 16min

From Nova to Magnetar: Three Years of Research with Srinath Setty

This week, Anna and Nico catch up with Srinath Setty, researcher at Microsoft. They look back at his research since his work on Nova, spanning lattice-based folding, zero-knowledge identity proofs, an...

28 Okt 50min

zkGolf: AI, Clean and Optimising ZK Circuits with zkSecurity

This week, Anna is joined by Nico and Kobi to speak with Mathias Hall-Andersen and Giorgio Dell'Immagine from zkSecurity about zkGolf, a competition challenging humans and AI agents to build the most ...

21 Okt 1h 11min

Exploring the Lasers that Power Quantum Computers

This week, Anna and Guillermo chat with Josh Yang, CEO and co-founder of Brightlight Photonics, about the lasers that power quantum computers. Josh explains how lasers are used in neutral atom and oth...

7 Okt 1h 15min

JP Aumasson on Quantum Risk, AI Attacks and Too Much Crypto

This week, Anna, Tarun and Nico are joined by JP Aumasson, co-designer of BLAKE3, author of Serious Cryptography and cryptography engineer at Cloudflare. They revisit the quantum threat to cryptograph...

30 Sep 57min

Auto Research on Yukon with Soubhik Deb

This week, Anna is joined by Soubhik Deb, Head of Research at EigenLabs, to explore Yukon, a platform for collaborative AI-powered research. Soubhik traces the project’s origins to ECDSA.fail, a compe...

23 Sep 1h 6min

Ron Rothblum on Fiat-Shamir Attacks, Flock and SNARK.fast

This week, Anna and Kobi are joined by Ron Rothblum, Professor of Computer Science at Technion and researcher at Succinct. They catch up on Ron’s move from theory into practice, including his work on ...

16 Sep 1h 1min

The Evolution from ZKP2P to Peer with Richard Liang

This week, Anna catches up with Richard Liang from Peer, formerly ZKP2P. They trace the project’s evolution over the past two years, from their initial ZKP2P product that used ZK email proofs to conne...

9 Sep 46min