Zero Knowledge – Détails, épisodes et analyse

• ZKV
• ZK Hack Kraków
• Mina Snarketplace
• Mina: What are SNARK workers and the Snarketplace
• Gevulot
• ZkCloud
• EthCC Paris: Toghrul Maharramov - Multi-Verifiers as a Hedge Against Bridge Vulnerabilities
• RISC Zero Bonsai
• Polygon zkEVM
• GitHub: Aztec Protocol Barretenberg
• ZK11: SNARK proving ASICs - Justin Drake

• Part 1: Back to the Future with Zero Knowledge
• Part 2: Zero Knowledge Systems, Privacy and Security with Jonathan Wilkins
• Zero Knowledge Enemy of the State Shift Article
• Knowing Glances: Understanding Infrastructures of Surveillance

• Zero Knowledge Systems Wikipedia
• Blockstream Website
• Wired Article: Zero-Knowledge: Nothing Personal
• News Burst: Zero-Knowledge open sources Freedom
• Zero-Knowledge Systems Introduces Security and Privacy Tool Suite
• Interview:...

This week, Anna catches up with cohosts, Tarun, Nico and Guillermo to do a look back at the zk research and applications that came out in 2024. They go on to discuss the challenges facing the ecosystem. And they wrap with a brief look forward, covering what to expect in ZK in 2025.

This will be the last ep of 2024, thank you for joining us this year!

Further Reading:

• ZK12: Welcome to zkSummit & Sponsor Intro - Anna Rose
• Circle STARKs by Haböck, Levit and Papini
• StarkWare Unveils New 'Stwo' Cryptographic Prover That's 'Blazingly Fast'
• ZK12: WHIR: Reed-Solomon Proximity Testing with Super-Fast Verification by Eylon Yogev
• Episode 290: Exploring, Teaching and Auditing ZK with David Wong
• Episode 345: Latest ZK Research with Dan Boneh
• LatticeFold: A Lattice-based Folding Scheme and its Applications to Succinct Proof Systems by Dan Boneh and Binyi Chen
• LaBRADOR: Compact Proofs for R1CS from Module-SIS? by Ward Beullens and Gregor Seiler
• Quantum Algorithms for Lattice Problems by Yilei Chen
• Episode 325: Web Proofs with Tracy from Pluto
• ZODA: Zero-Overhead Data Availability by Evans, Mohnblatt and Angeris

Check out the ZK Jobs Board for the latest jobs in ZK at jobsboard.zeroknowledge.fm

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

In this week’s episode, Anna and guest co-hosts Guillermo, Tarun and Kobi share their thoughts about the state of Zero Knowledge tech today and what it might look like going in 2023. The group discusses some exciting ZK experiments and some of the emerging topics such as: ZK ID, ZK Bridges, ZK DeFi, and more.

Here are some additional links for this episode:

• Epicenter:State of the ZK Ecosystem with Anna Rose & Kobi Gurkan Pt 1
• Epicenter:State of the ZK Ecosystem with Anna Rose & Kobi Gurkan P2
• Episode 246: Adversarial Machine Learning Research with Florian Tramèr
• Episode 247: Exploring Penumbra with Henry de Valence

Apply for zkSummit9 here: zkSummit9 Ticket Application.

Ever wish you could use existing rust libraries in ZK? This is a friendly reminder from the team at RISC Zero that you can!

To learn more, check out the Risc Zero video tutorials from the last ZK Hack at www.youtube.com/@risczero.

Follow RISC Zero on Twitter @risczero to make sure you don’t miss their upcoming 1.0 launch and the alpha launch of the Bonsai Network.

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

Namada is a proof-of-stake L1 for interchain asset-agnostic privacy. Namada natively interoperates with fast-finality chains via IBC and with Ethereum via a trustless two-way bridge.

Visit namada.net 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
• Head to the ZK Community Forum
• Support our Gitcoin Grant

Apply for the zkSummit 9 ->> https://9lcje6jbgv1.typeform.com/to/FCoktPh9

Happening in Lisbon on April 4th

Keep an eye on our twitter and telegram channel for more info!

In this week’s episode, Anna and part-time Zero Knowledge co-hosts Tarun, Guillermo, Josh and Kobi, get together for a casual catch up and have a look back at 2022. They trace Jan to today in both the zk community and the larger ecosystem, discussing the highs and the lows, focusing on the major events which stood out to them.

If you think the team missed anything, let us know by replying to our tweet announcing this episode of the Podcast. Find us at the Zero Knowledge FM Twitter.

This is the final episode of 2022 and Anna and the Zero Knowledge Podcast team thanks you for your support this year! Happy Holidays and see you in 2023!

Here are some additional links for this episode:

• Wormhole Hack
• zkSummit 7 + 8 Playlist
• The aftermath of Axie Infinity’s $650M Ronin Bridge hack
• Collapse of Luna cryptocurrency leads to $11 million exploit on Venus Protocol
• The Big Three zkEVM Announcements
• Three Arrows Capital to become latest casualty of crypto crash
• Nomad crypto bridge loses $200 million in ‘chaotic’ hack
• Understanding Tornado Cash by Chainalysis
• Single Secret Leader Election by Dan Boneh, Saba Eskandarian, Lucjan Hanzlik, Nicola Greco
• The Eth Merge
• Celsius Crypto Meltdown: A Crypto Lender In Crisis
• FTX Crash
• ZK Hack playlist
• Arbitrum: Scalable, private smart contracts by Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew...

In this episode, Anna explores the concept of Ultrasound Money with Justin Drake from the Ethereum Foundation. They kick off with updates on his work in VDFs, MEV and censorship resistance, alongside his particular interests in ZK and how the progress VRFs have made can be applied in Ethereum’s POS architecture. They then dive into the original concept of Ultrasound Money and where Justin sees it progressing to in the future, including the current status around issuance.

Here are some additional links for this episode:

• Episode 74: Blockchain 101: Randomness and Random Beacons with Justin Drake
• Episode 120: ZKPs in Ethereum with Vitalik Buterin & Justin Drake
• Episode 168: Flashbots with Phil Daian and Stephane Gosselin
• Zero Knowledge Episodes on zkEVMs
• ZK Whiteboard Sessions: Module Fourteen - Nova Crash Course with Justin Drake
• MevWatch.Info
• DeFi Llama
• L2BEAT
• Ultrasound.Money Website

RISC Zero announce the next version of their ZKVM is now available on GitHub at github.com/risc0

Today’s episode is sponsored by Mina Protocol

The need for private, trustless solutions is clear. A new era of ZK powered decentralized applications is coming – and Mina is the place to build them.

Introducing Mina’s zkIgnite Cohort 0, where developers complete tutorials and build zero knowledge apps, or zkApps, and get rewarded. There are a quarter-of-a-million MINA tokens up for grabs for zkIgnite Cohort 0 participants.

Cohort 0 is finishing soon so head to minaprotocol.com/zkpodcast to get involved today.

If you are tuning in to this podcast later, no worries! Mina will be launching additional zkIgnite Cohorts, just head to minaprotocol.com/zkpodcast to check out the best way to get involved.

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

This week, Anna explores the topic of proof of solvency with Kostas Chalkias, co-founder and chief of Cryptography at MystenLabs. They cover Kostas’ background in Cryptography and explore his work on Proof of Reserves, otherwise known as Proof of Solvency. They review past Proof of Solvency models using ZKPs and look at the protocols that major centralized exchanges are currently using. Then they dive into the security vulnerabilities, privacy issues, and general bugs that Kostas and his collaborators have identified in these protocols and their recommendations on how to better build Proof of Solvency systems.

Here are some additional links for this episode:

• Episode 227: Move & Sui with Sam Blackshear from Mysten Labs
• Hard Questions: Update on Cambridge Analytica
• Provisions: Privacy-preserving proofs of solvency for Bitcoin exchanges By Dagher, Bünz, Bonneau, Clark and Boneh
• Broken Proofs of Solvency in Blockchain Custodial Wallets and Exchanges By Chalkias, Chatzigiannis and Ji
• Groth16 still lives: exploring tradeoffs of modern ZKProof systems - François Garillot Mysten Labs
• Join the ZK HACK III - final sessions here
• Join the ZK HACK Discord

Today’s episode is sponsored by Aleo

Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.

If you’re interested in building private applications then check out Aleo’s programming language called Leo. Visit leo-lang.org to start building.

You can also join Aleo’s incentivized testnet3 by downloading and running a snarkOS node. No sign-up is necessary to participate. For questions, join their Discord at aleo.org/discord.

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
• Head to the ZK Community Forum
• Support our

On this week’s episode, Anna and Kobi Gurkan chat with Dan Boneh, Professor of Computer Science at Stanford and Director of the Stanford Center for Blockchain Research.

They cover an expanse of topics: from how strides have been made within the development of zkEVMs to how trusted set ups could be integrated into the blockchain itself. This episode covers open problems in ZK such as how to generate ZK proofs on large amounts of data such as video and what solutions could be implemented when attempting to run a DAO with a private treasury.

Here are some additional links for this episode:

• Episode 100: Dan Boneh on the past, present & future of cryptography
• Experimenting with Collaborative zk-SNARKs: Zero-Knowledge Proofs for Distributed Secrets by Ozdemir and Boneh, 2021
• Powers-of-Tau to the People: Decentralizing Setup Ceremonies
• ZK Whiteboard Sessions
• Join ZK HACK III - see the full schedule here
• Join the ZK HACK Discord
• Follow the ZK Hack Twitter

Today’s episode is sponsored by Mina Protocol

The need for private, trustless solutions has never been more clear.

Introducing Mina’s zkSpark Cohort 0, where developers share tutorials and build zero knowledge apps, or zkApps, and get rewarded. There are a quarter-of-a-million Mina tokens up for grabs for zkSpark Cohort 0 participants.

Mina’s zkApps are written in Typescript, so developers can easily get started without learning a custom programming language like other zk protocols.

To sign up for zkSpark Cohort 0 head to minaprotocol.com/zkpodcast.

Mina will be launching additional zkSpark Cohorts, just visit minaprotocol.com to check out the best way to get involved.

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
• Head to the ZK Community Forum
• Support our

In this week’s episode, Anna and Tarun speak with Succinct Labs. Guests Uma Roy and John Guibas discuss their interest in ZK, their work with 0xparc and the goals of Succinct Labs - that is to provide proof of consensus through SNARK-based light clients. Acting similar to IBC, but in the Ethereum context, we discuss the challenge of building ZK-based light clients on Ethereum, their first implementation linking Gnosis Chain to Ethereum, and how they imagine interacting with the larger blockchain space.

Here are some additional links for this episode:

• 0xPARC Learning Resources
• TrustBoost: Boosting Trust among Interoperable Blockchains by Wang, Sheng, Kannan, Nayak, Viswanath, 2022
• Episode 136: Math competitions, crypto as alchemy & Gasper with Yan Zhang
• Past ZK HACK Events and Puzzles
• Join the ZK HACK III - Session #2 on 24 November
• Join the ZK HACK Discord
• Follow the ZK Hack Twitter

Today's episode is sponsored by Aztec. Aztec Network is building the first privacy-enabled zkRollup on Ethereum.

The team is proud to announce Noir, the world's first universal ZK language. Noir makes it safe and intuitive to write privacy-preserving ZK circuits.

Aztec is now hiring engineers and cryptographers to build the execution layer supporting Noir's private smart contracts.

Join the team making private Ethereum a reality. You can learn more by visiting aztec.network/careers.

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
• Head to the ZK Community Forum
• Support our Gitcoin Grant