Snark Chocolate – Details, episodes & analysis

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