Zero Knowledge

In this episode, Anna Rose and Nico Mohnblatt speak with Dan and Sinu from TLSNotary to trace the project’s journey from early Bitcoin forum ideas to its current role as a foundational protocol maintained by PSE. Dan recounts the origins of TLSNotary as a tool for cryptographically proving web data, while Sinu explains how the project was revived to provide modern TLS attestation. The conversation covers the use-cases for verifiable web proofs, the different modes these interactive protocols can take, and the broader impact of this technology on leveraging siloed user data. Related links: Episode 325: Web Proofs with Tracy from Pluto Episode 354: The Founding of Zero Knowledge Systems with Austin Hill Episode 362: zkTLS with Maddy from Reclaim 2013 Blog Post ‘tlsnotary - cryptographic proof of fiat transfer for p2p exchanges’ TLSNotary Whitepaper DECO: Liberating Web Data Using Decentralized Oracles for TLS Primus Labs (Previously PADO) Town Crier: An Authenticated Data Feed for Smart Contracts     Check out the latest jobs in ZK at the ZK Podcast Jobs Board.      **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

In this engaging discussion, Goblin Oats from Tonk, a pioneer in building personalized local first software, and grjte from Bain Capital Crypto, delve into the future of decentralized architecture. Goblin shares insights on the evolution of Tonk from blockchain games to empowering user agency in software. They explore the power of Conflict-free Replicated Data Types (CRDTs) for collaboration, the intersection of local first systems with the AT Protocol, and innovations in data management, emphasizing privacy and data sovereignty.

Florent Tavernier and Marek Olszewski from Self discuss the transformative potential of on-chain identity using zero-knowledge technology. They explore the challenges of varying cryptographic standards and the innovative Open Passport initiative aimed at enhancing identity verification. The conversation highlights how blockchain can bolster Sybil resistance and the necessity of user privacy in digital identity. They also reflect on the importance of integrating traditional systems with Web3 innovations, advocating for secure, decentralized identity options that empower users.

Kostas Kryptos from Mysten Labs and Tarun Chitra, a seed investor in SWE, dive into groundbreaking ZK innovations. Kostas unveils zkLogin and zkAt, an updatable access control project harnessing unique approaches to trusted setups. They discuss Sui's ambition to go quantum-ready through STARKs while transitioning EdDSA accounts. The conversation also uncovers the application of ZK technology in the Greek stock market and the evolution of cryptographic account management, spotlighting dynamic access controls and the future of decentralized finance.

David Wong from ZK Security, an expert in zero-knowledge auditing, discusses the transformative impact of AI on auditing practices. He highlights how AI agents are integrated into workflows, creating both opportunities and challenges. The conversation delves into the unique demands of auditing ZK systems versus traditional smart contracts. Wong also addresses ethical concerns surrounding AI in security, false positives in auditing tools, and how AI can detect vulnerabilities in cryptocurrency, showcasing the future synergy between AI and zero-knowledge technology.

Abhi Shelat and Matteo Frigo, engineers at Google with deep expertise in cryptography and ZK systems, discuss their integration of zero-knowledge proofs into Google Wallet. They highlight the technical decisions behind the Anonymous Credentials for ECDSA, balancing client efficiency with user privacy. The conversation dives into the challenge of revoking credentials like stolen passports and the significance of bringing advanced cryptography to mainstream tech, emphasizing its potential for enhancing security without sacrificing usability.

In this discussion, Madhavan (Maddy) Malolan from Reclaim Protocol delves into the groundbreaking zkTLS technology and its role in web data verification. He shares insights into the journey of developing solutions for secure TLS connections while tackling challenges in integrating zero-knowledge proofs. Maddy also explores zkTLS's applications in education, employment, and financial verification, emphasizing user control over sensitive data. The conversation touches on the balance between security and user experience, along with the potential for zkTLS in AI applications.

Matthew Klein and Albert Garreta from Nethermind dive into cutting-edge lattice-based cryptography. They discuss the dynamics of their LatticeFold implementation and innovations like LatticeFold+ and Neo. The conversation highlights challenges and optimizations in zero-knowledge proofs and the significance of post-quantum signatures for Ethereum. They also touch on the efficient use of zinc for handling constraints, exploring how lattice-based techniques outperform traditional methods in both security and performance.

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

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