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

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

🍁 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⬇️

What's next? Emile Hreich already explored GPU acceleration in a semester project, based on @ingonyama.com's Icicle, since lattice crypto is basically linear algebra over rings. We have promising results, with more coming up soon.

I'm happy to finally open-source lattirust, a library for lattice-based zero-knowledge/succinct arguments! Lattirust is somewhat like arkworks, but for lattices; and like lattigo, but for arguments. ➔ github.com/lattirust

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)

ICICLE v4 will introduce Lattice based cryptography. ETA is one month from now. We will first support lattice based ZK (LaBRADOR, Greyhound, LatticeFold family) 1/2

This was a great conversation!

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)

Good article about the new AI processing features being added to WhatsApp soon. www.wired.com/story/whatsa...

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!

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)

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 👇

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

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)

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

Dear audience, my insight for you today is that ZK will be very, very big. 🔔 Time for #ZKMeshMini, join us as we unpack the top developments from this past week in the zk-space. featuring @ingonyamazk.bsky.social, Primus Labs, Ariel Gabizon, Liam Eagen, @xyz-pierre.bsky.social, PSE & zkSecurity 🧵👇

I am stepping down from the board of the MPC Alliance after nearly five years of work there, including being the Secretary for many of them. Not stopping work on MPC (far from it!). See you at the Real World MPC conference in Sofia in March! www.mpcalliance.org/blog/mpc-all...

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

Amazing new work by Gal and Eylon on how to securely instantiate the Fiat-Shamir transformation and avoid the recent brilliant diagonalization attack of Rothblum, Khovratovich and Soukhanov!

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 👇

My TikTok feed is now full of 50X0 GPUs. Bring me back my cats

The list of accepted talk at @rwc.iacr.org is now available: rwc.iacr.org/2025/accepte... Early registration ends 26 February. CC: programme co-chair @nicksullivan.org

Nvidia Blackwell whitepaper is out! images.nvidia.com/aem-dam/Solu... Most important part, in the image: int32 throughput has doubled. In addition, memory bandwidth almost doubled. Meaning: many ZK primitives will double in performance in just one hardware generation. 🤯 h/t Tony Wu

Nice work led by Jianming Tong enabling efficient FHE on Google TPUs arxiv.org/pdf/2501.07047

I wonder if we can attack more examples where (1) circuits are adaptively chosen by the adversary, and (2) security proof is in the ROM. It always felt like playing with fire (because ROM does not model potential circuit dependence on the hash function), and this work nicely confirms the concern.

My largest redstone creation: an 8-bit binary adder, with registers and overflow. It wasn't the best design even for this scale, but I designed and built every part myself

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

Great talk! youtu.be/-YXCojP8IjE?...

ZAMA: The Craft of Building FHE Products The latest SNARK CHOCOLATE pod is out! 🍫 This week we sat down with Morten Dahl, VP Blockchain Engineering at Zama, to dive into the world of Fully Homomorphic Encryption (FHE) and its applications in blockchain and machine learning (ML). Listen below 👇

Reclaiming the Internet 📶 The latest SNARK CHOCOLATE pod is online 🍫 This week we spoke with Madhavan Malolan, cofounder of Reclaim Protocol, about his journey and how Reclaim is building the API of the internet with zkTLS. Featuring...🧵(1/3)

1/2 Clarification😅: ICICLE design is simple: the front-end provides useful APIs (polynomials, vectors, hash functions, sumcheck, etc..), accessible from Rust/C++/Go, and there are multiple back-ends (CPU, GPU, Apple silicon, and in the future, our hardware).

ICICLE V3.3 is out 🧊 Highlights: 1. Large field NTT is now on par with Arkworks 2. KoalaBear support (thanks 0xPolygon!) Release Notes: github.com/ingonyama-zk... Developer Docs: dev.ingonyama.com/icicle/overv... Research grants: medium.com/@ingonyama/i...

Enter the Dragon: The Rise of Orochi Network The latest SNARK CHOCOLATE pod just hatched 🐉 🍫 This week we spoke with Chiro Hiro, founder Orochi Network, about his journey and the evolution of Orochi’s cutting-edge ZK technologies. Including... (cont. below 👇)

Gnark recently updated ICICLE integration from V0 to V3 🥳 leading to more performance - approx 10x for ECDSA signature verification circuit. If you are using Gnark with GPU, please consider upgrading. Big shout out to Ivo Kubjas, Gautam Botrel and team! github.com/Consensys/gn...

Here are the details: • Choose a research paper • Identify an algorithm with reported benchmarks • Re-implement it using ICICLE • The greater your improvement over the original implementation, the larger the grant For more info: www.ingonyama.com/blog/ingonya...

Ingonyama Research Grants 2025 🎀 Announcing our second grants program: $100,000 dedicated to researchers The Goal: Outperform existing research benchmarks Collaborate with us to accelerate cryptography. See post below 👇

An advent calendar of some of my favourite TCS/Maths talks. Day #1: Avi Wigderson on Reading Alan Turing. It is a gem of a talk, full of insights about Turing's work, writing style, and influences on mathematics and computer science. Pure joy! www.youtube.com/watch?v=_Uk_...

Transparent and post-quantum SNARK verification on Ethereum using WHIR 🌪️! Together with Pierre at EF, we developed a PoC open-source and MIT licensed EVM verifier for WHIR, achieving ~1.5m-2m gas cost for verification. Why is this important? 🧵

3MI Labs: Where Research Meets Industry The latest SNARK CHOCOLATE pod just dropped! 🍫 This week, we spoke with @cryptomer.bsky.social, founder and CEO of 3MI Labs 🔥 Spotify: open.spotify.com/episode/7oSg... Apple Podcasts: podcasts.apple.com/us/podcast/0... #SNARKCHOCOLATE #Web3 #cryptography

ZK Accelerate Bangkok: Videos, Photos & Recap An overview of ZKAB by the numbers - check it out here! www.ingonyama.com/blog/zk-acce...