Prooflab (@TheProofLab) header
Prooflab (@TheProofLab) profile picture

A research collective dedicated to improving the security, performance, and reliability of cryptographic systems through research and open collaboration

Joined January 2025
And: • Which requesters/provers drive volume? • How concentrated is demand/supply? Are new players joining? • Which programs (vk_hash) dominate? Dive in & tell us what to add next. @TheProofLab
1
87
More questions: • What’s the predicted time to fulfill a 1B-gas request today? • What’s the price per bGas and who’s price-leading vs the network median? • How fast do provers respond (seconds to first bid)?
1
31
New @SuccinctLabs Prover Network dashboard (by @TheProofLab) helps you ask: • Are requests getting fulfilled on time? • How long do auctions take? • When do throughput dips happen (and how long do they last)? 🧵 Link Below
1
1
2
282
Extremely aligned
✨ ZK-Newsflash! ✨ The latest ZK and Ethereum highlights from July 17th to 23rd — presented by @mysterymeat: ✅ @ethereumfndn is hosting a Livestream to celebrate 10 years of @ethereum. ✅ @TheProofLab re-announced ZKarnage launching a live stress-test of ZK provers to uncover vulnerabilities. ✅ @TACEO_IO launched delegated private ZK proving with TACEO:Proof. ✅ @alignedlayer explained why @ethrex_client was chosen as the Rollup Stack for its RaaS platform and why supporting based rollups is a priority. What do you want to see built using this tech? Tell us in the comments below 👇 1/
2
197
1/ 🧵 (re-)Announcing ZKarnage! 💥 With support from an @ethereumfndn grant and in collaboration with @eth_proofs, we're launching a live stress-test of ZK provers on mainnet. We're about to find out how resilient these critical systems really are.
4
16
4
48
5,971
the eth blocks are full of prover killers clever girl...
2
156
🚨 WANTED: MODEXP aka “Big Mod” Ringleader of the Precompile Cartel. 🧮 215,389 avg cycles 💸 200 gas 🔥 1076.9 cycles/gas 💀 Known to leave zkEVM provers in shambles Do not benchmark. Do not engage. Just pray he's not in your circuit. Reward: One limited Prover Killer hat🧢
1
5
245
The Prooflab intern is furiously packing hats to send out!!
Think your Solidity chops can kill provers? @TheProofLab is stress-testing ZK systems with pathological EVM payloads—and we're giving out these exclusive PROVER KILLER hats for the best PRs. 👇 Join the zkarnage 👇
3
151
do you even zk/acc?
1
3
379
There's no need to fear, The Proof Lab is here
20
🚨 Benchmark drama detected 🚨 Assembling zkML benchmarks for prooflab.dev!
Great to see the ecosystem grow but bad benchmarking is kind of tired and sloppy. We went through your benchmarking code @lagrangedev and it looks like you’re artificially handicapping @ezklxyz proving times by fixing the number of rows in our circuits to a very large number.
1
4
496
Mom: We have zkVM Benchmarks at home. zkVM Benchmarks at home:
1
2
219
🔍 NEW RFC ALERT: We just published evaluation criteria for zkVM benchmarks! These criteria will power our upcoming zkVM reports and enable l2beat-style comparisons between different zkVMs. Check it out and share your thoughts: github.com/ProofLabDev/proof…
1
1
2
5
1,904
So many people's first interaction with ZK is about to be zkFlappyBird thanks to @SuccinctLabs, this is such great brand positioning!
1
5
196