Paweł Bylica

In the future, EVM will spend more time computing gas than computing.

Announcing powdr-wasm! powdr-wasm is an optimized zkVM for WASM, built on top of @openvm_org and the novel 𝑐𝑟𝑢𝑠ℎ ISA. Early benchmarks already show 1.5x fewer trace cells & faster proof times compared to RISC-V (OpenVM). It also supports Go guests via WASI! 👇

@adrianbrink We have CLZ now.

I get the overall vibe, but Ethereum isn't even friendly to developers as a protocol. We had an EIP-665 (eips.ethereum.org/EIPS/eip-665), which was implemented in every client to add ed25519 precompiles. However instead of doing the simple thing, someone proposed to generalize it (ethereum-magicians.org/t/precompile-f…); make it work for all curves. So as a result the former was abandoned and closed and then the latter was also abandoned and closed. The net result is that 8 years later, we still only have secpk1 and bn128 precompiles instead of at least also having ed25519, which everyone agrees is just better. So I get why people complain that this looks not focused enough on actual users, sure. But god the problem is that this is also not focused on any protocol user. There are a bunch of super low hanging fruits (like freaking precompiles) that would make deploying privacy tech 10x easier, but we haven't managed to improve the core protocol a single bit on that front for the last 8 years.

@big_tech_sux You just want the "stack too deep" to stay so you can point it out in every Solidity vs Vyper discussion.

eip-8024 is a pretty useless eip, there are much better and more useful improvements for the evm like fixing the 70s memory model, why are the core teams prioritizing this!!

TIL you can do uint512 addition with AVX512. numberworld.org/y-cruncher/int…

@drakefjustin @tcoratger How are you fixing blobs?

Today marks an inflection in the Ethereum Foundation's long-term quantum strategy. We've formed a new Post Quantum (PQ) team, led by the brilliant Thomas Coratger (@tcoratger). Joining him is Emile, one of the world-class talents behind leanVM. leanVM is the cryptographic cornerstone of our entire post-quantum strategy. After years of quiet R&D, EF management has officially declared PQ security a top strategic priority. Our journey began in 2019, with the "Eth3.0 Quantum Security" presentation at StarkWare Sessions. Since 2024, PQ has been central to the @leanEthereum vision. The pace of PQ engineering breakthroughs since then has been nothing short of phenomenal. It's now 2026, timelines are accelerating. Time to go full PQ: → PQ ACD: Antonio Sanso (@asanso) kicks off a bi-weekly All Core Devs PQ transactions breakout call next month. These sessions focus on user-facing security, covering dedicated precompiles, account abstraction, and longer-term transaction signature aggregation with leanVM. → PQ foundations: Today we are announcing a $1M Poseidon Prize to harden the Poseidon hash function. We are betting big on hash-based cryptography to enjoy the strongest and leanest cryptographic foundations. Check out our other $1M PQ initiative, the Proximity Prize. → PQ devnets: Multi-client PQ consensus devnets are live! Shoutout to pioneers @zeamETH, @ReamLabs, @PierTwo_com, @geanclient, @ethlambda_lean, as well as established consensus teams Lighthouse, Grandine, and soon Prysm. This incredible teamwork is coordinated by @corcoranwill via weekly PQ interop calls. → PQ workshops: Building on last year's PQ workshop in Cambridge (see photo), the EF is hosting another 3-day PQ event in October. Top experts from around the world will convene. In addition, a PQ day is set for March 29 in Cannes just ahead of EthCC. → PQ FV and AI: Last week Alex Hicks (@alexanderlhicks) ran a specialised maths AI for 8 hours, at a $200 cost. It one-shotted a formal proof one of the hardest lemmas in the foundations of hash-based snarks. Mind-blowing. Applied cryptography will never be the same. → PQ roadmap: A comprehensive breakdown of the EF's proposed PQ strategy will be shared soon™ on pq[.]ethereum[.]org. The roadmap targets a full transition in coming years with zero loss of funds and zero downtime. Stay tuned :) → PQ education: The ZKPodcast (@zeroknowledgefm) is producing a 6-part video series on Ethereum's PQ strategy. EF Enterprise Acceleration is also preparing material for enterprises and nation-states. Finally, Ethereum is now represented on the PQ advisory board that Coinbase announced yesterday. Believe in something. Believe in PQ security.

@sina_mahmoodi Maybe keep this page in shape and up to date? #execution-clients" target="_blank" rel="nofollow noopener">ethereum.org/developers/doc…

Solidity compilation is now 5x faster than it was in 2023. The @solidity_lang team has been grinding on backend modernization, and they're not stopping. Next on their list is killing "stack too deep" errors for good. This is the kind of work that doesn't make headlines but keeps Ethereum moving.

Great post! On the security of autoprecompiles: we're working on multiple fronts: - optimizer & equiv checker in Lean - FV proving equiv of R5 code & generated circuits - simplifying the Rust code to a minimal core In the end autoprecompiles will enable better perf & security!

The fact drives a lot of talent away. You can just do things, but it must already be on Vitalik's todo list.

Fans of the C language, embedded engineers, compiler engineers -- take a look at this RFC to bring null safety and modern type narrowing to the clang compiler! discourse.llvm.org/t/rfc-flow-sen…

@sunnyside_io @ethereum BPO is a hard fork.

BPO1 is now activated on @ethereum 🥳 With the Fusaka upgrade, Ethereum can adjust blob parameters without a hard fork. BPO upgrades gradually scale blobs to minimize network risk. With BPO1, the blob target increases from 6 → 10.

Does the Fusaka upgrade still count as 100% uptime?

@no89thkey zkVMs don't care how you execute EVM, this EIP makes no difference.

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.

@somnergy I guess I missed it…

@chfast The #Ethereum mainnet #Fusaka upgrade is scheduled at 21:49:11 UTC. This corresponds to a Unix timestamp of 176479855

What time is it forking?

@nero_eth @jih2nn @MorphNetrunner Where is the spec?

6-second slots are fully spec’d, prototyped in Geth and Prysm, and ready to ship next year. Easily one of the most impactful upgrades we can deliver in the Heka/Bogotá fork. h/t @jih2nn and @MorphNetrunner for getting a first local devnet running.

@FUCORY If you focus on syntax then this is true. C++26 will finally have compile-time reflections, so you will be able express much more in the same language.

The reason I say that is because the entire big idea of comptime is reusing your programming language as your metaprogramming language or your generic type language. The entire value of that is how incredibly simple it is to use and reason about Template metaprogramming lacks both the big idea and the simplicity value proposition

TIL C++ has been adding zig comptime to the language

@FUCORY I disagree though

@chfast Comptime is definitely not template metaprogramming though

We’re thrilled to welcome @rodiazet to the Solidity team! Many of you already know his work from the Ipsilon team, where he contributed important features such as EOF support in the Solidity compiler, as well as earlier contributions during the Ewasm development efforts. With a strong background in compiler design, deep knowledge of EVM internals, and his ongoing work on evmone, a fast C++ EVM implementation and crucial part of the Solidity testing stack, he brings invaluable expertise to the team. On top of that, as an Ethereum core dev, he’s well versed in the protocol design process, including shepherding EIPs and contributing to core decision-making. This hire helps replenish team capacity following the personal and organizational changes earlier this year. Radek will strengthen the C++ side of the Solidity compiler, contributing to backend and optimizer features including SSA-CFG and ethdebug. We’re excited for what we’ll build together. Welcome aboard!