Prooflab

A research collective dedicated to improving the security, performance, and reliability of cryptographic systems through research and open collaboration

[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.

[Prooflab @TheProofLab]

@OPLabsPBC Read the paper!

https://t.co/M0yUwcY28e

[Stefanos Chaliasos @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/🧵

[Prooflab @TheProofLab]

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.

[Stefanos Chaliasos @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/🧵

[Prooflab @TheProofLab]

Check out our research samples repository for more: https://t.co/iqEiRdTnus

[Prooflab @TheProofLab]

We ❤️ zkVMs
We 💕 reading all the code
We 🫶 @ProjectZKM!

[ZKM @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.

[Prooflab @TheProofLab]

🔗: https://t.co/3ElKpSzPoZ

[Prooflab @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

[Prooflab @TheProofLab]

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

[Manifold Research @ManifoldRG]

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!

[Manifold Research @ManifoldRG]

📣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!

[House of ZK @HouseofZK]

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.

[Prooflab @TheProofLab]

@Web3Alerts

[Aligned @alignedlayer]

.@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/

[Prooflab @TheProofLab]

Extremely aligned

[Aligned @alignedlayer]

✨ 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/

[ZK Hack @__zkhack__]

@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:
https://t.co/P0J0VIBEh3

[Prooflab @TheProofLab]

@frontiertower @IvankaHayes1 @alicelingl @HouseofZK @SuccinctLabs @zkemail @aztecnetwork say less!

[ZK Hack @__zkhack__]

@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.

https://t.co/vORMfh5Uhi

[Prooflab @TheProofLab]

@maanav @YourBuddyConner @frontiertower @HouseofZK oh, he wants a pink hat!

[Conner Swann @YourBuddyConner]

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!

[Prooflab @TheProofLab]

hey @RiscZero + @boundless_xyz, why is there no Risc0 or Boundless prover on @eth_proofs?