Snark Chocolate (Ingonyama)

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

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

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 exploring decentralized tech.

• Mentioned future potential in combining ZKPs with generative AI for innovative applications.

Links

Jonathan Rouach’s Twitter/X: https://x.com/jonrouach

https://qed-it.com/

https://zkproof.org/

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

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

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⁠

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.

• Positioned Align as adaptable for all proof types, enhancing interoperability.

• Mentioned Align’s focus on usability, planning a hackathon to ease Web2 developer transition to ZK.

• Emphasized Lambda Class's culture of adaptability and rapid learning as key to Align’s success.

Links

Aligned X/Twitter: https://x.com/alignedlayer

Francisco Strambini X/Twitter: https://x.com/fran_strambini

https://alignedlayer.com/

https://lambdaclass.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

With Anurag Arjun, Founder at Avail

Links

Anurag's X/Twitter: ⁠⁠https://x.com/anuragarjun⁠

⁠https://www.availproject.org/⁠

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

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

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 rollup focusing on real-time proving and composability with other based rollups.
• Key milestones for 2025, including onboarding more provers on-chain, achieving 100% zk coverage for proving, and advancing toward Stage 1 for Taiko.
• A forward-looking vision aligned with Ethereum’s snarkification roadmap, aiming to enhance scalability and composability while preserving decentralization and user experience.

Links
Brecht's X/Twitter: ⁠https://x.com/Brechtpd⁠
Taiko's X/Twitter: ⁠https://x.com/taikoxyz⁠

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

With Matej Yangwao & Daniel Exponent, 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 exciting research challenges of operating in orbit. With their first nodes launching soon, the future of space-based compute is closer than ever.

Links

SpaceCoin's Website: https://www.spacecoin.xyz/

Daniel's X/Twitter: https://x.com/semicondurian

Matej's X/Twitter: https://x.com/yangWao

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 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 breakdown of their grants program and highlights
• Their new client-side ZK stack to enable privacy-preserving proofs on low-end phones
• partnerships in gaming and beyond
• Privacy and compliance challenges around biometrics, and how MPC and ZK are used to address them

Links

World's Website: https://foundation.world.org/

World's Twitter/X: https://x.com/worldcoinfnd

DC's Twitter/X: https://x.com/DCbuild3r

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

  
  

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 marketing with ambassador  program and a look in 2025 plans

Links

Orochi's Website: https://www.orochi.network/

Orochi's Twitter/X: https://x.com/OrochiNetwork

Chiro's Twitter/X: https://x.com/Chiro8x

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

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

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,

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 collaboration with clients in Web3 and beyond. Tomer highlighted their work on Polygon Miden's as an example of impactful innovation.
• Tomer also discussed the 3MI's academic collaborations, dual focus on applied and theoretical cryptography, and philosophy of fostering confidence in cryptographic primitives through rigorous analysis.
• Tomer Reflected on the state of programable cryptography, Web3's collaborative spirit and its role in accelerating the adoption of these technologies. _🪙

Links

3MI website: https://www.3milabs.tech/

Tomer's X/Twitter: https://x.com/TomerAshur

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 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 explore Inversed Tech’s |three m-ain i-deas:| security, programmability, and identity, and how they’re enabling impactful solutions.
• Daniel shares his vision for a ZK MPC VM and the challenges of making cryptography usable beyond blockchain applications.
• We hear about the unique coaching framework Daniel has implemented at Inversed Tech, creating a mindful, connected, and growth-oriented work environment.
• Daniel reflects on the role of blockchain in advancing cryptography and shares his thoughts on driving adoption in real-world use cases.
• Finally, Daniel shares his bullish take on Worldcoin and its potential to redefine digital identity through secure and scalable technology.

Links

Inversed Tech Website: https://inversed.tech/

Daniel's X/Twitter: https://x.com/benarrochdaniel?lang=en

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 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 to a vertically integrated solution. 
• We learn what exciting apps and PoCs devs have been building on top of R0 ZKVM, commercially and in hackathons
• We go deep into Boundless, a universal zk stack: what it is, upcoming milestones, mechanism design, and more

Links

Boundless: https://beboundless.xyz/

Jeremy's X/Twitter: https://x.com/BruestleJeremy

Brett's X/Twitter: https://x.com/Xi_195

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

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-friendly experience of the Freedom Tool for non-crypto users and the trust barriers in using new ZK tech.

• Highlighted Rarimo's impact on civic tools and prediction markets, supporting privacy in democratic participation.

Links

https://rarimo.com/

Kitty's X/Twitter: https://x.com/Kitty__Jenny

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

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 significant cost savings, offering a more affordable alternative to traditional services like AWS.
• We address the technical and economic challenges involved in building a decentralized, permissionless prover network.
• Finally, we examine Gevulot’s vision for scalable, decentralized computing and its potential impact on the future of zero-knowledge technology.

Links

Teemu Päivinen's X/Twitter: https://x.com/teemupai

https://www.gevulot.com/https://www.gevulot.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

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

Links

Website: https://brevis.network/

Pico Docs: https://pico-docs.brevis.network/

Brevis Twitter/X: https://x.com/brevis_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 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 importance of community bonds for developer retention and ecosystem growth.

• Compared Starknet to other L2 solutions, highlighting its unique advantages in ZK technology and cross-chain capabilities.

Links

https://starkware.co/

https://github.com/keep-starknet-strange  

https://www.starknet-ecosystem.com/

Louis Gutmann's X/Twitter: https://x.com/GuthL

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

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

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 decentralization and its implications for the network
• Developer tooling, onboarding, and upcoming milestones like the public testnet
• Use cases developers are exploring, including private DeFi, identity, and more creative directions