Snark Chocolate

With Dante , CTO at EZKL This week, we spoke with Dante, CTO and co-founder of EZKL, about securing machine learning with zero-knowledge proofs. Key takeaways include: The journey from a Discord-based collaboration to a fully-fledged project How EZKL turns Python code into verifiable ZK circuits The role of Lilith, a proving backend Performance improvements, including client-side proving Real-worl...

WIth Yi Sun and Jonathan Wang, co-founders of Axiom Heads up!  Technical episode. We didn't find a way to compress it into a nice preview that will do it justice—tune in to learn with us about the latest in ZKVM technology. Links Axiom's Website: https://www.axiom.xyz/ OpenVM: https://openvm.dev OpenVM Twitter/X: https://x.com/OpenVM_org Yi Sun's Twitter/X: https://x.com/theyisun Johna...

With Vivek , Mathematician and Designer, and Rachel, Designer at Cursive This week, we spoke with Vivek and Rachel from Cursive, a research and design studio focused on building cryptography for human connection. Key takeaways include: The journey of Cursive, blending cryptography, design, and NFC technology to make abstract concepts like ZK Identity more tangible and user-friendly. Experiments wi...

With Morten Dahl , VP Blockchain Engineering at Zama This week, we spoke with Morten Dahl, VP of Blockchain Engineering at Zama, about his work with fully homomorphic encryption (FHE) and its applications across blockchain and machine learning. Key takeaways include: A detailed exploration of FHE, highlighting its ability to perform computations on encrypted data without decrypting it, with applic...

With Madhavan (Maddy) Malolan, Co-founder of Reclaim Protocol   This week, we spoke with Madhavan Malolan, co-founder of Reclaim Protocol, about his journey and how Reclaim is building the API of the internet using ZKTLS. Key takeaways include: Reclaim’s origin story, starting as an identity solution for Questbook and evolving into a standalone ZK-powered protocol for verifiable data sharing. A di...

With Chiro Hiro , CEO of Orochi This week, we spoke with Chiro Hiro, Founder at Orochi, about his journey and the evolution of Orochi’s cutting-edge ZK technologies. We covered the following topics: Inside look into grants from Ethereum Foundation and Mina Foundation deep dive into zkDatabase and ZK Memory and Orochi unique approach to data availability and zk scaling The Vietnamese eco-system, ZK...

With  Brecht Devos , Co-founder & CTO of  Taiko This week, we spoke with Brecht Devos, co-founder and CTO of Taiko, about his journey and the evolution of Taiko as a Based ZK rollup. Key takeaways include: Insights into Taiko’s unique stack designs , such as the multi-tier proof system, based sequencing, and pre-confirmation. The rationale behind introducing Gwyneth , a next-generation based r...

With Matej Yangwao & Daniel Exponen t , co-founders at SpaceCoin This week, we spoke with Matej (Yangwao) and Daniel, the founders of SpaceCoin. SpaceCoin is building a secure, distributed compute network in space:  pioneering the  “space computer” —a tamper-proof infrastructure complementing Earth's blockchain systems. We explored SpaceCoin's vision, its Layer 1 celestial network, and the exc...

With Tomer Ashur, CEO & Chief Scientist at 3MI Labs This week, we spoke with Tomer Ashur, founder and CEO at 3MI Labs 3MI Labs a research house known for its multidisciplinary team and pioneering approach to cryptography. Tomer shared his journey, emphasizing his goal of creating a world-class research organization We explored 3MI Labs' work model and how it enables deep, long-term collaborati...

With Daniel Benarroch, Founder & CEO of Inversed Tech In this week’s episode, we had the pleasure of welcoming Daniel Benarroch, founder and CEO of Inversed Tech, a cryptographic R&D team building the infrastructure for the open internet. From securing biometric systems for Worldcoin to designing ZKVM protocols with Scroll, this conversation dives deep into cutting-edge privacy tech. We ex...

With Jeremy Bruestle, Co-founder and CEO & Brett Carter, VP of Product at Risc Zero In this week’s episode, we had the pleasure of welcoming Jeremy and Brett from Risc Zero. From centralized verifiable computing to programable privacy, this conversation is rich with information! We review the portfolio of products built around Risc Zero ZKVM for example, Zeth and Steel, and how they can lead t...

With Anurag Arjun, Founder at Avail - In this episode, we learn how Avail transitioned from a Polygon project to an independent blockchain infrastructure provider. - We discuss in depth the different components of the Avail stack and how they cover all aspects of blockchain design. - We go deeper into Avail roadmap: milestones, developer interface, and partnerships. - Finally, Anurag shares with u...

With Teemu Päivinen, Founder & CEO at Gevulot This episode explores the architecture of ZK Cloud, where a blockchain manages validators and prover nodes perform zero-knowledge computations. We trace the journey from the initial DevNet launch to "Firestarter" mainnet and beyond and outline the roadmap toward full decentralization The discussion highlights how Gevulot’s network achieves signific...

With Jonathan Rouach, CEO & Co-Founder of Qedit Discussed expanding ZKP applications, including digital shekel transactions and secure identity verification. Explained compliance approach in ZKPs, balancing strong privacy protections with regulatory needs. Highlighted ongoing ZKP standards to enhance security and reliability. Positioned ZKPs as increasingly attractive to traditional sectors ex...

With Roberto Catalán, CEO of Aligned & Francisco Strambini, Leadership of Lambdaclass Discussed reducing ZK costs on Ethereum to encourage broader use. Explained Align’s infrastructure, using proof aggregation and decentralized verification, achieving 90% cost reduction. Highlighted flexibility in verification methods, offering both fast and in-depth options based on developer needs. Positione...

With Kitty of Rarimo , Director of Rarilabs Discussed Rarimo's ZK identity protocol, enhancing privacy for social applications like anonymous voting. Focused on the decentralized identity registry, allowing self-issued identities without third-party involvement for privacy. Addressed the challenges of balancing anonymity, eligibility, and uniqueness in sensitive environments. Emphasized the user-f...

With Louis Guthmann of Starkware , Head of Product/Market Strategy Discussed Starknet’s role as a ZK roll-up on Ethereum, with plans to support multiple chains like Bitcoin. Focused on building a developer community through mentoring, education, and fostering connections. Explained the choice of Cairo for performance and developer adoption, balancing new tech with usability. Emphasized the importa...