Prooflab
@TheProofLab
A research collective dedicated to improving the security, performance, and reliability of cryptographic systems through research and open collaboration
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.
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!
.@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,…
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.
Extremely aligned
✨ ZK-Newsflash! ✨ The latest ZK and Ethereum highlights from July 17th to 23rd — presented by @BJ_Dyakov: ✅ @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…
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
@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. x.com/TheProofLab/st…
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.
hey @RiscZero + @boundless_xyz, why is there no Risc0 or Boundless prover on @eth_proofs?
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/hozksanfrancis… Rather than another panel-heavy event, this one’s structured for hands-on participation: -…
@TheProofLab just got a grant from the @ethereumfndn, cant wait to tell you about it next week!
🚨 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🧢
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.
In this clip, @AnnaRRose and @YourBuddyConner from @TheProofLab talk about ZK's Pytorch moment !
Learn about the origins of @TheProofLab with our founder @YourBuddyConner!
🎙️This week @AnnaRRose talks with @YourBuddyConner about benchmarking ZK, from ZK systems to zkVMs, how to drive adoption of ZK, and how there may be parallels to the rise of AI. Have a listen 👇 zeroknowledge.fm/podcast/356
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 👇