Zero Knowledge

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.

This installment highlights exciting upcoming topics like ZKTLS and innovative technologies. There's a call for ads, inviting projects to connect with a highly technical audience. It emphasizes the podcast's commitment to independent production and seeks listener support. Perfect for anyone looking to boost their visibility in the ZK space!

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

Lasha Antadze, co-founder of Rarilabs and Rarimo, dives into the world of decentralized identity solutions using zero-knowledge proofs. He shares insights from his transition from government eID systems to innovative, client-side identity verification. The conversation reveals Rarimo’s unique approach to censorship-resistant voting and privacy-preserving account recovery. Topics such as the challenges of trust in cryptographic systems, AI governance implications, and the integration of blockchain with personal data security highlight the future of digital identity.

Jelena Vučković, a Professor at Stanford's Nanoscale and Quantum Photonics Lab, dives into the thrilling realm of quantum engineering. She discusses the fundamentals of quantum entanglement and its revolutionary applications in secure communications. Jelena also shares her journey from applied mathematics to experimental photonics and the significance of quantum defects in material science. The conversation turns to the future of quantum sensors and demystifies the concept of quantum teleportation, revealing its exciting yet complex role in information security.

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

Norbert Vadas, Head of Product at ZkCloud, shares his expertise on prover networks and marketplaces. He discusses the evolution from centralized to decentralized proving models in blockchain. Norbert explains various economic strategies and the importance of cost-effective solutions for proof generation. They dive into proof aggregation and the role of off-chain verification, while exploring how ZkCloud enhances participation in proof marketplaces. Listen for insights on the future of large-scale zero-knowledge proving and its revolutionary potential.

Austin Hill, one of the original founders of Zero Knowledge Systems and co-founder of Blockstream, shares his journey from the early internet days in Montreal to navigating the dot-com boom. He discusses the ambitious mission for online privacy with their flagship product, Freedom, and the shift to a B2B approach. Austin reflects on his involvement in Bitcoin and the challenges of open-source infrastructure, as well as a new venture in material nanotechnology, exploring innovations while advocating for ethical privacy solutions in today's data-driven world.