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)
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
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
House of ZK, San Francisco We announced our next in-person developer gathering - set for July 23rd, from 2–5pm at @FrontierTower SF, as part of Crypto Summit Week: lu.ma/hozksanfrancisco Rather than another panel-heavy event, this one’s structured for hands-on participation: - Technical workshops led by protocol teams - Deep dives into developer tooling - Open floor conversations on how to build with and extend ZK Confirmed contributors include @SuccinctLabs, @TheProofLab, @ProjectZKM, @0xLita, and @goatnetwork. If you're local to SF or already in town for the week, we'd love to see you there.
1
1
10
387
.@figitaki is a prover killer, step into @TheProofLab
6
1
4
294
Benchmarking in Zero Knowledge is more controversial than you think. In this clip, @AnnaRRose and @YourBuddyConner from @TheProofLab unpack why—and what it means for the ZK space.
1
2
13
1,657
In this clip, @AnnaRRose and @YourBuddyConner from @TheProofLab talk about ZK's Pytorch moment !
1
5
20
2,323
Calling all Prover Killers, the time is nigh to follow @TheProofLab, the first drop merch drop is upon us. Snapshot occurring soon 👀
4
1
1
10
608
🧵 Why is zkVM benchmarking so broken? After conversations with leading minds like @SuccinctJT, @badcryptobitch, and @drakefjustin, I've come to realize we're trapped in a false choice between theoretical purity and practical performance. Here's my framework for a better approach
5
7
4
34
5,796
Spent some time this weekend to digest the Twist + Shout paper from @srinathtv and @SuccinctJT There's a ton to discuss here (it's 96 pages!), but I wanted to start with the theoretical cost analysis in section 3.1, because it has implications for the design of any zkVM:
3
2
16
987
Everyone is benchmarking zkVMs but nobody has a consistent methodology for doing so
1
2
173