iiinova — where your digital self keeps evolving

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

🍫 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

open.spotify.com

#42 | Sunscreen: FHE for all Devs

Snark Chocolate · Episode

030

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

🍫 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

010

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

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

ingonyama.com

ICICLE v4: Lattice-Based Cryptography and Better DevEx

ICICLE v4 introduces support for lattice-based cryptography, enabling a new class of post-quantum and privacy-preserving applications. Lattices provide a strong foundation for post-quantum cryptograph...

020

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

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

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

000

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

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👇

100

Reposted by Ingonyama ZK

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

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

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

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

100

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

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

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

More Fancy Math coming soon!

030

Reposted by Ingonyama ZK

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

This was a great conversation!

032

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

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

111

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

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 🍫

010

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

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

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

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

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

020

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

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

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👇

100

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

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 ⏬

100

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

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.

github.com

010

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

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

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

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

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

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

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

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

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

medium.com

ICICLE-Snark: The Fastest Groth16 Implementation in the World

By Emir Soytürk

111

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

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

110

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

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

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)

110

Reposted by Ingonyama ZK

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

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

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

youtube.com

Optimizing proof generation for the Aztec Provernet through Kalypso, by Roshan Raghupathy of Marlin

YouTube video by Ingonyama

000

Reposted by Ingonyama ZK

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

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

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)

110

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

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

hackmd.io

The Barrett-Montgomery duality - HackMD

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

010

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

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

ingonyama.com

Case Study: Accelerating Zircuit’s Zero-Knowledge Proofs with ICICLE

This case study explores how Zircuit integrated Ingonyama’s ICICLE software library to accelerate its cryptographic computations, improving performance and reducing costs.

010

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

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

It was great hosting Vlad for the summer!

010

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

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)

100

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

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

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

020

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

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

youtube.com

How to Start Proving on Gevulot Firestarter? by Norbert Vadas of Gevulot

YouTube video by Ingonyama

010

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

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

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 🤯

010