Ethproofs
@eth_proofs
Followers
4K
Following
1K
Media
43
Statuses
311
race to prove Ethereum in real-time
Ethereum
Joined November 2024
🧵 Ethproofs Day Admission Update @EFDevcon We’re thrilled to see the demand for Ethproofs Day: 250 approved attendees & 276 (and counting) on the waitlist! To make sure the day runs smoothly (and everyone has a fair shot to attend), here’s how admission will work 👇
1
2
18
An exciting update from myself and @benediamond ( https://t.co/bKwowXYcMB). We show that the 𝘶𝘱-𝘵𝘰-𝘤𝘢𝘱𝘢𝘤𝘪𝘵𝘺 proximity gaps conjecture is 𝗳𝗮𝗹𝘀𝗲. More precisely, given any pair c, d we construct codes whose error grows faster than nᶜ / (q ⋅ (ρ η)ᵈ).
eprint.iacr.org
For each positive integer $c^*$, we construct an infinite sequence of Reed–Solomon codes $C \subset \mathbb{F}_q^n$, together with ball radii $z$, for which the proportion of $\mathbb{F}_q^n$...
20
92
436
I recently went through the exercise of applying logup* (Soukhanov) to implement Twist and Shout (Setty & Thaler). As a result, we can have memory checking arguments with very cheap commitment costs using hash-based commitment schemes! ↓
3
12
56
Amazing work! Yet another multi-GPU prover submiting proofs for EVERY block and averaging sub 12s!!! LFG! Fun fact: @thezkcloud was the first to submit a proof for every block (on staging) back in March 2025 🫡
At @thezkcloud , we joined the real-time proving squad. With 48 x 4090s, our average proving time for Ethereum mainnet blocks is 9.3 seconds, using @ziskvm 's zkVM. Further fine-tuning and performance optimizations on the way. Track progress on @eth_proofs here:
1
6
55
TLDR: If you're not first, you're last - Doors open at 9:30. - Talks start at 10:30. There is still time to get on the priority waitlist! https://t.co/LIKbH1qrod
0
0
0
💬 FAQs Q: Do I need a Devconnect ticket? A: Yes — it’s required for venue access and all Ethproofs sessions. Q: What if I’m on the waitlist? A: Come early! From 10:00–10:30 AM, priority waitlist can enter. After 10:30, it’s open FCFS. Q: Will there be food? A: Yes — snacks,
1
0
0
📍Event Details 🗓️ Sat, Nov 22 📍 La Rural, Buenos Aires (Yellow Pavilion) 🕓 10:00 AM – 6:00 PM 🎫 Requires Devconnect ticket https://t.co/8XKBUcAyx9
ethproofs.day
Ethproofs Day (inside of Devconnect)
1
0
0
💡 Priority Waitlist Anyone can get on the priority waitlist - just attend an Ethproofs call. - Next call: Fri, Nov 7 @ 2PM UTC - A packed agenda focuses heavily on the $1M Proximity Prize! - DM me for an invite (provide your email in the DM) https://t.co/As1FfnluGD
proximityprize.org
$1M in prizes to prove or disprove Reed-Solomon proximity gaps conjectures. An initiative by the Ethereum Foundation.
1
0
3
🎟️ About Tickets - Everyone entering Ethproofs Day must have a Devconnect ticket. - You’ll receive a wristband on entry (required for re-entry). - Only the first 250 attendees are guaranteed a free Ethproofs t-shirt (sizes limited — arrive early!).
1
0
1
☕ Ethproofs Café Opens at 9:30 AM Grab coffee, meet other provers, and settle in before talks kick off at 10:30 AM sharp.
1
0
1
⏰ Key Update: Admission Windows - 9:30–10:00 AM → Guaranteed entry for approved attendees. (Arrive early — doors to Devconnect open at 9:30.) - 10:00–10:30 AM → Entry opens to the priority waitlist (those who’ve joined an Ethproofs call). - 10:30 AM onward → remaining
1
0
1
We are thrilled to be speaking at ZKONNECT! You can feel the coming month is going to be full of very exciting breakthroughs and announcements - all moving Ethereum closer and closer to real-time proving! Hope to see you at what appears to be a STACKED event.
ZKONNECT is coming to @EFDevcon. We’re bringing together the builders pushing ZK from research to production, where zkVMs, ZK Data Coprocessors, zkML, and zkTLS meet real-world deployments and scale. Featuring a special speaker from @eth_proofs, co-hosted with @HouseofZK, and
1
6
21
🏃 MOAR BIG NEWS!!!: Airbender (developed by @zksync ) has just onboarded onto Ethproofs! They are now at the top of the leaderboard with the fastest single-GPU prover - averaging sub 50s w/ a single 4090!!! Amazing work! Welcome to the team, Airbender 🫡
Airbender enters the @eth_proofs leaderboard as the fastest zkVM! Airbender proves ZKsync chain blocks in ~1 second, and is now proving @ethereum blocks in under 50 seconds on a single GPU, helping push the Lean Ethereum roadmap forward.
22
37
197
You can check out their proving cluster page here: https://t.co/3CEuWTcHqH
ethproofs.org
Building a fully SNARKed Ethereum
0
0
0
🚀 BIG BREAKING: Moments ago @ziskvm created a new multi-GPU prover running the latest build of their zkVM. They are now proving EVERY block - and submitting them to Ethproofs. The majority of which are sub 12s! Congrats! (link below)
ZisK has reached a major proving milestone for Ethereum. All Ethereum blocks are now being proven in real time, with an average proof time of about 7.5s
14
28
133
We published an article on how we’re approaching zkVM benchmarking for Ethereum: https://t.co/4Bf3FOuEFT Hopefully it’s a useful starting point for diving deeper into the technical details of this effort.
zkevm.ethereum.foundation
A comprehensive overview of our Q2 achievements, upcoming milestones, and how the community can get involved in the zkEVM initiative.
14
53
211
🎉 Ethproofs milestone achieved! We are thrilled to announce: With just over 3 days left in our countdown, ALL zkVMs on Ethproofs have successfully met the deadline—every verifier is now fully open-source! This is a huge win for transparency and verifiability in the zk
2
4
46
🎉 Ethproofs milestone achieved! We are thrilled to announce: With just over 3 days left in our countdown, ALL zkVMs on Ethproofs have successfully met the deadline—every verifier is now fully open-source! This is a huge win for transparency and verifiability in the zk
We're excited to announce that Ethproofs is starting a countdown to October 26, 2025, the deadline for all zkVMs on our platform to have fully open-source verifiers! To ensure transparency and accessibility, we're also working hard to implement both server-side verification and
42
110
322