Sign up to save your podcasts
Or
Share Snark Chocolate
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
Snark Chocolate episodes
- #22 | Introducing DeepProve: Lagrange's ZKML Breakthrough
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 proofs to ensure trust, safety, and privacy in machine learning models.
- Expanding the design space, from DeFi automation and natural language wallets to provable medical diagnostics and AI governance.
- Scaling verifiable compute, leveraging Lagrange’s Prover Network to bring ZKML from theory to production at global scale.
- The long-term vision, where every AI model, from financial automation to AGI, runs with cryptographic guarantees of security and correctness.
Links
Lagrange Website: https://www.lagrange.dev/
Read more about DeepProve: https://www.lagrange.dev/blog/announcing-deepprove-zkml
Lagrange's Twitter/X: https://x.com/lagrangedev
Ismael's Twitter/X: https://x.com/Ismael_H_R
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
46 min - #21 | ZKP2P: Trustless On-offramp Powered by ZKTLS
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 contracts for escrow and ZK proofs for dispute resolution
- Key upgrades in V2, including modular escrow contracts, a shift from ZKEmail to ZKTLS, and improved privacy protections
- Future goals, such as expanding geographical coverage, enabling instant off-ramping, and embedding the protocol into wallets for seamless onboarding
- Decentralization challenges, including improving the proving experience and reducing reliance on trusted attesters.
- Long-term vision, integrating private smart contracts and composability with other ZK-based infrastructure like Aztec.
Links
ZKP2P Website: https://zkp2p.xyz/
Sachin's Twitter / X: https://x.com/0xSachinK
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
43 min - #20 | Aleo: Privacy-Preserving Smart Contracts
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 ecosystem, including the Leo programming language, SDKs, and privacy-preserving wallets that enable seamless integration of ZK applications.
- Trade-offs in building a private blockchain, balancing speed, usability, and compliance while ensuring robust security for users.
- ZK for compliance, offering tools like view keys and selective disclosure mechanisms to enable regulatory-friendly privacy solutions.
- Applications and ecosystem growth, spanning ZK-powered DeFi (ZeFi), private identity verification, confidential transactions, and even hidden-state gaming.
- AI and ZKML, exploring how ZK can enable provable AI agents, decentralized inference, and privacy-preserving machine learning on-chain.
- Hybrid consensus design, combining proof-of-work incentives with proof-of-stake for long-term sustainability.
- Future roadmap, focusing on hardware acceleration for ZK proofs, governance evolution, and expanding privacy solutions beyond blockchain.
Links
Howard Wu's Twitter/X: https://x.com/1HowardWu
Provable's Twitter/X: https://x.com/ProvableHQ
Aleo's Twitter/X: https://x.com/AleoHQ
Learn more:
https://aleo.org/blog/
https://provable.com/blog
https://aleo.org/grants/
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
57 min - #19 | Phala: TEE Finds PMF in AI
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 developers and enterprises.
- TEE as a Web3 infrastructure, enabling off-chain computation with verifiability, used in AI, DeFi, and decentralized identity.
- The role of DStack, Phala Cloud, and TEE-as-a-service, providing accessible tools for developers to deploy secure computation environments.
- Phala 2.0 and the move to an OP-succinct Layer 2, making TEE more accessible for Ethereum developers while maintaining decentralization.
- AI and Web3, from verifiable inference to autonomous AI agents with secure on-chain interoperability—shaping the future of collective intelligence and unlocking new economic potential.
Links
Phala's Website: https://phala.network/
Marvin's X/Twitter: https://x.com/marvin_tong
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
53 min - #18 | The Fhenix Guys Talk FHE
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.
Thedesign of an FHE rollup, where transactions are encrypted client-side, computations occur on encrypted data, and decryption is handled through a decentralized threshold network.
Impact on MEV, as encrypted transactions significantly reduce extractable value opportunities while improving security and privacy for users.
Interoperability challenges, addressing how encrypted data flows across different chains and rollups, and how FHE changes assumptions in blockchain design.
Threshold decryption breakthroughs, enabling high-throughput decryption for real-world use cases like confidential DeFi and private OTC trading.
Future vision, including FHE’s role in AI, confidential stablecoins, and verifiable computations beyond Web3, with hardware acceleration paving the way for scalable encrypted computing.
Links
Fhenix Website:https://www.fhenix.io/
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
48 min - #17 | ZKML with EZKL
WithDante, CTO atEZKL
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-world applications in DeFi and emerging use cases in ZK identity
- Future-proofing with modular design,
Links
EZKL Website:https://ezkl.xyz/
EZKL Repository:https://github.com/zkonduit/ezkl
Dev Docs:https://docs.ezkl.xyz/
EZKL's Twitter/X:https://x.com/ezklxyz
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
41 min - # 16| OpenVM with Yi Sun and Jonathan Wang
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
Johnathan's Twitter/X: https://x.com/jonathanpwang
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
47 min - #15 | Physical cryptography with Cursive
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 with physical ZK activations, such as using NFC cards to create verifiable social graphs, private POAPs, and interactive quests for events like Zuzalu and DevConnect.
Insights into their research on multi-party FHE and their innovative Trinity protocol, combining MPC and ZK for low-latency, verifiable computations.
A thoughtful approach to expanding beyond niche tech communities by exploring applications in real-world contexts like universities, co-living spaces, and broader tech environments.
A vision for the intersection of cryptography and AI, aiming to enhance data ownership, privacy, and meaningful connections through local-first AI models and innovative hardware integration.
Links
Cursive's Twitter/X: https://x.com/cursive_team
Vivek's Twitter/X: https://x.com/viv_boop
Rachel's Twitter/X: https://x.com/rachel_aux
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
47 min - # 14 | Zama : the craft of building FHE products
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 applications in privacy-preserving machine learning and blockchain.
Insights into Zama’s products, including TFHE-rs for core encryption, Concrete and Concrete ML for encrypted computations, and the FHEVM co-processor for scaling encrypted transactions on blockchains like Ethereum.
Discussion on challenges and advancements in FHE, such as performance bottlenecks, scalability through custom hardware, and the integration of cryptographic techniques like ZK proofs and MPC.
Vision for the future, including decentralized KMS solutions, enhancing the usability of encrypted smart contracts, and leveraging FHE for distributed identity, auctions, and gaming.
A forward-looking perspective on cryptographic innovation, focusing on combining solutions like FHE, ZK proofs, and TEs to achieve secure, scalable, and user-friendly applications.
Links
Morten's Twitter/X:https://x.com/mortendahlcs
Zama's Twitter/X: https://x.com/zama_fhe
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
46 min - #13 | Reclaiming the Internet
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 dive into ZKTLS and how Reclaim leverages proxy mode for efficient proof generation, balancing performance and security.
- Reclaim’s approach to developer experience, including comprehensive SDKs and tools for seamless integration across Web2 and Web3 ecosystems.
- Vision for 2025, focusing on background verifications, deals and discounts, and enabling Web2 games with Web3 economics.
- A long-term outlook on the role of verifiability in autonomous systems, aiming to reduce friction in decision-making processes.
Links
Maddy's Twitter/X: https://x.com/madhavanmalolan
Reclaim Protocol's Twitter/X: https://x.com/reclaimprotocol
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
51 min
About Snark Chocolate
From the publisher's feed
A fun spot dedicated to exploring the latest in product innovation for cryptography, privacy, security, and scalability—powered by the magic of Zero Knowledge!