iiinova — where your digital self keeps evolving

Reposted by Omer Shlomovits

Ingonyama ZK @ingonyama.com · 16/07/2025

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

122

Omer Shlomovits @omershlomovits.bsky.social · 28/05/2025

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.

021

Reposted by Omer Shlomovits

Ingonyama ZK @ingonyama.com · 28/05/2025

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

121

Reposted by Omer Shlomovits

Ingonyama ZK @ingonyama.com · 26/05/2025

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

121

Reposted by Omer Shlomovits

Christian Knabenhans @cknabs.bsky.social · 20/05/2025

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.

111

Reposted by Omer Shlomovits

Christian Knabenhans @cknabs.bsky.social · 20/05/2025

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

github.com

lattirust

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

23216

Reposted by Omer Shlomovits

Ingonyama ZK @ingonyama.com · 14/05/2025

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)

111

Omer Shlomovits @omershlomovits.bsky.social · 09/05/2025

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

130

Reposted by Omer Shlomovits

Chad Fowler @chadfowler.com · 07/05/2025

This was a great conversation!

032

Reposted by Omer Shlomovits

Ingonyama ZK @ingonyama.com · 30/04/2025

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)

111

Reposted by Omer Shlomovits

Ingonyama ZK @ingonyama.com · 28/04/2025

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

011

Reposted by Omer Shlomovits

Ingonyama ZK @ingonyama.com · 27/04/2025

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!

031

Reposted by Omer Shlomovits

Ingonyama ZK @ingonyama.com · 24/04/2025

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)

121

Reposted by Omer Shlomovits

Ingonyama ZK @ingonyama.com · 14/04/2025

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

011

Reposted by Omer Shlomovits

Ingonyama ZK @ingonyama.com · 10/04/2025

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 👇

121

Reposted by Omer Shlomovits

Ingonyama ZK @ingonyama.com · 07/04/2025

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

021

Reposted by Omer Shlomovits

Ingonyama ZK @ingonyama.com · 06/04/2025

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

hackmd.io

BaseFold+- - HackMD

A Simple Improvement to BaseFold's Multilinear Polynomial Commitment Scheme

011

Reposted by Omer Shlomovits

Ingonyama ZK @ingonyama.com · 03/04/2025

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!

101

Reposted by Omer Shlomovits

Ingonyama ZK @ingonyama.com · 31/03/2025

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

hackmd.io

Hardware-Friendliness of HyperPlonk, Part 2 - HackMD

Sumcheck memory bound

022

Reposted by Omer Shlomovits

Ingonyama ZK @ingonyama.com · 21/03/2025

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 👇

111

Reposted by Omer Shlomovits

Ingonyama ZK @ingonyama.com · 17/03/2025

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

medium.com

ICICLE Goes Metal: v3.6

Introducing ICICLE v3.6, bringing support for the Metal backend.

011

Reposted by Omer Shlomovits

ZK Hack @zkhack.dev · 12/03/2025

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)

133

Reposted by Omer Shlomovits

ZK Hack @zkhack.dev · 07/03/2025

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

hackmd.io

The Barrett-Montgomery duality - HackMD

A new multi-precision modular reduction scheme with only n^2+1 digit multiplications!

134

Reposted by Omer Shlomovits

ZK Hack @zkhack.dev · 07/03/2025

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

152

Reposted by Omer Shlomovits

Dan Bogdanov @danbogdanov.bsky.social · 02/03/2025

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

mpcalliance.org

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

022

Reposted by Omer Shlomovits

Ingonyama ZK @ingonyama.com · 26/02/2025

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

111

Reposted by Omer Shlomovits

Giacomo Fenzi @giacomofenzi.bsky.social · 25/02/2025

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!

111

Reposted by Omer Shlomovits

Ingonyama ZK @ingonyama.com · 18/02/2025

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 👇

121

Omer Shlomovits @omershlomovits.bsky.social · 05/02/2025

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

000

Reposted by Omer Shlomovits

Martin R. Albrecht @malb.bsky.social · 02/02/2025

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

rwc.iacr.org

RWC 2025 accepted papers

Real World Crypto Symposium

32917

Omer Shlomovits @omershlomovits.bsky.social · 28/01/2025

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

010

Omer Shlomovits @omershlomovits.bsky.social · 28/01/2025

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

000

Reposted by Omer Shlomovits

Stefano Tessaro @stefanotessaro.bsky.social · 27/01/2025

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.

0207

Reposted by Omer Shlomovits

Lewis @siwelthelongboi.bsky.social · 25/01/2025

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

2111

Reposted by Omer Shlomovits

Ingonyama ZK @ingonyama.com · 22/01/2025

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

111

Reposted by Omer Shlomovits

Ingonyama ZK @ingonyama.com · 15/01/2025

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 👇

122

Reposted by Omer Shlomovits

Ingonyama ZK @ingonyama.com · 08/01/2025

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)

111

Omer Shlomovits @omershlomovits.bsky.social · 02/01/2025

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

111

Reposted by Omer Shlomovits

Ingonyama ZK @ingonyama.com · 02/01/2025

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

021

Reposted by Omer Shlomovits

Ingonyama ZK @ingonyama.com · 02/01/2025

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

121

Reposted by Omer Shlomovits

Ingonyama ZK @ingonyama.com · 27/12/2024

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

031

Reposted by Omer Shlomovits

Ingonyama ZK @ingonyama.com · 25/12/2024

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

011

Reposted by Omer Shlomovits

Ingonyama ZK @ingonyama.com · 25/12/2024

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 👇

121

Reposted by Omer Shlomovits

Tom Gur @tomgur.bsky.social · 01/12/2024

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

youtube.com

Reading Alan Turing - Avi Wigderson

YouTube video by Institute for Advanced Study

310420

Reposted by Omer Shlomovits

Giacomo Fenzi @giacomofenzi.bsky.social · 19/12/2024

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

132

Reposted by Omer Shlomovits

Ingonyama ZK @ingonyama.com · 11/12/2024

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

072

Reposted by Omer Shlomovits

Ingonyama ZK @ingonyama.com · 03/12/2024

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

021