Prooflab @TheProofLab
A research collective dedicated to improving the security, performance, and reliability of cryptographic systems through research and open collaboration prooflab.dev Joined January 2025-
Tweets80
-
Followers355
-
Following2
-
Likes153
@OPLabsPBC Read the paper! x.com/schaliasosvons…
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/🧵
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/🧵
Check out our research samples repository for more: github.com/ProofLabDev/pr…
We ❤️ zkVMs We 💕 reading all the code We 🫶 @ProjectZKM!
@TheProofLab 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
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
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
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!
📣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!
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.
.@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.
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
@googlecloud @selfxyz @rel_zeta_tech @liameagen @class_lambda @PrivacyEthereum @Celo @TheProofLab 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
@frontiertower @IvankaHayes1 @alicelingl @HouseofZK @SuccinctLabs @zkemail @aztecnetwork say less!
@googlecloud @selfxyz @rel_zeta_tech @liameagen @class_lambda @PrivacyEthereum @Celo @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.
@maanav @YourBuddyConner @frontiertower @HouseofZK oh, he wants a pink hat!
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!
hey @RiscZero + @boundless_xyz, why is there no Risc0 or Boundless prover on @eth_proofs?
square 🟥 @chloeallegra228
3K Followers 4K Following {geometry, abstraction, logic, cryptography} 🇨🇺🇳🇱
Valentin Mihov 🦞 @valentinmihov
8K Followers 6K Following CTO @ k3_capital ~ Yield farming and angel investing ~ Crypto multi-cycler. @10b57e6da0 ~ co-founder of @daedalus_angels & @finexify ~ Shadowy super-coder👨💻
WyldB0t @WyldB0t
131 Followers 361 Following
Beate Klatschfeld @c_qkie
40 Followers 3K Following Ohrfeigen möchte ich meinen zarten Wurstfinger trotzdem nicht antun
Belma @BelmaDzi
427 Followers 488 Following Surface interval /w decentralization, protocols, privacy, infrastructure, adoption and bad investments. 🧰 chilling | ex @chainsafeth
luolu @luolu823902886
67 Followers 4K Following
floolf @floolfoo
230 Followers 7K Following
Murche (fmr. Wholesum... @WholesumNet
53 Followers 46 Following p2p prover network to verifiably generate Ethereum blocks
ponzi @ponziprogrammer
666 Followers 2K Following
Aniket Minz @AniketMinz3
21 Followers 695 Following
Ben @0x1164
14K Followers 1K Following Freedom Maxi | Building Crypto & AI on Decentralized Rails | @GOATNetwork
Stephen Duan @sd_eigen
974 Followers 609 Following Build zkVM for real-word applications @ProjectZKM @GOATNetwork @ClawupAI
weijie.eth @weijie_eth
3K Followers 3K Following Hiring at @renegade_fi. cryptography engineer and researcher. prev. @BainCapCrypto, @__geometry__, @PrivacyEthereum, @Consensys
0xvesta @0xvestapak
251 Followers 4K Following
Jlo @YouGoEatGrass
219 Followers 995 Following “When the power of love overcomes the love of power, the world will know peace.” anti everything
Alex L @p3rmissionl3ss
235 Followers 2K Following Smart Contracts @sorellalabs | previously @reservoirfi @yAcademyDAO | @UMengineering @UMichCSE alumni | pianist | sacred geometry | flâneur
Sojib 🦇 @sozibmollik
2K Followers 5K Following Content creator on X || helping in products,ads on X & discord. building @arcappstore
Ben Schiller @btschiller
9K Followers 3K Following Host of “Privacy Podcast” and the Privacy Salon @0xMiden/ writer/producer of "Bitcoin Bad Boy” - NYC, October/ ACJR Board '26.
Eric Tu (parody accou... @erktu
2K Followers 1K Following GPU Punisher | Prev: @RiscZero, @boundless_xyz, @ChainSafeth, @infura_io, @ConsenSys Alum: @uwaterloo
Taraxa Praxis @taraxa_network
76 Followers 282 Following Exploring the practical real world applications of the Taraxa EVM BlockDAG. Gaming, AI Agents, Defi, IOT
0x6980 @0x6980
59 Followers 672 Following 𝐙𝐊𝐏 𝐑𝐞𝐬𝐞𝐚𝐫𝐜𝐡𝐞𝐫 | 𝐌𝐒 𝐢𝐧 𝐌𝐚𝐭𝐡 | 𝐙𝐊𝐏 technical writer at @RareSkills_io Security Researcher at Code4rena | CodeHawks | Sherlock
francos.eth @panteramodern
1K Followers 5K Following Tricks with polynomials and Riemann-Roch spaces. Breaking into the platonic realm to pillage forbidden abstractions.
Sylve @sylvechv
7K Followers 3K Following 🍊 speedrunning the blockchain endgame @hyli_org with @wraitii. be kind
Tibor Tribus @TiborTribus
240 Followers 2K Following Jack of all trades master of none Never bet against Rust
Arunima Chaudhuri @arunimastwt
922 Followers 1K Following Blockchain & Distributed Systems Research | Research Engineer @ethstatus | Ex - Intern @ethstatus @Hyperledger @solanalabs | M. Tech CSE '25 @NITW
SamJernigan.eth @macrosam
1K Followers 7K Following Cur Non 🦇🔊 'ETH Maxi of Wall Street' Not Financial Advice
Pawan @PCrypyto
138 Followers 2K Following 🚀 Blockchain Analyst | DeFi Enthusiast 💼 Breaking Down Crypto Markets & Trends 📈 Real Talk About Altcoins & Bitcoin 🌐 Follow For Daily Doses.
程棣 @asendingpanda
1 Followers 39 Following
I'MBlanco 🩸🩸�... @SouljaJoujou
187 Followers 457 Following -Get Rich or Die Tryin' 💸 -96's🖤🌹 -Pour la Vie, Pour la grande Vie 💰💸 -You know it's fucked when the pain feel nice 🖤 ♣ Simple & Magnifique $CULT ❤️🔥🌍
mr Cult Dao @FelicianaR33152
55 Followers 267 Following
alybhamani @alybhamani
190 Followers 1K Following
Heikki Tolvanen @tolvanhe
873 Followers 3K Following Automating privacy by design and turning your employees into privacy champions - check PrivacyDesigner. Sharing and commenting anything related to #privacy
Bastian | CULTDAO🩸... @bastian_cultdao
632 Followers 482 Following Guardian and member from @wearecultdao. Empower the many, not single persons or a system! $CULT
Conner Swann @YourBuddyConner
2K Followers 968 Following zk/acc | building @turnkeyhq @ProofLabDev | My tweets represent my own opinions | Alumnus @MinaProtocol @nomadxyz_ @CeloOrgYou might like
