Making ZK More Human with ZK Email

Zero Knowledge

#Science #Tech #Math #Podcasting Education #Fredrik Harrysson, Anna Rose #Anna Rose #Fredrik Harrysson #Blockchain #Cryptography #Decentralised Web #Decentralized #Web3 #Ethereum

52:22

Season 3 of the smash hit FX/Hulu show “The Bear” roared to life just days ago, but Will Poulter (the actor who plays fan-favorite Luca) and 2014 F&W Best New Chef Dave Beran had been prepping for weeks. Poulter — like his co-star Jeremy Allen White — staged with Beran at his Santa Monica restaurant Pasjoli to learn how to accurately portray a professional chef onscreen. The lessons went so well, Beran says he’d hire Poulter as a cook — even despite a messy mishap with a pastry bag. The two dished all about getting kitchen culture right on and offscreen, what it takes to be at the top of your craft, and the pure magic of a great restaurant service. Learn more about your ad choices. Visit podcastchoices.com/adchoices…

about a year ago 1:03:08

MP3•Episode home

Applications for zkSummit13 are open, spots are limited for this edition so apply soon (www.zksummit.com) if you want to join.

Missing Link are a talent team built for the Web3 era, helping projects across the ecosystem connect with the right candidates at the right time. Whether you're an established project or a startup searching for specialized talent, Missing Link can help. Visit their website at missing-link.io.

**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

374 episodes

Making ZK More Human with ZK Email

Zero Knowledge

98 subscribers

published about a year ago

MP3•Episode home

Applications for zkSummit13 are open, spots are limited for this edition so apply soon (www.zksummit.com) if you want to join.

374 episodes

#Science #Tech #Math #Podcasting Education #Fredrik Harrysson, Anna Rose #Anna Rose #Fredrik Harrysson #Blockchain #Cryptography #Decentralised Web #Decentralized #Web3 #Ethereum

All episodes

1
Bringing ZK to Google Wallet with Abhi and Matteo 1:04:07

3 days ago1:04:07

1:04:07

In this episode, Anna and Nico speak with Abhi Shelat and Matteo Frigo from Google about their work integrating zero-knowledge proofs into the Google Wallet. They discuss the technical decisions behind the Anonymous Credentials for ECDSA system, including the challenge of designing a proof system where proving must be efficient enough to run on the client device in a large-scale consumer application, and how they design a system using sumcheck and Ligero to overcome NTT issues. The conversation also touches on the process of standardization, the return of ZK to its privacy roots, and the broader significance of seeing advanced cryptography adopted by a major tech company outside the blockchain space. Links: Episode 303: A Dive into Binius with Jim Posen Anonymous credentials from ECDSA libZK: a zero-knowledge proof library European Digital Identity FFTW Doubly-Efficient zkSNARKs Without Trusted Setup Ligero: Lightweight Sublinear Arguments Without a Trusted Setup Everything provable is provable in zero-knowledge Circle STARKs Highlights of libZK, the Google Wallet ZKP Parallel prefix --------------- Register for ZK Hack Berlin happening 20 - 22 June! --------------- Boundless is a universal zero-knowledge protocol developed by RISC Zero, that lets anyone access abundant verifiable compute, regardless of the blockchain they are using. Learn more about Boundless at beboundless.xyz --------------- **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 **Support the show:** * Patreon * ETH - Donation address * BTC - Donation address * SOL - Donation address Read transcript…

1
zkTLS with Maddy from Reclaim 58:24

10 days ago58:24

58:24

In this episode, Anna speaks with Madhavan ( Maddy ) Malolan from Reclaim Protocol about his work on zkTLS and its applications in web data verification. Maddy shares the journey of building Reclaim, from initial attempts at implementing DECO to developing their current proxy-based solution. The conversation explores the technical challenges of implementing zero-knowledge proofs for HTTPS connections, comparing proxy and MPC approaches, and discussing security considerations. Maddy explains how Reclaim is bringing ZK technology to mainstream applications, focusing on three key verticals: education verification, employment history, and financial background checks. Related links: Episode 353: Making ZK More Human with ZK Email TLSNotary DECO: Liberating Web Data Using Decentralized Oracles for TLS Proxying is Enough: Security of Proxying in TLS Oracles and AEAD Context Unforgeability Register for ZK Hack Berlin happening 20 - 22 June! **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 **Support the show:** * Patreon * ETH - Donation address * BTC - Donation address * SOL - Donation address Read transcript…

1
Bonus: Spotlight your project with ZK Podcast 1:41

18 days ago1:41

1:41

There’s no interview this week, but we have some ad spot availability coming up! If you want to reach a highly technical ZK audience and get eyes on your project, tooling, hiring, and more, get in touch at sponsorships@zeroknowledge.fm . If you would like to donate individually to the show, our eth address is here: 0xE2C080047213C1d8cDf2099E0B07479C5D9cee8a…

1
Implementing LatticeFold with Matthew and Albert from Nethermind 51:30

4 weeks ago51:30

51:30

In this episode, Anna and Nico speak with Matthew Klein and Albert Garreta from Nethermind about their work implementing and advancing lattice-based cryptography systems, particularly focusing on folding schemes and their applications in zero-knowledge proofs. Matthew and Albert share insights from their implementation of LatticeFold and discuss the evolution of lattice-based systems, including newer developments like LatticeFold+ and Neo. The conversation explores the unique challenges and opportunities of working with lattice-based constructions, from performance optimizations to post-quantum security considerations. They also dive into their work on post-quantum signatures for Ethereum, light zkML solutions, and the Zinc project, which offers a novel approach to handling integer-based constraints in zero-knowledge proofs. Related links: Episode 359: Lattice-based ZK Systems with Vadim Lyubashevsky Episode 293: Exploring Security of ZK Systems with Nethermind’s Michał & Albert Episode 277: Nova and Beyond with Srinath Setty ZK Whiteboard Sessions S2M6: An Update on Folding with Albert Garreta Nethermind’s LatticeFold implementation Ajtai vs Merkle vs Pedersen LatticeFold paper LatticeFold+ paper Neo paper LaBRADOR paper Zinc integer-based constraints FLI: Folding Lookup Instances paper ZK Hack Berlin happens on June 20 - 22! Apply now at zkberlin.com **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…

1
Quantum Punks with Alex and Nicola 1:16:46

5 weeks ago1:16:46

1:16:46

In this episode, Anna and Guillermo are joined by Alex Obadia and Nicola Greco , co-authors of the Quantum Punks Manifesto , for a discussion at the intersection of quantum technology and cryptography. They explore the cultural and technical gaps between the quantum and crypto communities, sharing the story behind the manifesto, their vision for bridging these worlds and the applications that such a combination could unlock. Related links: Quantum Punks Manifesto Episode 288: Quantum Cryptography with Or Sattath Episode 357: Quantum Engineering with Jelena Vučković Paris Workshop Video Playlist Teleport.Best Flashbots Project Aria Protocol Labs Conjugate Coding BB84: Quantum cryptography: Public key distribution and coin tossing Further reading: The Coming Wave: New Applications of Quantum Cryptography -- Nicola Greco (DeepQuantum) Quantum Punks’ meta-list of resources Quantum cryptography with classical communication: parallel remote state preparation for copy-protection, verification, and more by Gheorghiu, Metger and Poremba Colbeck, R. (2006) Quantum And Relativistic Protocols For Secure Multi-Party Computation (Device Independence) Quantum bidding in Bridge by Muhammad, Tavakoli, Kurant, Pawlowski, Zukowski and Bourennane Coordinating Decisions via Quantum Telepathy by Ding and Jiang --------------- zkSummit13 happens next week! Buy your ticket now at www.zksummit.com . --------------- Missing Link are a talent team built for the Web3 era, helping projects across the ecosystem connect with the right candidates at the right time. Whether you're an established project or a startup searching for specialized talent, Missing Link can help. Visit their website at missing-link.io. --------------- **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…

1
Lattice-based ZK Systems with Vadim Lyubashevsky 1:05:14

6 weeks ago1:05:14

1:05:14

In this episode, Anna and Nico speak with Vadim Lyubashevsky , research scientist at IBM Research, about the evolving field of lattice-based cryptography and its role in zero-knowledge systems. Vadim shares the history and mathematical foundations of lattices, and explains how they might be used to build post-quantum secure ZK proofs and SNARKs. The conversation covers the unique challenges of adapting lattice techniques to zero-knowledge, explores the tradeoffs relative to hash-based constructions, and highlights the importance of developing quantum-safe standards for the future of cryptography. Related links: Episode 345: Latest ZK Research with Dan Boneh Episode 288: Quantum Cryptography with Or Sattath LaBRADOR: Compact Proofs for R1CS from Module-SIS⋆ IBM’s post-quantum NIST published standards Project11 Minkowski’s Geometry of Numbers LLL reduction Shortest vector problem Basic Lattice Cryptography: The concepts behind Kyber (ML-KEM) and Dilithium (ML-DSA) by Vadim Lyubashevsky Spots for zkSummit13 are limited - grab your ticket at www.zksummit.com ! Missing Link are a talent team built for the Web3 era, helping projects across the ecosystem connect with the right candidates at the right time. Whether you're an established project or a startup searching for specialized talent, Missing Link can help. Visit their website at missing-link.io. **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…

1
Building ZK Registries Onchain with Rarimo 1:07:57

7 weeks ago1:07:57

1:07:57

This week, Anna speaks with Lasha Antadze , co-founder of Rarilabs and Rarimo , about the evolution of digital identity systems. Lasha shares his journey from working with government eID systems to building decentralized identity solutions using zero-knowledge proofs. The conversation explores how Rarimo is taking a fundamentally different approach to identity verification by keeping all processing client-side, from passport scanning to biometric verification. This enables new use cases like censorship-resistant voting systems and privacy-preserving account recovery, while avoiding the traditional pitfalls of centralized identity providers. The discussion also covers the challenges of building trust in cryptographic systems, the potential applications of client-side ZK proofs for AI governance, and how Rarimo is working to make identity tools that are both powerful and accessible to everyday users. This episode provides a fascinating look at how zero-knowledge proofs are reshaping our understanding of digital identity and privacy. Further reading: On-Chain Reputation & Identity Building with Sismo Coordinating Provers with Norbert from ZkCloud STORK 2.0 eIDAS Freedomtool Account recovery demo at Denver Spots for zkSummit13 are limited - grab your ticket at www.zksummit.com ! Missing Link are a talent team built for the Web3 era, helping projects across the ecosystem connect with the right candidates at the right time. Whether you're an established project or a startup searching for specialized talent, Missing Link can help. Visit their website at missing-link.io. **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…

1
Quantum Engineering with Jelena Vučković 1:14:47

8 weeks ago1:14:47

1:14:47

In this episode, Anna and Guillermo speak with Professor Jelena Vučković from Stanford's Nanoscale and Quantum Photonics Lab about the fascinating world of quantum engineering. Jelena explains different quantum technology platforms and how quantum entanglement serves as the foundation for various applications such as eavesdropping detection. They explore how researchers are developing chip-scale quantum systems and the significant implications these technologies have for secure communication and cryptography. Related links: Episode 288: Quantum Cryptography with Or Sattath WHIR: Reed–Solomon Proximity Testing with Super-Fast Verification BB84: Quantum cryptography: Public key distribution and coin tossing BBM92: Quantum Cryptography Without Bell's Theorem Stanford Nanoscale Quantum Photonics Group Github Stanford Nanoscale and Quantum Photonics Lab Photonics: Practical & Optimized: A Talk by Jelena Accelerator that fits on a chip work by Jelena Spots for zkSummit13 are limited - grab your ticket at www.zksummit.com Missing Link are a talent team built for the Web3 era, helping projects across the ecosystem connect with the right candidates at the right time. Whether you're an established project or a startup searching for specialized talent, Missing Link can help. Visit their website at missing-link.io. **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…

1
ZK Benchmarks with Conner Swann 51:43

9 weeks ago51:43

51:43

In this episode Anna explores the contentious topic of ZK benchmarking with Conner Swann , founder of ProofLab . Drawing parallels with AI's development, they explore how tools like ProofLab could help standardize benchmarking across dimensions like speed, cost, and security. The conversation touches on the importance of formal verification and real-world workload testing, while considering how better benchmarking could accelerate ZK adoption and potentially lead to ZK's own 'ChatGPT moment' Related links: zkSummit The Zero-Knowledge Community Survey NoirHack Noir ethProofs Designing Optimistic Interoperability with Nomad Trusted Setup Ceremonies Explored Anna’s Post on Benchmarking The path to secure and efficient zkVMs: How to track progress Ben Fisch on Limiting Factors of Verifiable Compute ZKarnage Further reading: Celo Espero ceremony ZKVM Benchmarking The same thing that happened to AI is Happening to ZK Applications for zkSummit13 are open, spots are limited for this edition so apply soon ( www.zksummit.com ) if you want to join. ZK is finally easy with Noir , the fastest-growing zero-knowledge programming language. Build privacy-preserving apps without any ZK experience. Aztec Labs is running a 4 week program, Noir Hack, with $200K in funding and grants. Sign up now at noirhack.com . **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…

1
Coordinating Provers with Norbert from ZkCloud 1:04:51

10 weeks ago1:04:51

1:04:51

In this episode Anna dives back into the topic of prover networks & prover marketplaces with Norbert Vadas , Head of Product at ZkCloud . They kick off by mapping out different actors in the ZK supply chain, and then cover the variety of approaches and economic models behind prover marketplaces. They explore the ZkCloud system before diving into Norbert’s perspective on the future of large-scale, industrial-grade ZK proving and what that will unlock. Related links: 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 Applications for zkSummit13 are now open, early bird tickets close this week! Apply now at www.zksummit.com . ZK is finally easy with Noir , the fastest-growing zero-knowledge programming language. Build privacy-preserving apps without any ZK experience. Aztec Labs is running a 4 week program, Noir Hack, with $200K in funding and grants. Sign up now at noirhack.com . **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…

1
The Founding of Zero Knowledge Systems with Austin Hill 1:31:31

12 weeks ago1:31:31

1:31:31

This week, we present the third installment in the Zero Knowledge Systems story. In this episode, Anna chats with Austin Hill , one of the original founders of Zero Knowledge Systems . They explore the company’s early days, Austin’s background in tech, and what this scene in Montreal was like in the late ’90s. The conversation covers fundraising during the dot-com boom, Zero Knowledge Systems’s ambitious vision for internet privacy, its flagship product Freedom , and how the company pivoted from a broad individual privacy mission to a more focused B2B approach. They cover Austin’s journey after ZKS—including how he discovered Bitcoin, co-founded Blockstream , and navigated the challenges of building a business around open-source infrastructure. He also discusses a new project he's involved in, which ventures into a completely different field—material nanotechnology. We encourage you to check out the first two episodes of the series here and here before diving into this one. Related links: 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 Further reading: 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: Austin Hill On Blockstream, Open Source And Privacy Applications for zkSummit13 are open, spots are limited for this edition so apply soon ( www.zksummit.com ) if you want to join. **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…

1
Making ZK More Human with ZK Email 1:03:08

12 weeks ago1:03:08

1:03:08

This week Anna catches up with Aayush Gupta from ZK Email , covering the latest developments and real-world applications of the ZK Email protocol. They explore how the project serves as a bridge between Web2 systems and Web3 infrastructure and go on to discuss use cases like wallet-based account recovery, anonymous reputation-based communication, and digital provenance verification. This was an exploration of novel ZK use cases, which is something we love to cover - so we hope you enjoy it! Related links: ZK Email Website ZKP2P with Brian & Richard Modular Summit 3.0 Panel: ZK Applications ZK12: Future of ZK Applications with Anna & Friends ZK for web2 interop with zkLogin & ZK Email ZK Email: Making Airdrops More Human Applications for zkSummit13 are open, spots are limited for this edition so apply soon ( www.zksummit.com ) if you want to join. Missing Link are a talent team built for the Web3 era, helping projects across the ecosystem connect with the right candidates at the right time. Whether you're an established project or a startup searching for specialized talent, Missing Link can help. Visit their website at missing-link.io. **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…

1
Learning ZK with Jeffrey from RareSkills 1:07:44

13 weeks ago1:07:44

1:07:44

This week Anna chats with Jeffrey Scholz , founder of RareSkills . They discuss onboarding developers into ZK and dive into RareSkills' education program via The ZK Book and their ZK bootcamps. They explore strategies for breaking down complex topics, decisions on curriculum design, tool selection, and methodologies for enabling self-sufficient learning. A great listen for the listeners who want to learn ZK and are trying to figure out how to approach the challenge. Related links: RareSkills Website ZK HACK Website ZK HACK Whiteboard Sessions RareSkills ZK Book Jeffrey Scholz on Medium Jeffrey Scholz’s course on Udemy Consensys Bootcamp in 2021 Encode Club ZK Podcast Episode 309 - ZK Jargon Decoder with Nico Mohnblatt video ZK HACK - Thaler Book Study Group Playlist on YouTube The MoonMath Manual to zk-SNARKs by Least Authority Applications for zkSummit13 are now open, spots are limited for this edition so apply soon ( www.zksummit.com ) if you want to join. Missing Link are a talent team built for the Web3 era, helping projects across the ecosystem connect with the right candidates at the right time. Whether you're an established project or a startup searching for specialized talent, Missing Link can help. Visit their website at missing-link.io. **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…

1
Zero Knowledge Systems, Privacy and Security with Jonathan Wilkins 1:05:07

14 weeks ago1:05:07

1:05:07

This week Anna jumps back into the story of Zero Knowledge Systems with Jonathan Wilkins , cofounder Blockstream and Cloaked Services and previous employee of ZKS back in 2000. They explore the emergence of security culture in the 1990s, what led Jonathan to join Zero Knowledge Systems and his experience working on projects such as the Freedom Network. They discuss the office atmosphere and the research lab before catching up on the work Jonathan has focused on since then. Key concepts we see in the ZK community today were first pioneered by the Zero Knowledge Systems research team and we hope to invite more of these past members of the team in the future! Related links: Podcast Episode: Back to the Future with Zero Knowledge iSEC Partners X.25 Networks 2600 Meetups C++ Builder Delphi ‘ Zero-Knowledge: Nothing Personal ’ - Wired Handbook of Applied Cryptography by Alfred J. Menezes , Paul C. van Oorschot and Scott A. Vanstone Ian Goldberg profile Adam Schostack - Schostack + Associates Adam Back Twitter Austin Hill Twitter Bitcointalk Tor Network Freedom Network excerpt by ScienceDirect Applications for zkSummit13 are now open, spots are limited for this edition so apply soon ( www.zksummit.com ) if you want to join. **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…

1
ZK in Solana with Mert Mumtaz 1:10:00

15 weeks ago1:10:00

1:10:00

This week Anna and Tarun chat with Mert Mumtaz . Mert is the co-founder and CEO of Helius and is known for his contributions to the Solana ecosystem. They explore Mert’s background, his entry into the space, and his experiences during the 2022 market downturn and subsequent recovery. The conversation covers Solana’s positioning within the broader blockchain landscape and includes an overview of emerging ZK projects in the ecosystem. Related links: Zero-Knowledge Proofs: Its Applications on Solana Episode 135 - Look into Solana Solana projects mentioned: Backpack , Anza , Gido , Jupiter ZK projects mentioned: Phantom , Elusiv , Light Protocol , Dark Protocol Solana Token Extensions --------------- Applications for zkSummit13 are now open, spots are limited for this edition so apply soon ( www.zksummit.com ) if you want to join. --------------- **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…

Zero Knowledge

1
ZODA & The Accidental Computer 1:06:44

16 weeks ago1:06:44

1:06:44

Read transcript This week Anna catches up with Nico , Guillermo and Alex from Bain Capital Crypto to discuss two of their recent works; ZODA: Zero-Overhead Data Availability by the trio and The Accidental Computer by Alex & Guille. The group starts with a discussion about how papers like FRIDA and Foundations of Data Availability Sampling inspired ZODA and then cover the innovations presented in ZODA itself. They wrap up with a discussion about The Accidental Computer, and in doing so tease out some of the fundamental concepts in current ZK research. Related links: ZK Podcast: Disclosures ZODA: Zero-Overhead Data Availability by Alex Evans, Guillermo Angeris and Nico Mohnblatt FRIDA: Data Availability Sampling from FRI by Mathias Hall-Andersen, Mark Simkin and Benedikt Wagner Foundations of Data Availability Sampling by Mathias Hall-Andersen, Mark Simkin and Benedikt Wagner The Accidental Computer: Polynomial Commitments from Data Availability by Alex Evans and Guillermo Angeris Guille's Tweet “ anon, what if I told you that you can prove the correctness of the largest celestia block in <200ms on a single core of an mba ” Bain Capital Crypto Blog --------------- Applications for zkSummit13 are now open, spots are limited for this edition so apply soon ( www.zksummit.com ) if you want to join. The deadline for Speaker applications is March 15th! --------------- IF YOU LIKE WHAT WE DO: Find all our links here! @ZeroKnowledge | Linktree Subscribe to our podcast newsletter Follow us on X @zeroknowledgefm Join us on Telegram Catch us on YouTube ZK Podcast website Read transcript…

Zero Knowledge

1
Taking ZK IRL with Cursive 1:20:25

17 weeks ago1:20:25

1:20:25

This week, Anna and Nico chat with Andrew Lu and Vivek Bhupatiraju from Cursive . They map out the timeline of their in-person activations and experiments using programmable cryptography, which they have been running since late 2023. By quickly developing small applications and products to test with real users, they have gathered tangible data about these innovations at various live conferences worldwide, including our own flagship events, zkSummit11 and zkSummit12. They share the challenges and insights gained from these experimental products. Additionally, they share the concepts that inspired their innovations, such as digital pheromones and narrowcasting. Related links: Zupass ZK for web2 interop with zkLogin & ZK Email Cursive ETH Denver Building cryptographic apps for human connection - Vivek Bhupatiraju & Andrew Lu Phantom Zone GitHub Frontiers by Paradigm --------------- Applications for zkSummit13 are now open, spots are limited for this edition so >> apply soon << if you want to join. --------------- IF YOU LIKE WHAT WE DO: Find all our links here! @ZeroKnowledge | Linktree Subscribe to our podcast newsletter Follow us on X @zeroknowledgefm Join us on Telegram Catch us on YouTube ZK Podcast website Read transcript…

Zero Knowledge

1
Back to the Future with Zero Knowledge 16:03

18 weeks ago16:03

16:03

We’re back with a new look and a new jingle! In this episode, ZK Podcast returns, and host Anna Rose shares a story from her past that strangely connects to the present day and the name "Zero Knowledge." Listen in as we kick off the show once again. Applications for zkSummit13 are now open, apply for your spot here . Check out the latest jobs in ZK at the ZK Podcast jobs board . Zero Knowledge Systems on Wikipedia IF YOU LIKE WHAT WE DO: Find all our links here! @ZeroKnowledge | Linktree Subscribe to our podcast newsletter Follow us on X @zeroknowledgefm Join us on Telegram Catch us on YouTube ZK Podcast website Read transcript…

Zero Knowledge

1
ZK Podcast is Hiring!! 6:54

21 weeks ago6:54

6:54

A quick update from the Zero Knowledge Podcast: The show is set to resume at the beginning of February, with exciting episodes and topics we can't wait to share with you! In the meantime, the team is hiring for two roles—a Community Marketing Manager to amplify the podcast's reach authentically and a Strategic Growth Lead to strengthen the business side of operations. If you are a potential candidate, please do apply over on the ZK Jobs Board ! As 2025 approaches, the podcast aims to further explore zero-knowledge technology's potential to shape the future and invites the community to join in the journey.…

Zero Knowledge

1
ZK in Review: Decoding 2024 & Predicting 2025 58:02

25 weeks ago58:02

58:02

Summary 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 Read transcript…

Zero Knowledge

1
Latest ZK Research with Dan Boneh 1:03:05

28 weeks ago1:03:05

1:03:05

Summary In this week’s episode, Anna catches up with Dan Boneh , Professor of Computer Science and Electrical Engineering, Stanford University. They discuss the focus of his research today, covering new ZK research problems and themes. This includes work on lattice-based SNARKs, ZK for content provenance, ZK in the FHE context, updates on ZK in ML and more! Here’s some additional links for this episode: Episode 256: New ZK Use Cases with Dan Boneh Episode 100: Dan Boneh on the past, present & future of cryptography Episode 341: coSNARKs with Ais and Lukas from TACEO LaBRADOR: Compact Proofs for R1CS from Module-SIS? Ward Beullens and Gregor Seiler Bulletproofs: Short Proofs for Confidential Transactions and More by Bünz, Bootle, Boneh, Poelstra, Wuille, and Maxwell Greyhound: Fast Polynomial Commitments from Lattices by Nguyen and Seiler LatticeFold: A Lattice-based Folding Scheme and its Applications to Succinct Proof Systems Dan Boneh and Binyi Chen Protostar: Generic Efficient Accumulation/Folding for Special-sound Protocols by Bünz and Chen BaseFold: Efficient Field-Agnostic Polynomial Commitment Schemes from Foldable Codes by Zeilberger, Chen and Fisch Blaze: Fast SNARKs from Interleaved RAA Codes by Brehm, Chen, Fisch, Resch, Rothblum and Zeilberger Episode 277: Nova and Beyond with Srinath Setty Verifiable FHE via Lattice-based SNARKs by Atapoor, Baghery, Pereira and Spiessens ARC: Accumulation for Reed–Solomon Codes by Bünz, Mishra, Nguyen and Wang VerITAS: Verifying Image Transformations at Scale by Datta, Chen and Boneh ZK Whiteboard Sessions - Module One: What is a SNARK? by Dan Boneh ZK Hack V kicks off this week, running from Nov 26 to Dec 17! Sign up for your spot here . Check out the latest jobs in ZK at the ZK Podcast jobs board here! Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup. As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://aleo.org/ . 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…

Zero Knowledge

1
ZK Events 2024 Recap 1:09:51

34 weeks ago1:09:51

1:09:51

Summary This week, Anna and Nico take a look back at some of the ZK Events produced in 2024 by the ZK Podcast, ZK Hack and other adjacent projects. Starting with the live ZK Jargon Decoder hosted in January and spanning the 10 months since, Anna and Nico share behind-the-scenes anecdotes, highlight key talks from the events and share some insight into how the programs for the zkSummit events are created. They wrapped with a summary of some of the themes in ZK that got them talking this year and are tracking going forward. Don’t forget, this is the last episode of ZK Podcast before we take a pause in weekly shows for the rest of 2024 - but don’t worry we will be back! Further Reading: ZK HACK IV - ZK Jargon Decoder Episode 309 - ZK Jargon Decoder with Nico Mohnblatt ZK Hack Montréal Under The Hood of zkID: - Nicolas Mohnblatt - Web3 Summit 2024 Berlin Panel Discussion w/ Anna Rose, Jim Posen, Nicolas Mohnblatt - Web3 Summit 2024 Berlin zkSummit Website zkSummit11 Playlist zkSummit12 Live Link Episode 338: On Trust Infrastructure with Arnaud Schenk Panel: ZK Applications ZK Whiteboard Sessions - S2M1: What is Zero-Knowledge (like, actually)? with David Wong While the show is taking a break, be sure to check out the ZK Whiteboard Sessions that are being produced by ZK Hack Check out the ZK Jobs Board for the latest jobs in ZK at jobsboard.zeroknowledge.fm Episode Sponsors Have you heard about o1Labs ? From o1js, their SDK for simplifying zk development, to o1VM pushing the limits of zkVMs, o1Labs is working directly with the community to build tools that unlock new possibilities. Visit o1labs.org and join them as they shape the future of the zk-powered internet. A new era of decentralized, privacy-preserving computing is here. Aleo recently announced their mainnet launch. Start by learning their domain specific programming language, Leo, to write and deploy your first ZK application at leo-lang.org , or head on over to aleo.org to learn more about our technology and what you can build. 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…

Zero Knowledge

1
Mastering MPC & Memes with Mikerah 1:00:58

35 weeks ago1:00:58

1:00:58

Summary This week Anna chats with Mikerah Quintyne-Collins from HashCloak and Stoffel Labs . They discuss how Mikerah got her start in the crypto space and then dive into the work she did at ChainSafe and eventually at HashCloak. They cover Mikerah’s work on privacy preserving tech like ZK, TEE and MPC and learn about what drives her tweet game and the wisdom she has picked up over the years as a technical founder, driven by curiosity… and memes. Here’s some additional links for this episode: ZK Mesh @badcryptobitch Twitter Episode 40: Benedikt Bünz on Bulletproofs and Verifiable Delay Functions Ethereum Founder Vitalik talk 2017- What is Cryptoeconomics? “I will quite literally drop out if we got $100k in ETH” Tweet by Mikerah “I am being told I should brag more about co-inventing rollups” Tweet by Mikerah Building Scalable Decentralized Payment Systems by Adlerand Quintyne-Collins Check out the ZK Jobs Board for the latest jobs in ZK at jobsboard.zeroknowledge.fm Episode Sponsor Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup. As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://aleo.org/ . 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…

Zero Knowledge

1
ZK Whiteboard Sessions Season 2 and a ZK Pod Pause! 2:56

36 weeks ago2:56

2:56

Just sharing 2 updates: 1) the ZK Whiteboard sessions are BACK with a second season! These videos will be released every 2 weeks for the next 3 months on ZK Hack channels - See Season 1 videos here: https://zkhack.dev/whiteboard/ See Season 2 Module 1 here: https://zkhack.dev/whiteboard/s2m1/ 2) The Zero Knowledge Podcast (aka this show!) will take a pause on the weekly cadence of the show starting Oct 16th until the end of 2024. Expect last 2 episodes on Oct 9 and Oct 16 There may be some additional episodes released this year (but no plans yet) Keep an eye on our website and twitter for updates about the show (and soon an updated website!)…

Zero Knowledge

1
Catch up with Zac and Ariel 56:48

36 weeks ago56:48

56:48

Summary This week Anna catches up with Zac Williamson & Ariel Gabizon from Aztec . They cover what each has been working on over the last year, Zac shared updates about the development of Aztec and the finalization of their underlying ZK system: MegaPlonk. Ariel discussed his latest research on IVC with his publications of the ProtoGalaxy and Stackproofs works and how properties of this systems brought him and Zac to start working together again. Here’s some additional links for this episode: Episode 273: History of Plonk, Noir, and the building of Aztec 3 Episode 274: SNARKs: A Trilogy with Ariel Gabizon zkSummit: plookup: Speeding up the PLONK prover - Zac Williamson & Ariel Gabizon ProtoGalaxy: Efficient ProtoStar-style folding of multiple instances by Liam Eagen and Ariel Gabizon HyperNova: Recursive arguments for customizable constraint systems by Kothapalli and Setty ProtoStar: Generic Efficient Accumulation/Folding for Special Sound Protocols by Bünz and Chen cq: Cached quotients for fast lookups by Eagen, Fiore and Gabizon Delegating Computation: Interactive Proofs for Muggles by Goldwasser, Kalai and Rothblum Unlocking the lookup singularity with Lasso by Setty, Thaler and Wahby Stackproofs: Private proofs of stack and contract execution using Protogalaxy by Eagen, Gabizon, Sefranek, Towa and Williamson Accumulation without Homomorphism by Bünz, Mishra, Nguyen and Wang Aztec.network Check out the ZK Jobs Board for the latest jobs in ZK at jobsboard.zeroknowledge.fm zkSummit12 is happening in Lisbon next week on Oct 8th! Buy your ticket at zksummit.com , spots are limited! Episode Sponsors Attention, all projects in need of server-side proving, kick start your rollup with Gevulot's ZkCloud, the first zk-optimized decentralized cloud! Get started with a free trial plus extended grant opportunities for premier customers until Q1 2025. Register at Gevulot.com . Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup. As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://aleo.org/ . 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…

Zero Knowledge

1
coSNARKs with Ais and Lukas from TACEO 56:58

37 weeks ago56:58

56:58

Summary This week Anna and Nico chat with Lukas Helminger and Ais Connolly from TACEO . They discuss Lukas & Ais’ early work in cryptography and privacy preserving technologies, the founding of TACEO and their recent work on coSNARKs - or Collaborative SNARKs - that combine MPC and ZK. They explore how these coSNARKs are created, their coCircom language, the characteristics of these systems as well as how they can be applied in the real world. Here’s some additional links for this episode: TACEO TACEO Docs TACEO GitHub Hashing it out: coSNARKs at TACEO Experimenting with Collaborative zk-SNARKs: Zero-Knowledge Proofs for Distributed Secrets by Ozdemir and Boneh Privately Connecting Mobility to Infectious Diseases via Applied Cryptography Bampoulidis, Bruni, Helminger, Kales, Rechberger, and Walch Large-Scale MPC: Scaling Private Iris Code Uniqueness Checks to Millions of Users by Bloemen, Kales, Sippl and Walch Collaborative SNARKs by Roman Walch Notes on Collaborative zkSNARKs MPC Primer - coCircom ZK Podcast clip about Collaborative Zero-Knowledge Proofs from Episode 256: New ZK Use Cases with Dan Boneh coSNARKs - coCircom Exploring Collaborative Zero-Knowledge Proofs ZK11: MPC-Enabled Proof Markets - Daniel Kales coCircom Repo coSNARKs Demo: Max Pick Challenge MPC Uniqueness Check GitHub coSNARKs Telegram Channel Check out the ZK Jobs Board for the latest jobs in ZK at jobsboard.zeroknowledge.fm zkSummit12 is happening in Lisbon on Oct 8th! Applications to attend are now open at zksummit.com , apply today as spots are limited! Episode Sponsors Attention, all projects in need of server-side proving, kick start your rollup with Gevulot's ZkCloud, the first zk-optimized decentralized cloud! Get started with a free trial plus extended grant opportunities for premier customers until Q1 2025. Register at Gevulot.com . Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup. As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://aleo.org/ . 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…

Zero Knowledge

1
Is Cosmos Dead? A critical look with Zaki Manian 1:23:52

38 weeks ago1:23:52

1:23:52

Summary This week Anna and Zaki Manian dive into the Cosmos ecosystem and ask the question: is Cosmos Dead? They explore key events, teams and players who worked on Cosmos during different eras before teasing out the strengths and structural flaws that made the project what it is today. The conversation wraps with a discussion around new initiatives aimed at reviving the ecosystem and aligning factions in Cosmos together towards a central goal. Here’s some additional links for this episode: Episode 286: Paris 2023 Recap with Uma, Zaki and Tarun Episode 263: Cosmos, Sommelier and Emerging Assets with Zaki Manian Episode 337: Restaking Research with Naveen & Tarun Cosmos SDK GitHub Cosmos Website Cosmos SDK Documentation Privacy in Cosmos Live: Zaki Manian (Sommelier)- The Unbearable Weight of Sovereign Multichain UX Check out the ZK Jobs Board for the latest jobs in ZK at jobsboard.zeroknowledge.fm zkSummit12 is happening in Lisbon on Oct 8th! Applications to attend are now open at zksummit.com , apply today as spots are limited! Episode Sponsors Get ready to build with intention. Anoma is the universal intent machine, introducing a new era of applications where you define the outcomes you want. Follow Anoma on X to learn more at x.com/anoma Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup. As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://aleo.org/ 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…

Zero Knowledge

1
TEEs with Andrew Miller 1:14:52

39 weeks ago1:14:52

1:14:52

Summary In this week’s episode, Anna and Tarun catch up with Andrew Miller . They cover his early work on consensus, ZK and MPC before switching focus to the topic of his current work: TEEs. They map his evolving opinion on TEEs and explore why they could be seen as an optimal solution to many of the blockchain challenges. Here’s some additional links for this episode: Andrew Miller works SoK: Research Perspectives and Challenges for Bitcoin and Cryptocurrencies by Bonneau, Miller, Clark, Narayanan, Kroll, Felten Zerocash: Decentralized Anonymous Payments from Bitcoin by Ben-Sasson, Chiesa, Garman, Green, Miers, Tromer, and Virza The Honey Badger of BFT Protocols by Miller, Xia, Croman, Shi, and Song DelegaTEE: Brokered Delegation Using Trusted Execution Environments by Matetic, Schneider, Miller, Juels and Capkun Ratel: MPC-extensions for Smart Contracts by Li, Soska, Huang, Bellemare, Quintyne-Collins, Wang, Liu, Song and Miller Ekiden: A Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contracts by Cheng, Zhang, Kos, He, Hynes, Johnson, Juels, Miller and Song Demo of IT from Xyn and Ryan Complete Knowledge: Preventing Encumbrance of Cryptographic Secrets by Kelkar, Babel, Daian, Austgen, Buterin and Juels Off-Chain Coordination via Liquefaction - James Austgen | MEV-SBC ’24 This week Anna and Zaki Manian dive into the Cosmos ecosystem and ask the question: is Cosmos Dead? zkSummit12 is happening in Lisbon on Oct 8th! Applications to attend are now open at zksummit.com , apply today as tickets are limited! Episode Sponsors Attention, all projects in need of server-side proving, kick start your rollup with Gevulot's ZkCloud, the first zk-optimized decentralized cloud! Get started with a free trial plus extended grant opportunities for premier customers until Q1 2025. Register at Gevulot.com . Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup. As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://aleo.org/ . 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…

Zero Knowledge

1
On Trust Infrastructure with Arnaud Schenk 1:29:29

40 weeks ago1:29:29

1:29:29

Summary This week Anna and Nico chat with Arnaud Schenk , one of the original co-founders of Aztec and creator of the Polaris Fellowship . They discuss Arnaud’s recent blog post ‘On Trust Infrastructure’, exploring the down sides of a trustless system, the need to make online community building more possible and how programmable cryptography may play a role in these solutions. They explore the history of computer culture, the rejection of institutions by mid-90s internet culture and how the seeds for this were set by the 60s counterculture. Here’s some additional links for this episode: 05:09 * Episode 75: Exploring Aztec with Zac Williamson 05:09 * Episode 176: Zk-zk-rollup & zk.money with Zac and Joe from Aztec 05:09 * Episode 273: History of Plonk, Noir, and the building of Aztec 3 07:38 * Episode 237: Exploring ZK Research with Jens Groth 20:01 * Into the deep end: making sense of PLONK - Zac Williamson (CTO, Aztec Protocol) 23:55 * Collaborative Circles: Friendship Dynamics and Creative Work by Michael P. Farrell 27:05 * No Sense of Place: The Impact of Electronic Media on Social Behavior by Joshua Meyrowitz 29:33 * On Trust Infrastructure by Arnaud Schenk 39:28 * Crypto's Three Body Problem by Lotti, Shorin, Hart 48:13 * Plurality philosophy in an incredibly oversized nutshell by Vitalik Buterin 52:21 * From Counterculture to Cyberculture: Stewart Brand, the Whole Earth Network, and the Rise of Digital Utopianism by Fred Turner 52:21 * The Electric Kool-Aid Acid Test by Tom Wolfe On Crypto Article by Arnaud Schenk Knot Group Wiki Check out the ZK Jobs Board for the latest jobs in ZK at jobsboard.zeroknowledge.fm zkSummit12 is happening in Lisbon on Oct 8th! Applications to attend are now open at zksummit.com , apply today as early bird tickets are limited! Episode Sponsors Attention, all projects in need of server-side proving, kick start your rollup with Gevulot's ZkCloud, the first zk-optimized decentralized cloud! Get started with a free trial plus extended grant opportunities for premier customers until Q1 2025. Register at Gevulot.com . Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup. As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://aleo.org/ . 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…

Zero Knowledge

1
Restaking Research with Naveen & Tarun 1:11:05

41 weeks ago1:11:05