Snark Chocolate

In this episode, we spoke with Ravital Solomon , founder and CEO of Sunscreen . Main topics we discussed: - Past, present and future of FHE adoption - Sunscreen’s architecture and design - Sunscreen tech stack and roadmap - What Sunscreen is doing different - Collaboration with Monad - Hiring tips Links Sunscreen Website: https://sunscreen.tech/ Sunscreen X/Twitter: https://x.com/sunscreentech Twi...

In this episode, we spoke with Jules Drean, co-founder of Tinfoil. Main topics we discussed: - Why privacy matters more in the age of cloud AI - Tinfoil’s architecture: inference in secure enclaves with built-in attestation - Performance vs. privacy tradeoffs between FHE, MPC, and TEEs - Verifiability via transparency logs and reproducible builds - A UX-first approach to private AI, integrating Ti...

In this episode, we sat down with Jay Prakash , Co-founder & CEO of Silence Labs. Main topics we discussed: - Silent Shard for MPC-based key management - Silent Compute for secure and private multiparty data processing - GTM focus on privacy tech for banks and finance - Selling privacy tech to banks and institutions - Roadmap toward privacy-as-a-service infrastructure Links Silence Labs Websit...

In this episode, we spoke with Alan Szepieniec, co-founder of Neptune Cash. Main topics we discussed: - The journey from cryptography to peer-to-peer digital money - Neptune design principles, tradeoffs and parameter selection - The road to launch and the war stories post launch - Using ZK-STARKs at L1 - Mutator sets - A lightweight smart contract system - The roadmap towards full decentralization...

In this episode, we spoke with Liz Steininger, CEO, and Anna Kaplan, Security Researcher, from Least Authority. Main topics we discussed: - Least Authority’s roots and their connection to Zcash - Intro to security auditing - What makes cryptography audits unique - Least Authority privacy-first products - Emerging trends in applied cryptography - The promise and limits of AI in audits Links Least A...

In this episode, we spoke with  Sylve Chevet , co-founder and CEO of  Hyli , about designing a proof-first L1 that centers ZK as its core primitive. Main topics we discussed: - Hyli brand - How to build a blockchain with a lean team - Hyli testnet: operations and goals - Verifiable Apps and Hyli use cases - The future of ZK - ZK benchmarks for client side proving - Hyli roadmap towards mainnet Lin...

In this episode, we spoke with Raphael Ducasse , lead engineer at Giza , about building LuminAIR—a verifiable machine learning library—and how it powers autonomous DeFi agents through ZKML. Main topics we discussed: - The shift from Cairo-based tooling to building LuminAIR on Luminol, a minimal Rust-based ML library - How LuminAIR optimize models for ZK proving - Giza’s core thesis, roadmap, why t...

本期嘉宾：Primus 联合创始人 谢翔（Xiang Xie） #SnarkChocolate 最新一期上线！对话 @PrimusLabs 联合创始人谢翔，聊聊「让真实世界数据安全上链」的正确姿势。 - 什么是 ZKTLS？它解决什么痛点？ZKTLS方案中attester（盖戳者）的角色与 TEE 必要性 - 中文社区为何对 ZKTLS 讨论度偏低？ - QuickSilver 框架缘起与10倍性能优势 - Primus 的技术路线、产品形态以及应用场景 - ZKTLS与ZKVM的结合方案 - 密码学与AI的潜在结合以及Pr...

In this episode, we spoke with Jonathan Passerat-Palmbach , Senior Research Scientist at Flashbots , about tackling MEV challenges through privacy-enhancing technologies. Main topics we discussed: - Flashbots' evolution: from MEV mitigation to building block building infrastructure - The MEV trilemma and why auctions offer a better approach than spam or latency games - The current MEV landscap...

In this episode, we spoke with Bobbin Threadbare , co-founder of Miden , about designing a new blockchain protocol built from the ground up around client-side proving. Main topics we discussed: - The vision behind Miden: building a blockchain assuming ZK is a native primitive - Why EVM and Solidity fall short for true client-side proving - How Miden’s actor model blends accounts and UTXOs for priv...

In this episode, we spoke with Vanishree Rao , founder of Fermah , about building a universal proof marketplace designed for speed, cost-efficiency, and real-world ZK adoption. Main topics we discussed: - The vision behind Fermah: solving ongoing hurdles in proof generation - What defines a proof market and why universality across proving systems matters - How Fermah matches proof requests with ma...

In this episode, we spoke with Ben Fisch, co-founder and CEO of Espresso Systems, about building a fast confirmation layer for L2s. Main topics we discussed: - Espresso’s evolution from a privacy tool to infrastructure for rollup interoperability - What shared sequencing really means and how Espresso supports shared builders - How cross-chain confirmation works and why Espresso is uniquely designe...

In this episode, we spoke with Chad Fowler — jazz musician, technologist, author, CTO, and general partner at BlueYard Capital . We covered topics like privacy, AI, Star Trek vs. Star Wars visions of the future, investing in Web3, the parallels between jazz improvisation and engineering, open source software, writing books, the evolving role of the CTO, creativity, and much more. Links Blueyard's...

With Deepak Maram , Applied Cryptographer at Sui In this episode, we spoke with Deepak Maram from Mysten Labs about Sui’s cryptography-driven roadmap and products. Main topics we discussed: - ZKLogin, a privacy-preserving login system using OpenID and zero-knowledge proofs, now powering millions of transactions - How Sui integrates ZK features at the protocol level for UX, scalability, and perform...

With Anna Rose, creator of Zero-Knowledge Podcast , Zero-Knowledge Validator , zk Summit and zkHack and more In this episode, we spoke with Anna Rose about building the Zero Knowledge Podcast, ZK Summit, and ZK Hack. Main topics we discussed: - How a side project at Parity evolved into the leading podcast in ZK - The origins of ZK Summit and its one-day format - Launching ZK Validator and its tran...

With Lukas Helminger , CEO and Co-founder & Lukas Gotz , Product lead and Co-founder at Taceo In this episode, we spoke with Lukas Helminger and Lukas Götz from Taceo about their novel architecture combining MPC and ZK. Main topics we discussed: What co-SNARKs are, and how they enable proof delegation and private shared state Why combining MPC and ZK unlocks confidential compute with verifiabi...

With DC Builder , Research Engineer at World Foundation In this episode, we spoke with DC Builder from Worldcoin’s World Foundation about building identity infrastructure for the age of AI. Main topics we discussed: How World is designing tools like World ID and the Orb to verify real humans in a privacy-preserving way The architecture behind the World App, smart accounts, and Worldchain A breakdo...

With Lisa Akselrod, DevRel and Technical Writer at Aztec In this episode, we met with Lisa Akselrod from Aztec to dive into how they’re building a fully decentralized, privacy-first Layer 2. Main topics we discussed: How Noir lets developers write apps with both private and public logic The role of client-side proving and what it enables, from privacy to performance Aztec’s early commitment to dec...

With Esli , Head of product and ecosystem at Marlin In this episode, we met with Esli from Marlin to explore their work at the intersection of verifiable compute and trusted execution environments (TEEs). Main topics we discussed: Marlin’s evolution from network-layer optimizations to a confidential computing layer. Kalypso, a ZK proof marketplace supporting private inputs and TEE-based proving. O...

With Michael Dong , Co-founder at Brevis Network This week, we spoke with Michael Dong, co-founder of Brevis, about their vision for efficient, verifiable off-chain computation using ZK. Key takeaways include: The role of Pico , Brevis’ modular ZKVM that integrates with their coprocessor to optimize performance and scalability. ZK for interoperability , exploring the challenges and trade-offs of u...

With Ismael Hishon-Rezaizadeh  , Founder and CEO at Lagrange Labs This week, we spoke with Ismael from Lagrange about  DeepProof , their groundbreaking ZKML prover, and how it’s reshaping verifiable AI. Key takeaways include: DeepProof’s breakthrough performance , making ZKML many times faster than existing solutions, enabling real-world AI verification. The intersection of ZK and AI , using proof...

With Sachin Kumar, co-founder of ZKP2P This week, we spoke with Sachin Kumar, co-founder of ZKP2P, about building a fast, trust-minimized, and composable peer-to-peer on-off ramp protocol. Key takeaways include The evolution from hackathon project to production , solving the inefficiencies of traditional P2P on-ramping with ZK proofs How ZKP2P removes centralized intermediaries , using smart contr...

With Howard wu , co-founder of Aleo and CEO of Provable ​This week, we spoke with Howard Wu, co-founder of Aleo and CEO of Provable, about building the foundations for decentralized privacy-preserving applications. Key takeaways include: ​ Aleo’s privacy-first Layer 1 , designed to enable private smart contracts by default, overcoming the transparency limitations of Ethereum. ​ Developer tools and...

With Marvin Tong , Co-founder at Phala Network This week, we spoke with Marvin Tong, co-founder of Phala Network, about their mission to eliminate centralized trust from Web3 through cryptography and Trusted Execution Environments (TEE). Key takeaways include: Phala’s evolution, from a fully decentralized confidential cloud network to finding product-market fit with TEE-based services for develope...

With Guy Ziskind and Guy Itzhaky, co-founders at Fhenix This week, we spoke with Guy Ziskind and Guy Itzhaky, founders of Fhenix, about their mission to bring Fully Homomorphic Encryption (FHE) to blockchain for on-chain confidentiality. Key takeaways include: The Fhenix   co-processor model , enabling encrypted computations across multiple chains without requiring developers to switch ecosystems....