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
Photo by Prooflab (@TheProofLab)Photo by Prooflab (@TheProofLab)Photo by Prooflab (@TheProofLab)Photo by Prooflab (@TheProofLab)Photo by Prooflab (@TheProofLab)Photo by Prooflab (@TheProofLab)Photo by Prooflab (@TheProofLab)Photo by Prooflab (@TheProofLab)Photo by Prooflab (@TheProofLab)Photo by Prooflab (@TheProofLab)
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
We are really quite excited to finally have this out there! This paper was delayed due to the sheer volume of rollups that were vulnerable and had to be patched. Major kudos to @schaliasosvons for his resiliency and the rest of the authors for their contributions to SOTA.
New Paper w/ @YourBuddyConner, @spilehchiha, @nico_mnbl, @convoluted_code, Akis Kattis. Mispricing issues in major rollups enable practical DoS and finality attacks. All major rollups have made adjustments in production and we were awarded multiple bug bounties. 1/🧵
3
1
15
854
We ❤️ zkVMs We 💕 reading all the code We 🫶 @ProjectZKM!
Documentation assessment @TheProofLab rates the documentation as comprehensive for architecture, MIPS ISA support, STARK design, and quickstart/materialized examples. Gaps include GPU setup/optimization, production deployment guidance, and a consolidated troubleshooting section. The docs are actively maintained alongside code changes.
2
2
10
1,224
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
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
This Saturday at 10 AM PDT is our next Frontiers Talk: Breaking ZK Provers to Build a Stronger Ethereum with @YourBuddyConner, founder of @TheProofLab. More detail below!
📣Our next Frontiers Talk is coming August 16th at 10 AM PDT! @YourBuddyConner, founder of @TheProofLab, will show how adversarial mainnet transactions can stress test ZK provers and expose hidden weaknesses in Ethereum’s proving stack. Register below!
3
5
501
📣Our next Frontiers Talk is coming August 16th at 10 AM PDT! @YourBuddyConner, founder of @TheProofLab, will show how adversarial mainnet transactions can stress test ZK provers and expose hidden weaknesses in Ethereum’s proving stack. Register below!
1
5
2
8
1,332
Tune in tomorrow for the @TheProofLab Special, featuring the prover killer himself, @YourBuddyConner 🤝 🗓️ August 5th 🕔 5pm UTC 📍 @HouseofZK Expect pure signal from a true crypto OG.
10
2
31
901
.@TheProofLab re-announced ZKarnage, a live stress-test of ZK provers to uncover vulnerabilities by submitting "prover killer" transactions that have discrepancies between their EVM gas costs and actual computational costs for provers. The goal is to strengthen the ZK ecosystem, share data with developers, and collaborate for better security. This initiative is backed by an @ethereumfndn grant and is in collaboration with @eth_proofs. 3/
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.
1
1
8
504
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
If you’re looking for your next role in ZK, or are just getting into the space, check out the ZK Jobs Board for the latest on which of these great companies is hiring: jobsboard.zeroknowledge.fm/
1
1
1
524
@TheProofLab has launched a stress-test targeted at provers on Ethereum mainnet to find vulnerabilities in these critical systems. This compliments their efforts at benchmarking to strengthen the ZK ecosystem. xitter.cf/TheProofLab/status/194…
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.
1
1
1
274
Had a great time spreading the word about ZKarnage and @TheProofLab at @frontiertower today, thanks to @HouseofZK for the invite! I was told by multiple sources that the best part was the pink hats -- I always have a couple on me if you catch me at a SF Crypto event!
5
5
44
1,585
hey @RiscZero + @boundlesshq, why is there no Risc0 or Boundless prover on @eth_proofs?
2
2
12
649
3/ Our mission is simple: 1️⃣ Strengthen the ZK ecosystem 2️⃣ Provide open data for developers 3️⃣ Collaborate with prover teams to build more resilient systems This is about making the entire ecosystem stronger, together.
1
7
342
4/ We believe in full transparency. All our findings will be public. Follow the action: 📊 More Info: prooflab.dev 💻 Repo & Data: github.com/yourbuddyconner/z… Let the games begin.
7
333