🍫 New Snark Chocolate Episode 🍫 Sunscreen’s FHE Future Spotify: open.spotify.com/episode/13vN... Apple Podcasts: podcasts.apple.com/il/podcast/s... YouTube: youtu.be/T3VPcSoEZpIJ... Snark Chocolate Club on Telegram: t.co/MFS6tXK6fe

📢 Introducing ICICLE-Halo2 v2 Our almost-native GPU, blazing-fast Halo2-EZKL Fork. 🏎️Technical writeup: ingonyama.com/post/2-fast-... 👩‍💻Code: github.com/ingonyama-zk...

🍫 New Snark Chocolate Episode 🍫 Tinfoil's Confidential AI Spotify: open.spotify.com/episode/0eq7... Apple Podcasts: podcasts.apple.com/il/podcast/s... YouTube: youtu.be/zk5YbcxgsDA Join Snark Chocolate Club on Telegram: t.co/MFS6tXK6fe

🚀 ICICLE v4 Release Notes 🚀 What's New in v4? 1. Lattices: Unleash new possibilities in lattice-based cryptography, offering advanced capabilities and optimized performance. 2. DevEx Improvements: Experience enhanced developer productivity 👉Start here: ingonyama.com/post/icicle-...

🍫 New Snark Chocolate Episode We sat down with Jay Prakash, Co-founder & CEO of Silence Labs, to talk: 🔐 Silent Shard: MPC-based key management 🧠 Silent Compute: private multiparty data processing 🏦 GTM focus: banks & financial institutions 🛠️ Roadmap to privacy-as-a-service Links in first reply 👇

When ZEROBASE needed faster real-time ZK proof generation at scale, they turned to ICICLE. 🥶 ZEROBASE has deployed a suite of high-performance ZK apps across mobile, edge, and web. With ICICLE, latency dropped across the board 🔥 Explore the case study here: 🔗 www.ingonyama.com/post/case-st...

Miden Blockchain: Edge-First, ZK-Native The latest SNARK CHOCOLATE is served, hot and fresh! 🍫 This week we sat down with Bobbin Threadbare, co-founder Miden, about designing a new blockchain protocol from the ground up around client-side proving — an "edge blockchain". 🎧 Links to listen below👇

Over the past year, we've worked with Cornami and seen exciting results on ZK primitives. In the blog we report 10x–100x speedup compared to NVIDIA GPUs. Thanks to ICICLE’s modular backend design, we can easily plug in new compute and deliver speedups to users.

ICICLE just got a powerful new backend🧊 We’re partnering with Cornami to bring their FracTLcore compute fabric into the ICICLE cryptographic acceleration framework The result is the ZPU, a new ICICLE-powered backend built to scale Zero-Knowledge Proof performance www.ingonyama.com/post/ingonya...

"Universal Proof Market with Fermah" The latest SNARK CHOCOLATE is live! 🍫 We sat down with Vanishree Rao, founder of Fermah, to explore how they're building a universal proof marketplace for fast, cost-efficient, real-world ZK adoption. 🎧 Listen now 🔽 Spotify (below) ⤵️ Apple Pods (3rd post)

🍁 Fresh from zkSummit 13 in Toronto: Yuval Domb joined Ulrich Haböck from StarkWare to present: Laurent STARKs Laurent STARKs (formerly known as RC-STARKs) are the latest addition to the family of STARKs over the circle curve. They operate over M31, and support standard FFT, IOP, and FRI. Link⬇️

Brewing Interoperability with Espresso Systems The latest SNARK CHOCOLATE is piping hot! ☕️ In this episode, we sat down with Ben Fisch, co-founder & CEO Espresso Systems, about building a fast confirmation layer for L2s. 🎧 Listen now: 🔽 Spotify (next post) ⏬ Apple Podcasts (following post)

More Fancy Math coming soon!

This was a great conversation!

A fresh episode of Snark Chocolate just dropped! 🍫 We sat down with Chad Fowler @chadfowler.com — jazz musician, technologist, author, CTO, and general partner at @blueyard.com It’s a wide-ranging and inspiring conversation! 🎧 Don’t miss this one 🔽 Spotify link below ⏬ Apple Podcast in 3rd post

How do you talk meaningfully about technical topics outside your expertise? Hear how Anna Rose does it in this engaging clip from her appearance on Snark Chocolate 🍫

Privacy. Storage. Identity. Sui’s Suite, Unpacked The latest SNARK CHOCOLATE is out! 🍫 We sat down with Deepak Maram from Mysten Labs to dive into SUI's cryptography-driven roadmap and products. 🎧 Listen now: 🔽 Spotify (next post) ⏬ Apple Podcasts (following post)

ICICLE v3.8 also upgrades our accelerated hash functions. Check out the throughput comparison against NVIDIA’s cuPQC. Start here 👉 github.com/ingonyama-zk...

Ingonyama at ICLR 2025! 🇸🇬 Our colleagues Tomer and Queenie are in Singapore this week, presenting cutting-edge research. They will present: Provable Watermark Extraction: Introducing zkDL++, a novel framework for provable AI. Are you in Singapore and want to connect? Reach out and get in touch!

It’s FRI DAY 🧊 ICICLE v3.8 introduces a fully optimized CUDA + CPU implementation of FRI Go hands-on 👇 FRI API documentation: dev.ingonyama.com/icicle/primi... v3.8 Release Notes: github.com/ingonyama-zk...

The latest SNARK CHOCOLATE pod is live! 🍫 We sat down with Anna Rose to talk about building Zero Knowledge FM, ZK Summit, ZKV and ZK Hack 🔥 🎧 Listen now: 🔽 Spotify (next post) ⏬ Apple Podcasts (following post)

How long does it take ICICLE to switch from CPU to GPU? About as long as it takes to read this tweet. 🎬 Quick demo: ICICLE-Snark running on both CPU and GPU (It's the fastest Groth16 prover on earth) 📱 Mobile support coming soon (talk to us about mobile proving!) MIT-licensed code in next post👇

TACEO: Collaborate to Prove SNARK CHOCOLATE is back with a brand-new edition! 🎙️ We sat down with Lukas Helminger and Lukas Götz from TACEO to talk about their novel architecture that combines MPC and ZK to unlock collaborative, verifiable computation Listen on Spotify ⬇️ or Apple Podcasts ⏬

ICICLE v3.7 introduces accelerated Pairings! For the first time, we’re releasing a feature alongside its companion paper: “Pairing for ICICLE” by Tomer Solberg 📄 github.com/ingonyama-zk... The paper is a good standalone resource covering pairings, relevant algorithms, and implementation details.

ICICLE v3.7 is here 🧊 Implement high-speed cryptography protocols in Go with GPU acceleration via Apple Metal — fast, clean, client-side proving. Now w/ native support for Goldilocks field✨ 🎩 First to submit a research grant w/ Goldilocks arithmetic – double the reward github.com/ingonyama-zk...

Welcome to the Real World 😎 The latest SNARK CHOCOLATE pod is live! This week, we sat down with dcbuilder.eth from World, to talk about building identity infrastructure for the age of AI Listen on Spotify or Apple Podcasts with the links below 👇

We refreshed the Research Grants for 2025! This update highlights 2 grant recipients we’re excited about — accelerating Threshold Encryption & Collaborative zk-SNARKs. $100,000+ in grants for pushing the limits of cryptography performance with ICICLE. Learn more: www.ingonyama.com/post/ingonya...

BaseFold±: A Simple Improvement to BaseFold's Multilinear Polynomial Commitment Scheme using Point-Check Another brilliant contribution by Yuval Domb. Read more: hackmd.io/@Ingonyama/p...

Aztec: Privacy by Design ☂️ The latest SNARK CHOCOLATE pod is here! 🍫 This week, we sat down with Lisa Akselrod from Aztec Network, to unpack how they’re building a fully decentralized, privacy-first Layer 2 Spotify & Apple Podcasts links below!

Hardware-Friendliness of HyperPlonk, Part 2 New blog drop: Our latest deep dive profiles Sumcheck on GPU using ICICLE — and uncovers one major bottleneck: memory access 🧠 📉 Why compute isn’t the problem — and what to do about it: hackmd.io/@Ingonyama/H...

Traveling to Sofia for ZKProof or @rwc.iacr.org? Don’t miss @omershlomovits.bsky.social at ZK Hack! He’ll present: The Current State of ZKP Hardware & Applications Here's a sneak peek at ZK in gaming—running client-side on the same GPU, in parallel with game graphics 👀 Sign up below 👇

@ingonyamazk.bsky.social shared benchmarks for their Groth16 prover implementation ICICLE-Snark, highlighting how hardware acceleration dramatically speeds up Groth16 Note: medium.com/@ingonyama/i...

Pico: Brevis’ High-Performance zkVM The latest SNARK CHOCOLATE pod just dropped!🎙️ This week, we sat down with Michael Dong, cofounder of Brevis, to break down ZK-powered verifiable computation. 🔹 Evolution 🔹 Pico’s role 🔹 ZK for interoperability 🔹 Real-world use cases 🔹 AI meets ZK 🔹 What’s next

ICICLE Goes Metal! Introducing ICICLE v3.6, now with Metal backend support for blazing-fast cryptographic acceleration 🍎 This update also includes enhanced ICICLE sumcheck performance and an early version of lattice support. Read more: medium.com/@ingonyama/i...

Introducing DeepProve: Lagrange's ZKML Breakthrough The latest SNARK CHOCOLATE pod is live! 🎙️ This week, we spoke with Ismael H-R, founder & CEO of Lagrange, about DeepProve, their cutting-edge zkML prover reshaping verifiable AI. 🎧 Listen now: 🔽 Spotify (2nd post) ⏬ Apple Podcasts (3rd post)

Big thanks to @ingonyamazk.bsky.social & zkVerify for coming as partners of our ZK Hack Meetup in Sofia! If you're in town for @zkproof.org or @rwc.iacr.org , join us to mingle with other zk-enthusiasts & listen to (en)lightning talks on March 26 from 5PM! (for registration link, check out below)

Optimizing proof generation for the Aztec Provernet through Kalypso Prover 👀 Catch this informative talk by Roshan Raghupathy of Marlin Protocol! Brilliant insights on enhancing efficiency in the Aztec Network Provernet—straight from the stage at ZK Accelerate. www.youtube.com/watch?v=sAnF...

Yuval Domb from @ingonyamazk.bsky.social published a paper introducing a novel perspective on modular reduction algorithms, presenting a Barrett-Montgomery duality and a more efficient algorithm, while showing how these methods can be interchangeably applied. hackmd.io/@Ingonyama/B...

ZKP2P: Trustless On-Offramp Powered by ZKTLS The latest SNARK CHOCOLATE pod is live! 🎙️ This week, we spoke with Sachin Kumar, co-founder @ ZKP2P, about building a fast, trust-minimized, and composable P2P on-off ramp using ZK proofs. 🎧 Listen now: 🔽 Spotify (2nd post) ⏬ Apple Podcasts (3rd post)

Barrett-Montgomery modular reduction, reimagined. A novel multi-precision algorithm that reduces computational complexity from n² + n to n² + 1 digit multiplications—significantly boosting performance in key primitives like NTT. Groundbreaking work by Yuval Domb. hackmd.io/@Ingonyama/B...

Zircuit x ICICLE: Turbocharging ZK performance 😼 Zircuit accelerates Zero-Knowledge Proof generation with ICICLE 🧊—boosting efficiency and slashing computational overhead in its high-performance, AI-enhanced rollup. Read the case study: 🔗 ingonyama.com/blog/case-st...

SNARK CHOCOLATE is back! 🍫 with Aleo: Privacy-Preserving Smart Contracts This week, we sat down with Howard Wu, cofounder Aleo and CEO Provable, to dive deep into building decentralized, privacy-preserving applications. 🎧 Listen now: 🔽 Spotify open.spotify.com/episode/4HiO... or Apple Pods ⬇️

It was great hosting Vlad for the summer!

TEE Finds PMF in AI with Phala 👀 The latest episode of SNARK CHOCOLATE is live! 🍫 This week, we spoke with Marvin Tong, cofounder of Phala Network, on how Phala removes centralized trust in Web3 with cryptography and TEEs 🔥 🎧 Listen now: 🔽 Spotify (2nd post) ⏬ Apple Podcasts (3rd post)

ICICLE V3.5: Sumcheck with Lambda Functions ⛄️ ICICLE now supports a fully CUDA-optimized Sumcheck API for arbitrary functions over multilinear polynomials. New in V3.5: ✅ Sumcheck API ✅ Proof-of-work for FRI-like protocols ✅ Poseidon2 sponge function ✅ Bug fixes & performance improvements 1/2 👇

Introducing AIR-ICICLE❄️ Plonky3 meets ICICLE—write AIR circuits in Plonky3, generate traces in ICICLE, and build custom STARK provers with GPU acceleration A major breakthrough, enabling Plonky3 users to leverage ICICLE for high-speed proving 🙏 to Polygon & Plonky3 teams hackmd.io/@Ingonyama/a...

Check out this insightful talk from ZK Accelerate by Gevulot Labs, the brains behind the ZKcloud 📺 Norbert Vadas presented: How to Start Proving on Gevulot Firestarter 🔥 ZKAccelerate 4 is coming... 🇨🇦 www.youtube.com/watch?v=Wgq6...

Physical Cryptography with Cursive 🍫 The latest SNARK CHOCOLATE pod is live! This week, we chatted with Vivek and Rachel of Cursive, a studio blending cryptography, design, and NFC tech for human connection 🪄 • Blending ZK Identity with design and NFC for tangible, user-friendly experiences 👇🧵4

ICICLE V3.4 is out 🧊 Highlights: 1. Improved CPU MSM (see figure) 2. Blake 3 CPU + CUDA Release Notes: github.com/ingonyama-zk... (*) Dev Docs: dev.ingonyama.com/icicle/overv... Research Grants: www.ingonyama.com/blog/ingonya... (*) yes, also Vulkan 🤯