Murche (fmr. WholesumNet)

🫶

Ethproofs call 6b, proximity gaps This session dives deep into proximity gaps—why conjectures are failing, what provable alternatives look like, and how this reshapes zkVM security foundations heading into 2026. Watch here 👇 youtu.be/Dm-SaFFZS48?si…

We're doing an Engineering Residency at LambdaClass in Buenos Aires for people who want to work on system programming, artificial intelligence, distributed systems, cryptography, high performance and low level infrastructure. It's gonna last 6 months, full time, on site. You will be working on real production systems and applied research. Before joining, candidates must complete our Hacking Learning Path autonomously. If you're interested fill the form: docs.google.com/forms/d/e/1FAI… Please share and like for students and young people to find out about the opportunity.

@fbwoolf @eth_proofs 🙏

Ethproofs day playlist is now available! @eth_proofs youtube.com/playlist?list=…

@eth_proofs @yuwen01 @SuccinctLabs 👍

📺 Ethproofs day Lightning Talk: SP1 and Subblocks: Low Latency Ethereum Block Proving by Yuwen Zhang, Succinct @yuwen01 @SuccinctLabs youtu.be/FlANWKnXVPY

@fede_intern @ethrex_client @ziskvm 👏

Something something is cooking with @ethrex_client and @ziskvm.

@_Enoch @no89thkey subblock killer :)

@no89thkey I made sure to squeeze in one last nasty mega transaction while I could. 😁 etherscan.io/tx/0x9b2edd18c… 60M gas worth of serial modexp! ethproofs.org/blocks/23928584

EIP-7825 is one of the most underrated upgrades for the future of ZK proving and 100X Ethereum scaling. By capping each Ethereum transaction at ~16.78M gas, it removes the risk of a single “mega-transaction” consuming an entire block. That sounds small, but the implications for ZK systems are huge. ZKVMs generate proofs by replaying execution. Bigger single tx → bigger un-parallelizable unit of work → longer latency. Before 7825, one "ZK unfriendly" transaction could blow up the proof time because you cannot run parallel proving across multiple transactions. This easily breaks real-time proving which is needed for 100X Ethereum scaling. For any team working on fast ZKVMs, this was the nightmare scenario. 7825 fixes that. Now, every block is made of predictable, bounded work units, which makes proving schedulable and highly parallelizable. As long as we can prove a worst-case 16M gas tx fast enough (like <5s), we know we can prove basically any big blocks through parallel computing. In short: EIP-7825 made sure that Ethereum real-time proving becomes a pure money problem. As long as we can throw enough parallel computing power to the problem, we can get real-time Ethereum proving for even 100M, 200M gas blocks, TODAY. This upgrade may not look like the main event tonight, but it is actually a massive unlock for the ZK roadmap and the future of Ethereum scaling in 2026. Believe in somETHing.

Ethereum snarkificiation north star: To prove(>128 bits of security) giga-gas blocks on a single mobile machine: ~"M4 max/Ryzen Al Max+ 395, 128GB of memory". If @eth_proofs calls for it, the community will deliver in less than two years. Higher please.

@jbaylina @ziskvm Nice to see Thinkpads with privacy shutters there :)

We are ready for the event @ziskvm See you at Aleph Hub!

@drakefjustin @zksync @robik @MarcinM02 @Shamatar 👀

🤯 two 5090s now prove every L1 EVM block 🤯 The @zksync Airbender team pulled off something insane ahead of tomorrow's ethproofs.day demo. Mainnet proofs on two gaming GPUs. One box, ~1kW—basically a toaster. Props to @robik, Michael Carrili, @MarcinM02, @Shamatar. The L1 gas limit is going higher. So much higher. Beast mode. Gigagas L1. Believe in something.

@SuccinctLabs 👀

Real-time proving at home is here. SP1 Hypercube proves 99.7% of Ethereum blocks in real time with just 16 RTX 5090 GPUs. Scaling the L1 is a reality.

@leanEthereum Hello, and welcome!

hello world

Craaazy 365 days of @leanEthereum progress. Cheers to the builders. Cheers to the dreamers. Cheers to anti-fragility, too :) Devcon, Bangkok — Nov 12, 2024. The suspense is real. The room overflows; hundreds can't get in. An "announcement of an announcement" had sparked wild speculation about my "most ambitious initiative". Who knew the beam chain vision would evolve into lean Ethereum? Next-level ambition, seeping into all layers of L1. Snarks for consensus and execution. Fort mode and beast mode. What's new? zkEVMs. Real-time proving. Full validation in a tab, on a phone. Let's pump L1 gas with the exponential snark curve. Starting in months, not years. To me it all points to 10K TPS, the gigagas frontier. Dream bigger dreams for L1. Believe in something. ——— part 1—lean consensus devnets → clients: 4 new lean CL clients (Zeam, Ream, Qlean, Lantern) → languages: 3 new CL languages (Zig, C++, C) → specs: by @tcoratger + 14 others; 3SF-mini subspec by @vitalikbuterin → testing: revamped test framework by @fselmo2; @Sib_Katya metrics → devnets: multi-client 3SF with 4s slots and 12s finality; PQ soon™ coordination → hires: EF Protocol coordinators @corcoranwill and @ladislaus0x → CL teams: led by @Gajpower, @unnawut, @kamil_abiy, @mstore80 → 7 consensus calls: teams, PQ, p2p, exit queue, APS, 3SF, PQ specs → Cannes workshop: 1 day at EthCC in June; interop kicked off → 13 interop calls: by @corcoranwill on Wednesdays at 2pm UTC → Cambridge Oct workshops: 1 day leanVM, 3 days PQ, 3 days CL cryptography → leanSig: 3 papers on hash sigs by Benedikt, @khovr, @kudinov_mikhail → leanVM: fast minimal aggregation zkVM by Emile → WHIR: fast Plonky3 implementation by @tcoratger → optimisoors: @AngusGruen, @GiacomoFenzi, @lambdaclass, @kiliconu → Poseidon2: 4 cryptanalysis workshops by @khovr, @asanso → maths: $1M Millennium-like proximity prize; papers flowing → formal verification: ArkLib by @QuangVDao research → consensus team: hires @yannvon and lead @robsaltini join @luca_zanolini → faster finality: 1- or 2-round designs with Ethereum-grade liveness → 3sf-gold: new fast inclusion by @fradamt, @vitalikbuterin from Cambridge → p2p: @qdrvm_io simulator; @raulvk ethp2p; @soispoke leanp2p → rainbow staking: new Cambridge ideas; specs by Dan Goron & Alex Vlad ——— part 2—lean execution zkEVM tech → real-time proving: ~100 engineers pushing across ~10 zkVM teams → GPU proving: 16 5090s (10kW) proving mainnet; $0.01/block → guests: revm (Reth), levm (Ethrex), evmone (Zilkworm), ZKSync OS → more guest programs: Geth, Besu, Nethermind and others soon™ → RISC-V: de facto ISA of choice for zkEVM proving → Picus: prolific Veridise tool to identify under-constraints → formal verification: $4M across 40 grants by @alexanderlhicks Ethproofs community → zkVM integrations: Airbender, OpenVM, Pico, R0VM, SP1, Ziren, ZisK → other integrations: Cysic, Fermah, Marlin, Snarkify, Zilkworm, ZkCloud → website: driven by @fbwoolf under new EF Ethproofs team → 7 calls: zkVMs, RTP, gigagas, RISC-V, native rollups, proximity gaps → Ethproofs day: Nov 22 at Devconnect; register at ethproofs[.]day → zkAttester demo: my home validator on zkEVM proofs at Ethproofs day EF zkEVM team → new team: led by @kevaundray with Cody, Han, Ignacio, Radek, Sophia → EF blog post: real-time proving requirements by @_sophiagold_ → zkLighthouse: modified Lighthouse client by @kevaundray → zkEVM/acc: @ignaciohagopian benchmarks; @codytouchgrass tests → more zkEVM/acc: @kevaundray standardisation; Ere by @han__0110 future of EL → Fusaka: per-tx gas limit (EIP 7825); MODEXP killer (EIPs 7823, 7883) → EVM 2.0: @vitalikbuterin proposal to enshrine RISC-V under the EVM → native rollups: championed by @lucadonnoh; wrote book and draft EIP → gas auto-pumps: 3x/year gas pumps (EIP-7938 by @dankrad) → gigagas L1: champion wanted—reach out :) gigagas@ethereum.org

@drakefjustin 🫡

lowercase snarks Words like laser, scuba, radar began uppercase. LASER — Light Amplification by Stimulated Emission of Radiation SCUBA — Self-Contained Underwater Breathing Apparatus RADAR — RAdio Detection And Ranging When a technology matures and becomes reliable, trusted, commoditised, it earns the lowercase. Lean Ethereum is a bet on snarks, not Succinct Non-interactive ARguments of Knowledge. Post-quantum security. Provable soundness. End-to-end formal verification. Deep cryptanalysis. Real-time proving. zkVM programmability. Simplicity and elegance. All essential for the lowercase. All inevitable. Ethereum L1 has 10y uptime and $1T secured with hashes and signatures, our cryptographic workhorses. I believe in 100y uptime and $1Q secured with snarks, our cryptographic jet engines. * L1 scale — 10K TPS gigagas scale with real-time zkEVMs * L1 security — post-quantum security with snarked signatures * L1 privacy — Zcash-grade stealth with wormholes (eg EIP-7503) Shipping snarks is a cryptographic Manhattan Project, one the EF is investing tens of millions into: * verified-zkevm[.]org — formal verification * poseidon-initiative[.]info — deep cryptanalysis * ethproofs[.]org — real-time proving * proximityprize[.]org — provable soundness * zkevm.ethereum[.]foundation — enshrinement * pse[.]dev — privacy Step by step, the EF is evolving into a snark-first org: * cryptography team — driving soundness and cryptanalysis * snarkification team — driving formal verification * zkEVM team — driving protocol integration * Ethproofs team — driving real-time proving * PSE team — driving privacy * PQ consensus team — soon™ Believe in something magical. Believe in lowercase snarks.

- Airbender is really fast - Zilkworm is closing on in Hypercube while using a previous gen zkVM Block division is really slow, 20-50 Kgas/s per 4090

@cryptobuilder_ @Paul_Gafni indeed.

I think this STARK by hand walkthrough of constructing SNARK step-be-step by @Paul_Gafni is one of the most brilliant tutorials currently existing in the zk space: dev.risczero.com/proof-system/s… And please let me never ever hear about Alibaba cave again. All adult people graduated from school can grasp this tutorial.

🏃 MOAR BIG NEWS!!!: Airbender (developed by @zksync ) has just onboarded onto Ethproofs! They are now at the top of the leaderboard with the fastest single-GPU prover - averaging sub 50s w/ a single 4090!!! Amazing work! Welcome to the team, Airbender 🫡