Omer Shlomovits

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

lattirust Lattice zero-knowledge/succinct arguments, and more - lattirust

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)

Next accelerated PQC, PIR, all the way to FHE. If you are interested in early access, influence features and API design, please get in touch asap. Thank you!

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)

WhatsApp Is Gambling That It Can Add AI Features Without Compromising Privacy WhatsApp's AI tools will use a new “Private Processing” system designed to allow cloud access without letting Meta or anyone else see end-to-end encrypted chats. But experts still see risks.

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+- - HackMD A Simple Improvement to BaseFold's Multilinear Polynomial Commitment Scheme

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 - HackMD Sumcheck memory bound

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: v3.6 Introducing ICICLE v3.6, bringing support for the Metal backend.

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)

The Barrett-Montgomery duality - HackMD A new multi-precision modular reduction scheme with only n^2+1 digit multiplications!

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

🧵👇

MPC Alliance Announces a New President and Changes To The Board of Directors — MPC Alliance The MPC Alliance is pleased to announce that Clarisse Hagège , (Dfns) has been elected by the board to become President of the MPC Alliance, effective March 1, 2025, filling the vacancy that will b...

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 👇