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-
Tweets72
-
Followers363
-
Following2
-
Likes144
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!
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!
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,…
.@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,…
Extremely aligned
Extremely aligned https://t.co/WfPcUGYi6Z
@googlecloud @SelfProtocol @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
@googlecloud @SelfProtocol @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…
@googlecloud @SelfProtocol @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…
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?
@vreeland @PolyhedraZK @eth_proofs @ethereum @ZKVProtocol @alignedlayer @Pi_Squared_Pi2 @NovaNet_zkp @alt_layer 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!
would you cop?
.@figitaki is a prover killer, step into @TheProofLab
the eth blocks are full of prover killers clever girl...
🚨 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.
Taraxa Praxis @taraxa_network
70 Followers 234 Following Exploring the practical real world applications of the Taraxa EVM BlockDAG. Gaming, AI Agents, Defi, IOT
B R R R R R R R R @BRRRKYLE
2K Followers 1K Following Programmer. DevRel Engineer @fermah_xyz. Ex-@ProjectZKM.
0x6980 @0x6980
59 Followers 652 Following 𝐙𝐊𝐏 𝐑𝐞𝐬𝐞𝐚𝐫𝐜𝐡𝐞𝐫 | 𝐌𝐒 𝐢𝐧 𝐌𝐚𝐭𝐡 | 𝐙𝐊𝐏 content writer at @RareSkills_io Independent Security Researcher at Code4rena | CodeHawks | Sherlock
Samuel Arogbonlo @samuelarogbonlo
323 Followers 427 Following Building Software For Web3 & AI Workloads With Interests On Layer 2. Prev - @o1_labs, @MinaProtocol, @zeitgeistPM, @chainsafeth, @firefliesai.
francos.eth @panteramodern
1K Followers 4K Following Tricks with polynomials and Riemann-Roch spaces. Breaking into the platonic realm to pillage forbidden abstractions. @Starknet grantee
Sylve @sylvechv
7K Followers 3K Following 🍊 speedrunning the blockchain endgame @hyli_org with @wraitii be kind
Tibor Tribus @TiborTribus
219 Followers 2K Following Maya-ZK Co-founder Jack of all trades master of none Never bet against Rust https://t.co/htN61J78U6
Arunima Chaudhuri @arunimastwt
927 Followers 1K Following Blockchain & Distributed Systems Research | Research Engineer @ethstatus | Ex - Intern @ethstatus @Hyperledger @solanalabs | M. Tech CSE '25 @NITW
Joshuwa @JoshRoomsburg
284K Followers 28K Following Founder of @ChainLeak Host of the #ChainLeakPodcast | Content Creator for #OKX × #SafePal × #Klever × #XYO | #SpacesHost | Recording Artist
SamJernigan.eth @sjerniganIV
1K Followers 6K Following Cur Non 🦇🔊 'Unofficial ETH Maxi of Wall Street' | Not Financial Advice |
Waupuib @Waupuib5600
6 Followers 199 Following
程棣 @asendingpanda
1 Followers 41 Following
I'MBlanco 🩸🩸�... @SouljaJoujou
205 Followers 451 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
43 Followers 238 Following
alybhamani @alybhamani
133 Followers 1K Following
Heikki Tolvanen @tolvanhe
885 Followers 2K 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
690 Followers 485 Following Guardian and member from @wearecultdao. Empower the many, not single persons or a system! $CULT
MrB.zk CULT Peter(Nic... @peter_beardshaw
1K Followers 1K Following Family orientated, my inner humour sometimes takes over and that upsets some peeps.$CULT, @wearecultdao, #wearecultdao #readthecultmanifesto https://t.co/wamFxuDvQ2
RonnieBarker @MikeBasssett
31 Followers 57 Following
kaww🩸🩸🩸 @kasper33218784
301 Followers 366 Following $Cult #Modulus x $Rvlt $Stone #10set #Club1billion
ET🩸🩸🩸.CULT @et_cultdao
619 Followers 1K Following
neo🩸🩸🩸 @neothewarriorx
336 Followers 800 Following What is the future of technology and Political Systems? I think decentralised. Tweets aren't financial advise. #btc $XX $CULT tweets are my opinion👉#DYOR
Kink Kingdom @Gay_X_KingDom
622 Followers 3K Following Bound by desire, exploring the world of gay male BDSM and finding liberation through submission. #BDSMExploration #NSFW
Vitalik.eth(parody)�... @CultdaoLeader
55 Followers 503 Following I am nothing . parody account @VitalikButerin $ETH $CULT @wearecultdao
RUP ਰੂਪ @RUP613
467 Followers 1K Following Panjabi Music Composer • Master Grower #music #sports #hydroponics #CULTdao #lassi 🥛 🇨🇦. 🩸 🩸 🩸
Mad4Sol @mad4Sol
384 Followers 1K Following Apologies, I would have written a shorter bio….. but I didn’t have time.
P-Dawg🩸🩸🩸 $C... @PorchDogCrypto
695 Followers 684 Following Solo dude philosophizing who is both full of wisdom and udder nonsense. OG hodler of https://t.co/GptxKHlMPd with swollen bags. Speak truth to power even under threat.
$$$ @Crypt0_HODLR
514 Followers 992 Following
CULTED3 🩸🩸🩸�... @willofthemany
1K Followers 1K Following $CULT $RVLT #readthemanifesto #D3nft @d3conomist
Crypto duder @muminadi41
2 Followers 10 Following
Zadigknows 🩸🩸�... @zadigknows
202 Followers 762 Following We the people, have been played for way too long, time for a change. Freedom, compassion, love and decentralization: read and spread the manifesto…$CULT DAO
Harrybo-rg.cult 🩸 @harrybo_rg
1K Followers 357 Following THE GOOD EARTH IS RICH & CAN PROVIDE FOR EVERYONE 🌍 $CULT x $RVLT 🩸 ✊🏼 $BORG 💚
Redzak 🇩🇿🔻 @redzak_
139 Followers 523 Following when the rich rob the poor, it's called business. When the poor fights back, it's called violence" https://t.co/FgM8Y7Spr5 @wearecultdao #readthecultmanifesto
Carlton Bags 🩸🩸... @CarltonBags
881 Followers 1K Following HoS: https://t.co/Dd71HiSNft 🤡 https://t.co/k5tKgkeIql 🤡 Guardian Emeritus @wearecultdao 🤡
cryptodiver 🩸🩸�... @cryptodiver1981
362 Followers 447 Following
Scotex.Cult🩸🩸�... @Scotex007
183 Followers 452 Following
Ethproofs @eth_proofs
4K Followers 136 Following L2beat for zkVMs. Ethereum snarkification, accelerated
Prover Killer @YourBuddyConner
2K Followers 901 Following zk/acc | building @TheProofLab | My tweets represent my own opinions | Alumnus @MinaProtocol @nomadxyz_ @CeloOrgTrends for United States
You might like
