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 tipsLinksSunscreen Website: https://sunscreen.tech/Sunscreen X/Twitter: https://x.com/sunscreentechTwitter: ⁠⁠⁠⁠⁠⁠⁠⁠https://x.com/Ingo_zk⁠YouTube: ⁠⁠⁠⁠⁠⁠⁠⁠https://www.youtube.com/@ingo_zk⁠⁠⁠⁠⁠⁠⁠⁠GitHub: ⁠⁠⁠⁠⁠⁠⁠⁠https://github.com/ingonyama-zk⁠⁠⁠⁠⁠⁠⁠⁠LinkedIn: ⁠⁠⁠⁠⁠⁠⁠⁠https://www.linkedin.com/company/ingonyama⁠⁠⁠⁠⁠⁠⁠⁠

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 Tinfoil with a single line of code- First users: personal AI agents and regulated industries like healthcare and finance- How Tinfoil enables proprietary model protection alongside user privacy- Expansion beyond inference: future plans for fine-tuning and training in enclavesLinksTinfoil's Website: https://tinfoil.sh/Tinfoil's Twitter/X: https://x.com/TinfoilAITwitter: ⁠⁠⁠⁠⁠⁠⁠https://x.com/Ingo_zkYouTube: ⁠⁠⁠⁠⁠⁠⁠https://www.youtube.com/@ingo_zk⁠⁠⁠⁠⁠⁠⁠GitHub: ⁠⁠⁠⁠⁠⁠⁠https://github.com/ingonyama-zk⁠⁠⁠⁠⁠⁠⁠LinkedIn: ⁠⁠⁠⁠⁠⁠⁠https://www.linkedin.com/company/ingonyama⁠⁠⁠⁠⁠⁠⁠

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 infrastructureLinks Silence Labs Website: https://silencelaboratories.com/Silence Labs Twitter/X: https://x.com/silencelabs_slSilence Labs Products: https://silencelaboratories.com/productsTwitter: ⁠⁠⁠⁠⁠⁠https://twitter.com/Ingo_zk⁠⁠⁠⁠⁠⁠YouTube: ⁠⁠⁠⁠⁠⁠https://www.youtube.com/@ingo_zk⁠⁠⁠⁠⁠⁠GitHub: ⁠⁠⁠⁠⁠⁠https://github.com/ingonyama-zk⁠⁠⁠⁠⁠⁠LinkedIn: ⁠⁠⁠⁠⁠⁠https://www.linkedin.com/company/ingonyama⁠⁠⁠⁠⁠⁠Join us: ⁠⁠⁠⁠⁠⁠https://www.ingonyama.com/career

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 decentralizationNeptune's Twitter/X: https://x.com/seagodcryptoNeptune Core: https://github.com/Neptune-Crypto/neptune-core/Twitter: ⁠⁠⁠⁠⁠⁠https://twitter.com/Ingo_zk⁠⁠⁠⁠⁠⁠YouTube: ⁠⁠⁠⁠⁠⁠https://www.youtube.com/@ingo_zk⁠⁠⁠⁠⁠⁠GitHub: ⁠⁠⁠⁠⁠⁠https://github.com/ingonyama-zk⁠⁠⁠⁠⁠⁠LinkedIn: ⁠⁠⁠⁠⁠⁠https://www.linkedin.com/company/ingonyama⁠⁠⁠⁠⁠⁠Join us: ⁠⁠⁠⁠⁠⁠https://www.ingonyama.com/career

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 auditsLinksLeast Authority X/Twitter: https://x.com/LeastAuthorityWebsite: https://leastauthority.com/Twitter: ⁠⁠⁠⁠⁠https://twitter.com/Ingo_zk⁠⁠⁠⁠⁠YouTube: ⁠⁠⁠⁠⁠https://www.youtube.com/@ingo_zk⁠⁠⁠⁠⁠GitHub: ⁠⁠⁠⁠⁠https://github.com/ingonyama-zk⁠⁠⁠⁠⁠LinkedIn: ⁠⁠⁠⁠⁠https://www.linkedin.com/company/ingonyama⁠⁠⁠⁠⁠Join us: ⁠⁠⁠⁠⁠https://www.ingonyama.com/career

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 mainnetLinksHyli's Website: ⁠https://www.hyli.org/⁠Hyli's Twitter/X: https://x.com/hyli_orgSylve's Twitter/X: https://x.com/sylvechvYouTube: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.youtube.com/@ingo_zk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠GitHub: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://github.com/ingonyama-zk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠LinkedIn: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.linkedin.com/company/ingonyama⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠Join us: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.ingonyama.com/career⁠⁠⁠⁠⁠⁠⁠

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 they launched a token and  institutional adoption- Verifiable recommender systems and other ZKML use cases- Giza protocol’s role in decentralizing agent execution with Eigenlayer AVS- How ARMA, Giza’s flagship agent, reallocates funds across lending protocols while maintaining custodyLinksGiza's Website: https://www.gizatech.xyz/Giza's Twitter/X: https://x.com/gizatechxyzLuminAIR: https://github.com/gizatechxyz/LuminAIRYouTube: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.youtube.com/@ingo_zk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠GitHub: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://github.com/ingonyama-zk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠LinkedIn: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.linkedin.com/company/ingonyama⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠Join us: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.ingonyama.com/career⁠⁠⁠⁠⁠⁠

本期嘉宾：Primus 联合创始人 谢翔（Xiang Xie）#SnarkChocolate 最新一期上线！对话 @PrimusLabs 联合创始人谢翔，聊聊「让真实世界数据安全上链」的正确姿势。- 什么是 ZKTLS？它解决什么痛点？ZKTLS方案中attester（盖戳者）的角色与 TEE 必要性- 中文社区为何对 ZKTLS 讨论度偏低？- QuickSilver 框架缘起与10倍性能优势- Primus 的技术路线、产品形态以及应用场景- ZKTLS与ZKVM的结合方案- 密码学与AI的潜在结合以及Primus在这个方向上的技术储备 相关链接Primus 官网：⁠https://primuslabs.xyz/Primus 推特：⁠https://x.com/primus_labsPrimus 开发者中心: https://dev.primuslabs.xyz/Primus 打赏: https://pay.primuslabs.xyz/技术文档：⁠https://docs.primuslabs.xyz/YouTube：⁠https://www.youtube.com/@ingo_zkGitHub：⁠https://github.com/ingonyama-zkLinkedIn：⁠https://www.linkedin.com/company/ingonyama加入我们：⁠https://www.ingonyama.com/career

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 landscape and the role of PBS and BuilderNet- How Flashbots leverages TEEs for pre-trade privacy and integrity guarantees in block building - Limitations of TEEs and ongoing research to strengthen trust assumptions- Complementing TEEs with cryptography for stronger defense-in-depth architectures- Experimental work on encrypted backrunning using MPC and FHE- The broader Suave vision and decentralized encrypted mempools- Reflections on federated learning, privacy-preserving ML, and why PETs still struggle for adoption in AILinksFlashbots Website: https://www.flashbots.net/FHE Backrunning Paper: https://fc25.ifca.ai/preproceedings/238.pdfBuildernet: https://buildernet.org/Jonathan’s Projects: https://jopasser.at/YouTube: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.youtube.com/@ingo_zk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠GitHub: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://github.com/ingonyama-zk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠LinkedIn: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.linkedin.com/company/ingonyama⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠Join us: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.ingonyama.com/career⁠⁠⁠⁠⁠⁠

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 privacy and modularity- The trade-offs in launching as a centralized L2 before full decentralization- Why client-side proving matters — and what it actually looks like on mobile today- Privacy as a design principle: accounts, nodes, and nullifiers in MidenLinksMiden's Website: https://miden.xyz/Miden's Twitter/X: https://x.com/0xMidenBobbin's Twitter/X: https://x.com/bobbinthYouTube: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.youtube.com/@ingo_zk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠GitHub: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://github.com/ingonyama-zk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠LinkedIn: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.linkedin.com/company/ingonyama⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠Join us: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.ingonyama.com/career⁠⁠⁠⁠⁠⁠

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 machines using tailored mechanism design- Trade-offs between decentralization and efficiency—and why Fermah prioritizes the latter- Challenges of client-side proving and how Confidential Proving Delegation (CPD) addresses them- The tech stack behind CPD, including MPC, CIRCOM, and GPU acceleration via ICICLE- Fermah’s roadmap: moving from testnet to mainnet and onboarding major rollups- Thoughts on company-building, working with A16Z’s CSX, and staying leanLinksFermah Website: https://www.fermah.xyz/Fermah X/Twitter: https://x.com/fermah_xyzVanishree's X/Twitter: https://x.com/vanishree_raoYouTube: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.youtube.com/@ingo_zk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠GitHub: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://github.com/ingonyama-zk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠LinkedIn: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.linkedin.com/company/ingonyama⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠Join us: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.ingonyama.com/career⁠⁠⁠⁠⁠⁠

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 designed for it- The engineering behind high throughput and low-latency consensus- Why exchanges, bridges, and L2s benefit from Espresso's confirmation layer- Thoughts on TEEs as a shortcut when ZK proofs aren’t feasible- Research into asynchronous messaging, shared builders, and composability- A bullish callout to PIN AI and the need for more user-facing crypto appsLinksEspresso's X/Twitter: https://x.com/EspressoSysBen's X/Twitter: https://x.com/benafischEspresso Website: https://www.espressosys.com/YouTube: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.youtube.com/@ingo_zk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠GitHub: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://github.com/ingonyama-zk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠LinkedIn: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.linkedin.com/company/ingonyama⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠Join us: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.ingonyama.com/career⁠⁠⁠⁠⁠

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.LinksBlueyard's Webpage: https://blueyard.com/Blueyard's Twitter/X: https://x.com/blueyardChad's Twitter/X: https://x.com/chadfowler?lang=enChad's Music: https://www.youtube.com/channel/UCs86QkXYIQl1mjdwlXwwK3ATwitter: ⁠https://twitter.com/Ingo_zk⁠YouTube: ⁠https://www.youtube.com/@ingo_zk⁠GitHub: ⁠https://github.com/ingonyama-zk⁠LinkedIn: ⁠https://www.linkedin.com/company/ingonyama⁠Join us: ⁠https://www.ingonyama.com/career

With Deepak Maram, Applied Cryptographer at SuiIn 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 performance- Walrus and Seal, new infrastructure for decentralized storage and programmable secret management- The role of Sui’s research team in bridging applied cryptography and real-world productsLinksSui Website: https://sui.io/Sui Research: https://sui.io/researchSui Twitter/X: https://x.com/SuiNetworkDeepaks' Twitter/X: https://x.com/mskd96Walrus: https://www.walrus.xyz/YouTube: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.youtube.com/@ingo_zk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠GitHub: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://github.com/ingonyama-zk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠LinkedIn: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.linkedin.com/company/ingonyama⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠Join us: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.ingonyama.com/career⁠⁠⁠⁠⁠⁠

With Anna Rose, creator of Zero-Knowledge Podcast, Zero-Knowledge Validator, zk Summit and zkHack and moreIn 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 transition from staking to proving and investing- Anna’s method for navigating technical interviews and staying on the edge of the space- Why 2025 might be the breakout year for ZK applications and user-facing toolsLinksAnna's Twitter/X: https://x.com/AnnaRRoseSign up for zkSummit: https://www.zksummit.com/ZKV Website: https://zkv.xyz/YouTube: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.youtube.com/@ingo_zk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠GitHub: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://github.com/ingonyama-zk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠LinkedIn: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.linkedin.com/company/ingonyama⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠Join us: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.ingonyama.com/career⁠⁠⁠⁠⁠⁠⁠

With Lukas Helminger, CEO and Co-founder & Lukas Gotz, Product lead and Co-founder at TaceoIn 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 stateWhy combining MPC and ZK unlocks confidential compute with verifiabilityTaceo’s modular stack with Circom, Noir, and support for Groth16, Plonk, and UltraHonkThe upcoming co-SNARK network and infrastructure plans, including a marketplace for computeUse cases like ZKML, dark pools, privacy-preserving stablecoins, and private DeFiPerformance optimizations and the importance of witness generationHow Taceo remains rooted in academia while pushing bleeding-edge research like MPC lookups and collaborative STARKsPerspectives on TEEs and how they complement the co-SNARK model for added trust guaranteesLinksTaceo's Website: https://taceo.io/coSnarks Docs: https://docs.taceo.io/docs/overview/Taceo's Twitter/X: https://x.com/TACEO_IOYouTube: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.youtube.com/@ingo_zk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠GitHub: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://github.com/ingonyama-zk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠LinkedIn: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.linkedin.com/company/ingonyama⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠Join us: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.ingonyama.com/career⁠⁠⁠⁠⁠⁠

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 wayThe architecture behind the World App, smart accounts, and WorldchainA breakdown of their grants program and highlightsTheir new client-side ZK stack to enable privacy-preserving proofs on low-end phonespartnerships in gaming and beyondPrivacy and compliance challenges around biometrics, and how MPC and ZK are used to address themLinksWorld's Website: https://foundation.world.org/World's Twitter/X: https://x.com/worldcoinfndDC's Twitter/X: https://x.com/DCbuild3rYouTube: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.youtube.com/@ingo_zk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠GitHub: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://github.com/ingonyama-zk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠LinkedIn: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.linkedin.com/company/ingonyama⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠Join us: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.ingonyama.com/career⁠⁠⁠⁠⁠⁠

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 logicThe role of client-side proving and what it enables, from privacy to performanceAztec’s early commitment to decentralization and its implications for the networkDeveloper tooling, onboarding, and upcoming milestones like the public testnetUse cases developers are exploring, including private DeFi, identity, and more creative directionsLinksAztec's Website: https://aztec.network/Aztec's Twitter/X: https://x.com/aztecnetworkSandbox: https://aztec.network/sandboxYouTube: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.youtube.com/@ingo_zk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠GitHub: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://github.com/ingonyama-zk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠LinkedIn: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.linkedin.com/company/ingonyama⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠Join us: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.ingonyama.com/career⁠⁠⁠⁠⁠

With Esli, Head of product and ecosystem at MarlinIn 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.Oyster, a framework for easily deploying applications and AI agents in TEEs.TML (TEE Machine Learning) as a faster, more practical alternative to ZKML.Use cases like decentralized frontends, verifiable AI, and secure key management.Challenges and mitigations around TEE trust, side-channel attacks, and reproducibility.LinksWebsite: https://www.marlin.org/Oyster: https://www.marlin.org/oysterKalypso: https://kalypso.org/YouTube: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.youtube.com/@ingo_zk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠GitHub: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://github.com/ingonyama-zk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠LinkedIn: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.linkedin.com/company/ingonyama⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠Join us: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.ingonyama.com/career⁠⁠⁠⁠

With Michael Dong, Co-founder at Brevis NetworkThis 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 using ZK for cross-chain validation.Practical use cases, including dynamic DeFi applications, automated token distribution, and verifiable AI inference.AI meets ZK, leveraging verifiable machine learning to ensure trust in AI-powered financial automation.The road ahead, focusing on optimizing ZK proving costs, integrating with DeFi and RWA projects, and pushing for real-world adoption.LinksWebsite: https://brevis.network/Pico Docs: https://pico-docs.brevis.network/Brevis Twitter/X: https://x.com/brevis_zkYouTube: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.youtube.com/@ingo_zk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠GitHub: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://github.com/ingonyama-zk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠LinkedIn: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.linkedin.com/company/ingonyama⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠Join us: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.ingonyama.com/career⁠⁠⁠⁠