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

Neptune's Twitter/X: https://x.com/seagodcrypto

Neptune 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 audits

Links

Least Authority X/Twitter: https://x.com/LeastAuthority

Website: 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:

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 custody

Links

Giza's Website: https://www.gizatech.xyz/

Giza's Twitter/X: https://x.com/gizatechxyz

LuminAIR: https://github.com/gizatechxyz/LuminAIR

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⁠⁠⁠⁠⁠⁠

本期嘉宾：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_labs

Primus 开发者中心: https://dev.primuslabs.xyz/

Primus 打赏: https://pay.primuslabs.xyz/

技术文档：⁠https://docs.primuslabs.xyz/

YouTube：⁠https://www.youtube.com/@ingo_zk

GitHub：⁠https://github.com/ingonyama-zk

LinkedIn：⁠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 AI

Links

Flashbots Website: https://www.flashbots.net/

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 Miden

Links

Miden's Website: https://miden.xyz/

Miden's Twitter/X: https://x.com/0xMiden

Bobbin's Twitter/X: https://x.com/bobbinth

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 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

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 apps

Links

Espresso's X/Twitter: https://x.com/EspressoSys

Ben's X/Twitter: https://x.com/benafisch

Espresso 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.

Links

Blueyard's Webpage: https://blueyard.com/

Blueyard's Twitter/X: https://x.com/blueyard

Chad's Twitter/X: https://x.com/chadfowler?lang=en

Chad's Music: https://www.youtube.com/channel/UCs86QkXYIQl1mjdwlXwwK3A

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