Zero Knowledge

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.

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.