Omer Shlomovits
@omershlomovits.bsky.social
📤 108
📥 59
📝 14
CEO
@ingonyama.com
| High-speed, fancy cryptography. Loves all languages; speaks only in math.
reposted by
Omer Shlomovits
Ingonyama ZK
3 months ago
🍫 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 👇
1
2
2
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.
add a skeleton here at some point
5 months ago
0
1
1
reposted by
Omer Shlomovits
Ingonyama ZK
5 months ago
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...
loading . . .
1
2
2
reposted by
Omer Shlomovits
Ingonyama ZK
5 months ago
🍁 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⬇️
loading . . .
1
2
1
reposted by
Omer Shlomovits
Christian Knabenhans
5 months ago
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.
1
1
1
reposted by
Omer Shlomovits
Christian Knabenhans
5 months ago
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
loading . . .
lattirust
Lattice zero-knowledge/succinct arguments, and more - lattirust
https://github.com/lattirust
2
32
16
reposted by
Omer Shlomovits
Ingonyama ZK
5 months ago
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)
1
1
1
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
5 months ago
1
3
1
reposted by
Omer Shlomovits
Chad Fowler
5 months ago
This was a great conversation!
add a skeleton here at some point
0
3
3
reposted by
Omer Shlomovits
Ingonyama ZK
6 months ago
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)
1
1
1
reposted by
Omer Shlomovits
Matthew Green
6 months ago
Good article about the new AI processing features being added to WhatsApp soon.
www.wired.com/story/whatsa...
loading . . .
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.
https://www.wired.com/story/whatsapp-private-processing-generative-ai-security-risks/
3
29
19
reposted by
Omer Shlomovits
Ingonyama ZK
6 months ago
ICICLE v3.8 also upgrades our accelerated hash functions. Check out the throughput comparison against NVIDIA’s cuPQC. Start here 👉
github.com/ingonyama-zk...
add a skeleton here at some point
0
1
1
reposted by
Omer Shlomovits
Ingonyama ZK
6 months ago
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!
0
3
1
reposted by
Omer Shlomovits
Ingonyama ZK
6 months ago
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)
1
2
1
reposted by
Omer Shlomovits
Ingonyama ZK
6 months ago
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...
0
1
2
reposted by
Omer Shlomovits
Ingonyama ZK
6 months ago
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 👇
1
2
1
reposted by
Omer Shlomovits
Ingonyama ZK
6 months ago
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...
0
2
1
reposted by
Omer Shlomovits
Ingonyama ZK
6 months ago
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...
loading . . .
BaseFold+- - HackMD
A Simple Improvement to BaseFold's Multilinear Polynomial Commitment Scheme
https://hackmd.io/@Ingonyama/point-check
0
1
1
reposted by
Omer Shlomovits
Ingonyama ZK
6 months ago
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!
1
0
1
reposted by
Omer Shlomovits
Ingonyama ZK
7 months ago
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...
loading . . .
Hardware-Friendliness of HyperPlonk, Part 2 - HackMD
Sumcheck memory bound
https://hackmd.io/@Ingonyama/Hardware-Friendliness-HyperPlonk-Part2
0
2
2
reposted by
Omer Shlomovits
Ingonyama ZK
7 months ago
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 👇
1
1
1
reposted by
Omer Shlomovits
Ingonyama ZK
7 months ago
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...
loading . . .
ICICLE Goes Metal: v3.6
Introducing ICICLE v3.6, bringing support for the Metal backend.
https://medium.com/@ingonyama/icicle-goes-metal-v3-6-163fa7bbfa44
0
1
2
reposted by
Omer Shlomovits
ZK Hack
7 months ago
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)
1
3
3
reposted by
Omer Shlomovits
ZK Hack
7 months ago
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...
loading . . .
The Barrett-Montgomery duality - HackMD
A new multi-precision modular reduction scheme with only n^2+1 digit multiplications!
https://hackmd.io/@Ingonyama/Barret-Montgomery
1
3
4
reposted by
Omer Shlomovits
ZK Hack
7 months ago
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 🧵👇
1
5
2
reposted by
Omer Shlomovits
Dan Bogdanov
8 months ago
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...
loading . . .
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...
https://www.mpcalliance.org/blog/mpc-alliance-announces-a-new-president-and-changes-to-the-board-of-directors
0
2
2
reposted by
Omer Shlomovits
Ingonyama ZK
8 months ago
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 ⬇️
1
1
1
reposted by
Omer Shlomovits
Giacomo Fenzi
8 months ago
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!
1
1
1
reposted by
Omer Shlomovits
Ingonyama ZK
8 months ago
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 👇
1
2
1
My TikTok feed is now full of 50X0 GPUs. Bring me back my cats
8 months ago
0
0
0
reposted by
Omer Shlomovits
Martin R. Albrecht
8 months ago
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
loading . . .
RWC 2025 accepted papers
Real World Crypto Symposium
https://rwc.iacr.org/2025/acceptedtalks.php
3
29
18
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
9 months ago
0
1
0
Nice work led by Jianming Tong enabling efficient FHE on Google TPUs
arxiv.org/pdf/2501.07047
9 months ago
0
0
0
reposted by
Omer Shlomovits
Stefano Tessaro
9 months ago
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.
add a skeleton here at some point
0
21
7
reposted by
Omer Shlomovits
Lewis
9 months ago
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
2
12
3
reposted by
Omer Shlomovits
Ingonyama ZK
9 months ago
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
1
1
1
Great talk!
youtu.be/-YXCojP8IjE?...
loading . . .
abhi shelat: Shackles of legacy | Keynote Address | Decompute '24
YouTube video by Silence Laboratories
https://youtu.be/-YXCojP8IjE?si=9aEHfzyJIpBSsEyf
9 months ago
0
1
0
reposted by
Omer Shlomovits
Ingonyama ZK
9 months ago
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 👇
1
2
2
reposted by
Omer Shlomovits
Ingonyama ZK
9 months ago
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
1
1
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).
add a skeleton here at some point
9 months ago
1
1
1
reposted by
Omer Shlomovits
Ingonyama ZK
9 months ago
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...
0
2
2
reposted by
Omer Shlomovits
Xiao Wang
10 months ago
Yet another attempt to provide language support for MPC. This time we extend LLVM to support oblivious compilation and MPC related optimizations. Turns out that many tools in LLVM can be reused to get competitive performance. Wish it was done 4 year ago with ZK extension :)
@joshbaron.bsky.social
add a skeleton here at some point
1
4
2
reposted by
Omer Shlomovits
Ingonyama ZK
9 months ago
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 👇)
1
2
1
reposted by
Omer Shlomovits
Ingonyama ZK
10 months ago
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...
0
3
2
reposted by
Omer Shlomovits
Ingonyama ZK
10 months ago
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...
0
1
1
reposted by
Omer Shlomovits
Ingonyama ZK
10 months ago
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 👇
1
2
1
reposted by
Omer Shlomovits
Tom Gur
11 months ago
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_...
loading . . .
Reading Alan Turing - Avi Wigderson
YouTube video by Institute for Advanced Study
https://www.youtube.com/watch?v=_Uk_ic3P91w
3
105
22
reposted by
Omer Shlomovits
Giacomo Fenzi
10 months ago
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? 🧵
1
3
3
reposted by
Omer Shlomovits
Ingonyama ZK
10 months ago
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
0
7
3
reposted by
Omer Shlomovits
Ingonyama ZK
10 months ago
ZK Accelerate Bangkok: Videos, Photos & Recap An overview of ZKAB by the numbers - check it out here!
www.ingonyama.com/blog/zk-acce...
0
2
1
Load more
feeds!
log in