One step closer to 4-8x faster Ethereum finality! It took some time and lots of tokens, but we now have a formally verified proposal for a decoupled consensus protocol in I* (a future Ethereum upgrade)! Not yet a full spec (up next), but it includes all the key consensus-relevant details to become one. Since Ethereum aspires to be live without most of the stake online, the protocol involves many more components than a normal BFT protocol, and its correctness involves much more than standard safety and liveness. Those nuanced properties are now verified! What's more, I came away convinced that all protocol design will involve AI-assisted Formal Verification in the future, both for correctness and iteration speed. The work wasn't limited to just: Design the protocol -> Formally verify it Instead, the loop became more like: Design -> Formal Model -> Find exactly what breaks and why -> Redesign it. For a fairly complicated protocol like this one, I think having the Lean model be part of the design loop played a big role in accelerating the process. A future with agents paired with formal models is a superpower for Ethereum development, because they can then use those models to find exactly where an argument breaks down, formalize counterexamples, test proposed fixes, iterate on the protocol. Many details that would slip under the radar when asking agents (and indeed, humans) can now be specified exactly and checked by the Lean kernel. This then forces agents to be more precise and lets them make verifiable progress on their own. It's been incredible to see this play out, seeing agents find gaps and propose protocol changes to fix them. In other words, autoresearch can speed up protocol design, formal verification is here to stay, and Ethereum Finality will get faster.

0x02 staked ETH should go up soon once @LidoFinance consolidates 👀

its funny cause eth actually goes to 10k this time and everyone thinks thats the top but it keeps going

📊 BeaconScore of the 10 largest entities — August 1–31 2026 Network Average 99.4210% 🟢 @Figment_io +0.37pp 🟢 @everstake_pool +0.36pp 🟢 @binance +0.35pp 🔴 @LidoFinance CSM -0.32pp 6 of 10 ≥ +0.25pp beaconcha.in/entities

⏱️ Who delays block proposals the most? — August 1–31 2026 - @Kiln_finance ≈2,570 ms - @everstake_pool ≈2,550 - @Figment_io ≈2,530 - @binance ≈920 ms Network median ≈1,060 ms

Logged-in users now get a better beaconcha.in experience: the "old" homepage's data sets and their own validators are combined on one page, the new "Home" page. - Your dashboard data - Validator queue data - Staking entity overview 👉 beaconcha.in/home

⏱️ MEV timing — August 1–31 2026 Relay-won blocks bid on time (≤1.2s), 10 largest entities - @binance 96.9% - @LidoFinance CSM 87.5% - @LidoFinance 71.5% - @Kiln_finance 3.1% - @everstake_pool 0.7% Network on time: 62.5% Timing ≠ intent

The battle of the rugs... On Base. This is poetry.

Staking entities page now show which relays delivered each operator's blocks ◼️◻️ Sort ascending to find the vanilla-block operators (usually a misconfigured relay😅) beaconcha.in/entities

after discovering that all top websites are wrong, i'm announcing ethsupply.fyi, the most accurate (or at least the most auditable) tracker of the ETH supply 🧵

New EIP! Post-quantum-ready deposit contract 🔗 github.com/ethereum/EIPs/pul… Highlights: - Introduces a new validator deposit contract that supports variable-length `pubkey` and `credential_metadata` fields (each capped at 8192 bytes) plus an explicit `scheme` identifier; scheme 0 is reserved for today’s BLS deposits. - Removes reliance on the legacy deposit contract’s Merkle tree / `deposit_data_root` approach by using log-derived execution requests carried to consensus via EIP-7685 (building on the post-EIP-6110 model). - Defines irreversible contract modes controlled only by protocol system calls: deposits start disabled, then switch to BLS-enabled at `INITIAL_ACTIVATION_TIMESTAMP`, and later permanently retire BLS deposits at `BLS_RETIREMENT_TIMESTAMP` (BLS can’t be re-enabled). - During a migration period, execution clients must combine deposits from both the legacy deposit contract and the new contract into a single ordered generalized request list; after activation they must stop emitting the old EIP-6110 deposit request type, and after retirement they must stop translating legacy deposit logs into requests. - Consensus processing stays unchanged for BLS (it appends to `state.pending_deposits` per EIP-7251), while non-BLS/unassigned schemes are carried through the system but ignored by consensus initially—enabling forward compatibility for future post-quantum credential-scheme EIPs without changing the contract again. ELI5: Ethereum needs a new “staking deposit box” that can hold different kinds of validator keys, including future bigger keys that might be safer against quantum computers. This EIP makes a new deposit contract where you can put in a public key and extra key info of variable size, and you label what kind of key it is with a small “scheme” number. For now, scheme 0 means the current BLS keys. The contract mostly just records deposits as events, and the beacon chain later decides whether the credentials are valid. It also adds an on-chain one-way switch so Ethereum can permanently stop accepting new BLS deposits at a chosen time, pushing everyone to newer (post-quantum) credential types later.

Release 26.33 is live - Machine and client metrics on the website - Machine alerts in the notification centre - Two new consolidation queue endpoints - MEV timing as a spread, not a single line

Forkcast is shipping a steady stream of updates: Rank page: ⇥ Click any EIP number to open its details without leaving the page. ⇥ Download your tier list as an image or copy a link to share it (thanks @casparschwa). ⇥ EIPs are now grouped into categories, to help parse the long list (thanks @nero_eth). The last of the proposals are making their way onto the rank page now. Anyone is welcome to rank EIPs and share their tier list to contribute to the conversation and help inform what ships in Hegotá (expected 2027). forkcast.org/rank EIP champions: add context (benefits, tradeoffs, faq, resources) to your EIP in forkcast, so reviewers can better understand and advocate for your proposal. Also shipped: forkcast.org/networks now includes Platåberget, the first public Glamsterdam testnet, and relevant @ethpandaops tooling. Global search is also live across the site. Reach out with feedback, feature requests, or help with champion support.

Goodbye, Poseidon! An epic 8-year, 8-figure rabbit hole in post-quantum cryptography reaches its dream conclusion. The Ethereum Foundation is abandoning Poseidon for L1, pivoting to SHA or BLAKE. This milestone unlocks ultimate security for lean Ethereum and foreshadows a golden era of hash-based cryptography. Since 2018, the Ethereum Foundation has invested in magic cryptographic bricks, so-called "SNARK-friendly hashes". In 2019, Poseidon was born. It held strong and became the dominant SNARK-friendly hash, securing billions via zkrollups and zkVMs. In a stunning reversal, breakthrough SNARK designs show that SNARK-friendly hashes aren't necessary after all. Off-the-shelf traditional hash functions like SHA2 and BLAKE2s can now match Poseidon in a SNARK. In hindsight the key was not SNARK-friendly hashes, but hash-friendly SNARKs. The secret is doing maths over the smallest prime number: 2. So-called "binary fields" natively speak the language of bits, aligning with the boolean operations inside traditional hashes. This is a stark departure from "prime fields", where awkward large-prime arithmetic makes bit manipulation painfully expensive. We're talking sci-fi cryptography. 1M traditional hash calls proven per second, on a laptop. Just 100x overhead vs native CPU boolean compute. Nobody predicted such performance, not even the handful of binary-field visionaries. Hat tip to the research geniuses: Jim and Ben with Binius in 2023; Ron, Benedikt and William with Flock in June. With SHA2, the lean aesthetic of minimal assumptions reaches its climax. The EF's principled stance on pure hash-based cryptography has aged like fine wine. We now enjoy foundations the world can trust for decades and centuries, foundations worthy of the dream of an internet of value. Speed of deployment is a secondary win. There's no longer a need to wait years for Poseidon cryptanalysis to bake. Emile and Thomas from the EF post-quantum team are moving at breakneck speed with binary fields. The strawmap now points to a production-grade leanVM in 2027, with CL, DL, EL deployments in 2028. As AI becomes exceptional at cryptanalysis, the contrarian bet to avoid riskier structures like lattices and isogenies is visibly paying off. The past weeks have been brutal. Lattice-based "HAWK" and isogeny-based "SQIsign", both signature schemes in NIST's Round 3, have suffered blows. Sources I trust say more blood is coming. On AI, the open autoresearch trend kicked off by ECDSA[.]fail is spreading fast, with amazing outcomes from zk[.]golf and SNARK[.]fast. Days ago SNARK[.]fast crossed 1.8M BLAKE3/sec proven on an M3 Max. Stay tuned for fresh autoresearch challenges dropping tomorrow. Also tomorrow: Ethproofs call #10, dedicated to binary fields. Possibly the most noteworthy Ethproofs call yet. Experts leading the charge will present the future of hash-based SNARKs at 2pm UTC. What an incredible time to be alive. To witness history, DM me for a calendar invite :) Today I can confidently claim that hash-based cryptography has won out for blockchain post-quantum signatures. SNARK succinctness compresses arbitrarily many signatures into one small proof per block. SNARK flexibility yields k-of-n threshold signatures, complex multisigs, and more. Ultimate security. Uncompromising performance. Full programmability. Believe in something. Believe in hashes.

ACDE #243, the next All Core Devs - Execution call, happens Today, Aug 13 at 14:00 UTC. Agenda: Glamsterdam devnet-8 readiness and newly proposed EIPs for Hegotá. Full agenda in the thread.

excited to share that forkcast and i will operate under the @EthCoordinate banner 🧭 ethereum protocol development is pure journey. there are milestones to celebrate, but no destination visible on the horizon yet. journeys are made more meaningful by the company you keep, and EthCoordinate features some of the best in the game: long-term thinkers with the right mix of integrity, ambition, and experience in the arena. i joined because i believe forkcast, and ultimately, ethereum will flourish more as a result of our combined efforts. i joined because ethereum's biggest bottleneck is social coordination rather than technical capability, and we're in a position to do something about it. so lets do something about it 🫡 --- in particular, im excited to rejoin a couple of all-stars from the @EFprotocol team: nixo and butta. the three of us will interact most closely and focus on keeping ACD on the rails, connected to stakeholders, and operating efficiently. @nixorokish moderates ACDE alongside ansgar and keeps many of the threads moving between meetings. @Butta_eth is the stakeholder whisperer that played a meaningful role in driving MaxEB adoption and socializing glamsterdam's repricing impact this year. i'll remain focused on forkcast as a neutral tracker of ethereum protocol development, and thrilled to have their support helping it better represent the state of the protocol and better serve stakeholders navigating the process. --- on the issuance eip: all i want to see is an earnest and informed debate about the long-term economic health of ethereum, and although messy, i think that's what is beginning to play out. i understand 8363's authors to be both well-intentioned and well-qualified to make the proposal. know that they have neither the will nor ability to force a major change to the network without a broad coalition of support. what i hope more observers can internalize is that the ability to productively navigate a contentious debate is a competitive advantage for ethereum, and a sign of health for a community. 8363 being in the inclusion stage funnel is the prompt to think critically about whether there is a looming problem to address, and if so, what to do about it and when. note that small or large changes to 8363 can be proposed along the way; i would encourage that route for those who don't support the eip as-is, but do believe "something" should be done. reach out if you want help navigating ACD. --- finally, glamsterdam is nearly here, and there's a ton more to get hyped for in hegota. frame transaction (8141) and eips being built on top of 8141 (see: 7906) can enable massive UX leaps - thats where i'll be spending any spare cycles. a new bi-weekly breakout call for 8141 will kick off on aug 25. beyond that, hegota proposals include shorter slots, additional scaling, steps toward zkevm, privacy primitives, and advances in another dozen categories. if you can't find something to get excited about in there, you've got your eyes closed. lfg

Probably the right time to finally mention that I left the Ethereum Foundation in April of this year. But through the support of the Protocol Guild and EthCoordinate, I'm not going anywhere. Ethereum's open governance process is made up of a loose coalition of organizations and individuals working to keep Ethereum the exemplar of technical excellence and resilience in a landscape of unprecedented, constantly evolving technology. I continue to work to facilitate this process to the best of my ability. I'm grateful to announce that I'll be jointly funded by the Protocol Guild and this new organization, EthCoordinate. An ACD facilitator role operating from within the PG represents a meaningful step toward making the governance process more autonomous from any one organization - and perhaps a stepping stone toward more such frameworks. The team that I led at the EF, Protocol Support, took on a majority of the technical support around governance and published the Forkcast website before being disbanded in June. By continuing to work closely with EthCoordinate and the Protocol cluster at the EF, we can make certain that these roles have continuity and transparency, and that the humans involved have the support they need to keep the Ethereum community engaged and up-to-date in a fully open process. Doubling down on tooling and resources to ensure that the community knows what's going on in governance isn't a 'nice to have', it's fundamental to Ethereum's culture. If you're an ecosystem builder, a traditional company with blockchain use cases, an L2, a wallet provider, etc, and have thoughts on how the process can better engage you in governance, feel free to reach out: mainnet is meant to be useful to you and, believe it or not, the devs love to hear from you. 🖖, nixo

Enter: EthCoordinate. tl;dr: EthCoordinate is a crypto-native organization born inside the EthStaker community, bringing together separate efforts under one umbrella to help with Ethereum governance coordination, support Forkcast, increase stakeholder engagement on proposed or upcoming EIPs and, of course, continue providing software, tooling, and technical support for home stakers. EthStaker started in 2020 when a loosely connected group of Ethereum enthusiasts joined efforts to speed up the development of the beacon chain. The organization steadily evolved, incorporating as a 501(c)4 nonprofit and taking up initiatives around independent participants of Ethereum's consensus mechanism, aka home stakers. Throughout the years, it has played a decisive role in coordinating the launch and operation of devnets, testnets, and mainnet hard fork upgrades; facilitating information flows and generally connecting dots that needed connecting. This year's tectonic organizational changes in the ecosystem have opened up functional gaps in Ethereum coordination. To close these gaps and continue supporting the network, EthStaker's core members are joined by mission-aligned fresh blood to aggregate efforts under one name to produce greater results than operating independently. EthCoordinate is a natural evolution of EthStaker; as Ethereum mainnet heads to its third radical consensus protocol change at a steady pace, it’s time for EthStaker to recalibrate around what Ethereum’s evolving community needs. Our mission is to facilitate interaction between stakeholders of the ecosystem to accelerate the adoption of the Ethereum network and to provide continuity for governance operations. We believe that the Ethereum mainnet is an unparalleled bedrock for the augmentation of humanity's productivity output and that ETH, the asset, is the token that aligns the incentives of all actors involved. We stand up for our values, combining technical rigor with pragmatism for Ethereum to continue being the most accessible and credibly neutral global blockchain. The team is 10 long-tenured Ethereum professionals and currently our main work streams are: ⇥ Maintain a high-quality venue for independent stakers to remain engaged and informed ⇥ Facilitate coordination around core protocol development and adjacencies ⇥ Develop and steward Forkcast, the most popular platform to track the research and engineering initiatives around Ethereum's core protocol ⇥ Facilitate research, discussion, and coordination around protocol economics in support of Ethereum's long-term economic health ⇥ Maintain open source tools and documentation used by participants of the consensus set We're energized for this chapter in Ethereum coordination & our role in it.

Issuance exists to secure the chain. It is not an instrument to tax holders to create UBI for institutional investors and DeFi protocols. Of course the companies users subsidize are in favor of the subsidy. EIP-8363 aids staking decentralization and makes ETH a stronger asset.

okay, i actually love this. @ethvaorg has a vote for node operators to signal whether or not their income should be cut. they have 29 votes w 83k ETH voting no (surprise) this represents 29 people each making $140k per year in passive income off the inflation of your ETH (1/x)