Ingonyama
@Ingo_zk
Followers
8,236
Following
116
Media
344
Statuses
890
Redefining ZK Hardware Acceleration from Software to Silicon 🧊🔥 // Curious about ICICLE? Talk to us at Hi @ingonyama .com
github.com/ingonyama-zk/icicle
Joined July 2022
Don't wanna be here?
Send us removal request.
Explore trending content on Musk Viewer
Beirut
• 685907 Tweets
الاهلي
• 624359 Tweets
#TGS2024
• 165284 Tweets
الزمالك
• 147841 Tweets
Acapulco
• 109846 Tweets
Tigers
• 96615 Tweets
マクゴナガル先生
• 86278 Tweets
Miami
• 68678 Tweets
東京ゲームショウ
• 57597 Tweets
#SmackDown
• 49074 Tweets
Towns
• 45965 Tweets
Naomi
• 37627 Tweets
Knicks
• 27043 Tweets
Melo
• 17292 Tweets
Chucky
• 16439 Tweets
Randle
• 15856 Tweets
White Sox
• 14701 Tweets
#DesafioXX
• 14210 Tweets
日本破壊クソメガネ
• 14055 Tweets
Laso
• 12789 Tweets
10 AÑOS CON KARIME
• 12777 Tweets
#PowerOfGodsWords
• 10975 Tweets
Timberwolves
• 10685 Tweets
Pinned Tweet
🚨 Agenda is closing - call for final spots
Keynotes by
@VitalikButerin
and
@Google
👀
ZK Accelerate - Bangkok 🇹🇭
Nov. 11 (one day before
@EFDevcon
)
Celebrating ZK product & engineering with technical talks, panels, demos and booths
Free to attend 🙌
3
15
58
mind-blowing 🤯
proofs of permissible photo edits
5
65
355
How
#Zeroknowledge
will Change Gaming Forever
New blogpost by
@godstar28
TL;DR:
#ZKP
can be implemented in
#gaming
in two key ways:
1. Multiplayer gaming architecture
2. Gameplay
1/12 🧵👇
16
54
325
Yesterday,
@0xPolygon
announced their Polygon
#zkEVM
, an EVM-equivalent ZK L2.
With the news, we see an opportunity to share some interesting data points on zkEVM.
Here are a few data points you might find interesting…🧵⬇️
We are proud to announce a giant leap forward for Ethereum scaling and ZK innovation.
Introducing Polygon
#zkEVM
, the first EVM-equivalent ZK L2.
Today we’re releasing a complete implementation, fully open-source, and we’re just getting started.
[1/6]
1K
3K
10K
19
110
254
1/ Introducing Cloud-ZK: A Toolkit for Developing Zero Knowledge Proof Acceleration in the Cloud 🥳
TL;DR
Today we
#opensource
a new way to accelerate ZK. Using
#FPGA
. In
#AWS
cloud. Easy. Accessible. Cheap.
Read on, or check out the blog
Thread 🧵👇
5
73
273
🦁New Blogpost🦁
ZK-Bridges: They are here
Read all about the latest killer application of ZKPs:
👉
by
@Karthik_Inb
💕 to
@kobigurk
,
@jtguibas
,
@pumatheuma
,
@garvitgoel03
for discussion & comments
#zkp
#Web3
#innovation
#zeroknowledge
6
62
226
We have successfully closed $21M in seed funding 🥳
The round was led by
@IOSGVC
,
@walden_catalyst
and
@__geometry__
This is an important step on our mission to democratize
#ZKPs
by enhancing their speed, scalability, and cost-effectiveness, making them accessible to all
1/3
21
35
202
😇New Paper🦁
Presenting…
SoK: ZK-friendly hash functions
by our beloved
@Karthik_Inb
- soft intro to hashes in ZKP
- real-world use cases
- design patterns
- weirdest/coolest names in cryptography literature.
👉
#ZKP
#cryptography
#research
10
47
175
1/ new paper! 🚨
The first chapter from our Sumcheck 201 book
paper:
code:
start with the 🧵below
2
35
164
Introducing Ingonyama
*Lowering the Barrier of Entry to Zero Knowledge Proofs*
4
27
139
Introducing ZaKi: Revolutionizing ZK proving with optimized hardware solutions
TL;DR:
We are launching a new, vertically integrated ZK hosting service
ZaKi software is based on ICICLE with hardware optimally configured to run accelerated ZK workloads
It delivers unparalleled
6
28
137
😇 New paper😇
"One outcome of the report is reinforcement of the notion that the basic computationally dominant primitives, required by Danksharding, are highly correlated with ones required for Zero-Knowledge-Proofs"
3
35
128
We couldn't find this trick mentioned/implemented anywhere, so here it goes:
2^48 is a root of unity in Goldilocks. This can save an INSANE amount of multiplications in NTT
Read the full (short) paper here:
2
23
135
1/ Introducing Sparkworks: Native Hardware Acceleration in Arkworks
Joint work w/
@__geometry__
read our joint blog post for details
7
43
135
1/ 🦁New paper😇 Potentially our greatest contribution thus far:
~Multi-Precision Fast Modular Multiplication~
What is that, and why is it important? Paper linked here, short 🧵 below👇
3
30
121
🧊Introducing ICICLE🧊
An Open-Source GPU Library for accelerating ZKPs!
Blog:
Repo:
As an example Rust application, we present:
⚡️Fast-Danksharding⚡️
Blog:
Repo:
1/5🧵👇
6
34
115
Are we better off with Plonk and NTT rather than with HyperPlonk and MLE-SumCheck? 🤯
Answers in our latest blog 👀
2
24
113
1/6 new blog post 🦁
We introduce the ZPU architecture and compare it to Zprize winner, PipeZK, RPU, and TREBUCHET.
3
29
107
A Brief History of Lookup Arguments -
A new review paper!
1) uses of lookup protocols
2) plookup
3) cq, LIKE YOU HAVE NEVER SEEN BEFORE
4) evolution from plookup to cq
0
25
105
🚀 Introducing Open-Binius!
"Hardware IPs for accelerating ZK proofs over binary fields"
Open-source (MIT) FPGA code. A community effort with academia.
🔗 Repo:
Check out our initial results in the table below. LFG!
1
21
105
Just Launched: Ingopedia V2 🙌🦁
A community-driven & comprehensive collection of info related to Zero Knowledge Proofs
💥Resources
💥Articles
💥Lectures
💥Videos
💥Tutorials
Interested in
#Zeroknowledge
? Dive in!
#zk
#ZKP
7
45
102
🥁New paper🥁
The Sum-Check Protocol over Fields of Small Characteristic, Joint with
@SuccinctJT
, links below.
Paper:
Blog: Sumcheck and Open-Binius:
Code: Smallfield-super-sumcheck:
2
18
103
ZK Accelerate agenda is now public 👀
Nov 15 during
#DevConnect
in Istanbul 🗓️
Rockstars from across the ZK landscape 🔥
Showcasing ZK engineering breakthroughs and innovations 💡
Don't miss it - sign up now👇
7
27
89
Presenting:
Zero Knowledge Proofs and the Metaverse
by
@ElanNadav
How ZKPs will bring Truth to our digital future
#zeroknowledge
#Metaverse
#Web3
#Metaphysics
#Truth
9
30
91
Ingonyama X Starknet Strategic Partnership
As of today, Stwo prover by
@StarkWareLtd
holds the world record for prover speed with a whopping 620,000 Poseidon2 hashes proven per second on an M3 laptop 🤯
We aim to break this record by running Stwo end-to-end on an
@nvidia
GPU
1
14
86
Product Announcement: ZK-Containers
blog post:
a short 🧵below:
3
18
83
We just dropped Chapter 2🔥
Please meet CheckFold 🙏🏼
Text:
code (soon!):
We thank
@SuccinctJT
,
@srinathtv
,
@GiacomoFenzi
💛
1/ new paper! 🚨
The first chapter from our Sumcheck 201 book
paper:
code:
start with the 🧵below
2
35
164
2
17
80
Our M31 bag of tricks 👜
Link to note:
Work by
@TomerSolberg
&
@yuval_domb
We thank the
@StarknetFndn
for supporting this effort
0
19
84
Announcing ZK Accelerate Athens 🇬🇷
🗓️ April 11, one day after ZKSummit11 by
@zeroknowledgefm
🏛️ At the Marriott across the street from the site of ZK11
🙌Free to attend
🔥 Join us for a celebration of
#ZK
engineering with talks, panels & demos
4
22
77
Power consumption is THE metric for measuring proof generation in ZK systems - not time, and not cost ⚡️
Valuable insights from
@yuval_domb
's presentation at ZK Summit ~
"ZPU: The Hardware Path to Verifiable Everything"
Watch the full video on YouTube:
9
14
70
ZK X-Factors in Hardware, Software and Research 👀
Panel hosted by
@lancenonce
of
@gizatechxyz
with insights from ZK innovators:
🔥
@convoluted_code
of
@the_matter_labs
🔥
@bkase_
of
@o1_labs
🔥
@ZeroKPunk
of
@Orbiter_Finance
🔥
@zkdiegokingston
of
@class_lambda
1
19
70
📣New paper 📣
ICICLE v2: Polynomial API for Coding ZK Provers to Run on Specialized Hardware
Text (eprint):
Code:
0
17
73
ZK Accelerate Athens is only two months away 🇬🇷
🔥 Celebrating
#ZK
engineering with technical talks, panels, demos & booths
🗓️ April 11, one day after ZKSummit11 by
@zeroknowledgefm
✅ Free to attend
👇 Sign up now
1
17
58
Did you miss
@taikoxyz
's talk at ZK Accelerate? 😱
Watch it here ~ from
@EFDevconnect
in Istanbul 👀
@m_ratsim
presented Standardizing zkEVM Acceleration API 🔥
YouTube:
#zeroknowledge
#devconnect
#DevconnectIST
#zkaccelerate
0
11
64
We're excited to announce the release of ICICLE v3!
ICICLE is a library for cryptographers, designed to accelerate ZK provers.
Our latest version includes a powerful CPU backend, extending ICICLE’s exceptional performance and user-friendly polynomial API to standard
1
17
65
📣 ZK Accelerate
🗓️ Nov 15
🌍 Istanbul
⭐️ Full day event during
@EFDevconnect
⭐️ Spotlight on ZK middleware innovation 👀
⭐️ Registration now open
Featuring
@class_lambda
@nil_foundation
@taikoxyz
@StarkWareLtd
@__geometry__
@zama_fhe
@AleoHQ
& more!
3
11
64
Gnark relies on
#CPU
for all computations. Until now!
We have implemented a design enhancement that incorporates
#GPU
into Gnark.
Open-Source as usual 🦁 Presenting...
User Guide: ZK Acceleration of Gnark using ICICLE
#ZKP
@gnark_team
#opensource
2
19
59
1/ We've been working on Exactly that, for some time now. While the general idea is nice and correct...
Leveraging existing GPU mining infra to do ZK is in fact FAR from straight forward.
Time for a thread!🧵👇
ZK-based L2s have a straightforward path to decentralization by leveraging existing GPU mining infrastructure to create decentralized proving networks.
13
20
169
4
16
63
Introducing...
The inaugural Z GAMES: Accelerating
@AleoHQ
Incentivized Testnet!
The goal of this
#COMPETITION
is to drive
#Aleo
prover throughput to the Max using GPU acceleration
Glory, cash and prizes await⚡️
Let the
#zgames
begin 🏆
1
14
55
Did you miss
@StarkWareLtd
's talk from ZK Accelerate?😱
Watch it here ~ live from ZKA Athens
@PapiniShahar
presented: STWO Performance 🔥
YouTube:
#zkaccelerate
#zk
#StarkNet
4
15
56
🚀new cryptography blog post
inspired by Dark Forest's success 🌌, we set to generalize the ideas introduced by ZK-Hunt 🎮
Our latest write-up describes a new game mechanic, enabled by ZK and MPC 🔐
#CryptographicFogOfWar
0
13
54
Excited to have
@Orbiter_Finance
join us on-stage at ZK Accelerate Athens🛸🇬🇷
@ZeroKPunk
will present: What Orbiter Vizing will bring to Ethereum 👀
🗓️ April 11
✅ Free to attend
⤵️ Sign up
6
4
41
An illuminating panel-conversation from ZK Accelerate 💡
New frontiers in ZK Research
⭐️ Moderated by
@lancendavis
of
@gizatechxyz
With:
⭐️
@m_ratsim
of
@taikoxyz
⭐️
@nemothenoone
of
@nil_foundation
⭐️
@zkdiegokingston
of
@class_lambda
YouTube:
#zk
#ZKP
0
12
50
1/2
The second chapter of our book "Foundations of NTT Hardware Design" is now on GH:
Chapter 1: NTT Theory
Chapter 2: NTT in Practice
Learn how to build an NTT machine with the help of beautiful visualizations & NEVER SEEN BEFORE level of detail
1
8
48
1/6 Merssene field.
Is the *even smaller, even faster" hype is real?
Answer: we have doubts!
see table below, or follow the 🧵
2
8
49
1/n
So how much time would it take to run LLM inference with FHE?
new blog post and a long 🧵
1
15
44
Additive NTT (ANTT)👉👈
Theory: NTT201 book, chapter 3:
Reference code, Open-Binius repo:
author: 🤠
@yuval_domb
0
7
44
ICICLE for Researchers: Grants & Challenges 💰
Inviting researchers and practitioners to advance ZK acceleration together with Ingonyama 🔥
For this purpose, we are allocating $100,000 to be distributed as grants 👀
Read on for details 👇
1
10
41
Partnership announcement:
We are joining forces with
@alignedlayer
to create a full-stack ZK infrastructure platform 🤝
Bridging the gap between Provers and Verifiers for enhanced scalability and innovation ☑️✅
More details in our blogpost
2
8
45
#ZeroKnowledge
, 100% opportunity:
Solve any of our website
#cryptography
challenges and receive an invite to meet the team🦁
Are you up for the challenge?
0
8
41
ZKAA final agenda 🥁
FYI:
+ ZKA focus is product and product R&D
+ All talks will be recorded
+ We are not fans of breaks (but lunch is lunch)
event page:
4
7
34
two OS libraries that got us excited this week
Supernova by
@julesdesmit
()
era-bellman-cuda by
@robik
from
@zksync
()
2
7
42
1/2 MSM HW acceleration is key for ZK HW acceleration.
In this paper we present a new hardware design for MSM and implement it on FPGA.
We conduct the first-ever comparison between FPGA and GPU (Sppark by
@_Supranational
)
1
15
39
1/2 the
@nil_foundation
marketplace for proofs is a win-win
➡️ zkLLVM compiler for smooth DevExp
⬅️ proofs providers with access to specialized HW
here’s how we can help:
1/
Meet zkLLVM - a circuit compiler for mainstream languages that operates with no zkVM involved
Build your zkEVM rollups fast and cheap by simply compiling already existing EVM implementation code in C++ or Rust
More details in the thread
6
43
178
2
7
36
Excited to have
@MarlinProtocol
join us on-stage at ZK
Accelerate, Nov 15 during
#DevConnect
in Istanbul 🥳
Roshan will present on Kalypso: A circuit-agnostic ZK proof market
Sign up for ZK Accelerate👇
5
8
35
DO NOT MISS
@PapiniShahar
talk:
Stwo AVX Performance.
Seriously.
And catch up on CSTARK!
ZK Accelerate Athens is nearing capacity 🚨
🗓️ April 11
✅ Free to attend
👇 Sign up now
1
7
34
1
9
38
Can't make it to ZK Accelerate?
Watch the livestream!
Live from 9:25am - 6pm Istanbul time on Nov 15
Link is here 👇
#DevconnectIST
#zk
#DevconnectIstanbul
0
11
33
On April 11 get ready for
@MarlinProtocol
to light up ZK Accelerate Athens!
Roshan Raghupathy will take the spotlight with Kalypso: A circuit-agnostic confidential ZK proof market 🔥
..as well as participate on the zkML panel 👀
ZK Accelerate Athens is nearing capacity 🚨
🗓️ April 11
✅ Free to attend
👇 Sign up now
1
7
34
2
6
35
1/6
New section of our website is live: About Us🦁
View our mission + meet the team...👇🧵
1
6
37
The Prover uses both SNARK and STARK proofs in the following way:
SNARK proof is used to prove correctness of STARK proofs (recursive STARKS!!)
So we get: STARKs are used for speed, while SNARK is used for proof size!
3
7
36
We invited Justin Thaler (
@SuccinctJT
) to give a talk to our research team...
If you're interested in Sumcheck Protocol, this is must-see 📺🦁
2
9
37
Fast NTT Arithmetic in the Goldilocks Finite Field 🐻
Presented by Niall Emmart of Yrrid Software 🔥
Part of the ZK-GPU Masterclass
Full vid on YT:
#GPU
#cryptography
#maths
#MASTERCLASS
0
3
36
Facts:
many
@0xPARC
graduates and devs without a background in math or cryptography, use Circom DSL to build apps that use ZK technology
dev tooling is a key for the adoption of ZK
We want zero bugs in ZKP systems
ToB are awesome👏
3
7
37
Thank you everyone who joined us at ZK Accelerate in Istanbul!⚡️
We couldn't have done it without the incredible efforts of
@chloenorthcott_
and
@lean_knack
who ran the show for us 🔥❤️
Thank you
@EFDevconnect
,
@protocollabs
, and the entire ZK community! See you next time 😉
ZK Accelerate 2023! 🎉 Had an amazing time supporting
@Ingo_zk
organise and execute this incredible event.
@lean_knack
@EFDevconnect
1
3
18
2
3
35
Proud to sponsor
@zkproof
5, Nov 15-17 in Tel Aviv!🦁
ZKProof works to promote standardization of ZKP cryptography and increase engagement of companies & researchers worldwide🌍
+ Look out for a ZK Gaming Meetup organized by
@matchbox_dao
and Ingonyama evening of Day 2 🎮👀
3
6
35
+ ZKAA, April 11, full house! 🗓️
+ agenda is filling up🚀
+ a new keynote: Silicon Safari 2: Latest Zprize Results and their Implications on the Future of ZK Hardware 👀
+ event page:
2
7
35
We just published a new challenge!
Find the flaw ➡️ Get a job offer
1
8
35
The excellent State of ZK report by
@zkv_xyz
is publicly available 👀
Our favorite part:
"ZK Score by
@OmerShlomovits
and
@lucyw_earth
is a proposed metric system for evaluating Zero Knowledge Proof (ZKP) technologies, focusing on efficiency at the hardware level.
It
Took us a bit longer this time, but...
The State of ZK report for Q4 2023 is out.
A sneak peek at the report 👇
1
1
13
0
6
34
Our ZK Gaming meetup is about to begin! Great talks lined up - here we go
3
1
34
When
@kroma_network
decided to build a high-performance, general purpose ZKP library, they turned to ICICLE 🥶
Tachyon can be a drop-in replacement for current Halo2 backends, significantly reducing proof-generation time and cost
Read the case study 👇
3
12
34
Watch as
@0xMonia
shares how to get involved with Ingonyama 👀
Taken from the Zero-Knowledge Demo Day panel by
@pitchtalk_com
🔥
2
9
30
Announcing our 2 partners for
#zkAccelerate
🥁
@AMD
and
@class_lambda
🥳
LambdaClass is a premier ZK software development team
Xilinx by AMD provide industry-leading FPGAs, ideal for ZK acceleration
Register and set up a 1x1 meeting during the event 👇
1
4
34
Gnark on Ice: GPU acceleration of Gnark using ICICLE
Presented by
@OmerShlomovits
at
#zkParis
, hosted by
@__geometry__
&
@ZKValidator
More talks on Ingonyama's
#YouTube
channel:
#Gnark
#GPU
#ZK
#ZKP
#ICICLE
1
5
33
Ingonyama spotted in the wild 🦁👀
Left: talk given at
#SBC2023
by
@ethereum
on DAS
Right: talk shared by Diego
@JDIEGOOLIVA
, head of Starknet Foundation
#StanfordBlockchainWeek
#ZKP
@Starknet
2
6
27
ZK Hardware Table Stakes part 1 - MSM👇
TL;DR:
1. We (still) have the best MSM hardware design
2. It doesn’t matter
0
7
34
📣 Ingopedia ~ Contributions welcome! 🦁
The largest community-driven & comprehensive collection of info related to
#ZKP
🤩
✅Resources
✅Articles
✅Lectures
✅Videos
✅Tutorials
✅New sections
✅Contributions encouraged 👇
Dive in!
#zeroknowledge
0
6
33
