Forkcast

the ethereum upgrade tracker ⚡ what's on the horizon and how it impacts you // storm chasers: @wolovim, @ethcoordinate

[trent.eth @trent_vanepps]

@benjaminion_xyz change EIPs.ethereum to @forkcast_eth and you've got a deal

[Tau Lepton @TauLepton_]

Today, EIP-8025 was DFI'd for the Hegota hard fork.

On the surface, some may interpret this as a rejection of execution proofs as a concept. However, my experience has been quite the opposite.

Over the past year working on this EIP, I've witnessed overwhelming support and collaboration from across the Ethereum community.

Over the next few days, we'll be shipping execution proofs on Sepolia.

Onwards!

[Forkcast @forkcast_eth]

hegota scoping ⚡

ACDC #189 - ultra tl;dr

DFI:
🪓 7716: Anti-Correlation Attestation Penalties
🪓 8025: Optional Execution Proofs
🪓 8359: Beacon Block Reporting Field
🪓 8371: RowDAS

generally liked EIPs, but teams found that they weren't urgent enough to schedule (7716, 8359, 8371) or that they could be tackled without CFI (8025)

5 more EIPs to assess next meeting

video and summary:
https://t.co/xhINSmwsxj

[Forkcast @forkcast_eth]

@abcoathup 💙

[Forkcast @forkcast_eth]

hegota scoping continues! ⚡

ACDE 247 - ultra tl;dr

CFI:
4758: Deactivate SELFDESTRUCT
5920: PAY opcode
7709: Read BLOCKHASH from Storage and Update Cost
8077: eth/XX - announce transactions with nonce
8116: Replace cumulative receipt fields
8151: Account Code Restricted ecRecover
8298: SETCODEFROM Code Reuse Instruction
8360: TCREATE Opcode

DFI:
7666: EVM-ify the identity precompile
8355: Precompiles for ML-DSA Verification
8374: Persist Warm Access Sets Across Reverts

video & symmary:
https://t.co/Z3Dd3CscYp

[Forkcast @forkcast_eth]

Hegotá scoping continued ⚡

ACDC #188 - ultra tl;dr

CFI:
8198: Quick Slots
8365: Disallow new 0x00 validators

DFI:
8379: Top-up Sync
8333: Align Checkpoint... (Withdrawn)
8363: Tapered Issuance Burn (Withdrawn)

Decision deferred:
8025: Optional Execution Proofs
8383: Reduce CL Block Retention Window
8411: Fast Execution Payload Broadcast

video & summary:
https://t.co/ngrsFntS4g

[abcoathup.eth @abcoathup]

So much Ethereum news.

Can’t wait to listen to ACDC on @forkcast_eth tomorrow. I’m like a kid on Christmas Eve.

Fun day editing @EtherealnewsHQ ahead.

[stokes @ralexstokes]

Glamsterdam is coming, and it is bringing blocks built without trusted relays (and a lot more)!

The Sepolia testnet upgrade has been scheduled for 6 October of this year. Hoodi and mainnet dates will be announced separately. Activation table, client releases, and info on the bug bounty program can be found here: https://t.co/MofsBXr4ID

[Will Corcoran @corcoranwill]

The September all-Protocol update is out. Glamsterdam heads to Sepolia on Oct 6, both Hegotá headliners are on devnets, and the PQ roadmap is taking concrete shape. Plus faster block propagation and autoresearch. Highlights in the thread below. 👇 https://t.co/apO2oPLZKd

[Francesco @fradamt]

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.

[nixo.eth @nixorokish]

Features moved to "considered" status for Hegotá today (the fork following Glamsterdam):

- three Frame txs EIPs (tx assertions via state diff opcode, keyed nonces, recent roots)
- remove bloom filters
- bump nonce of zero-nonce storage accounts
- remove storage-clear refund & refund cap
- unified tx content floor & block access list byte floor
- call & return opcodes for the EVM
- reserve EXTENSION (0xae) opcode

Some that the call in 2 weeks will cover that ecosystem devs might be interested in chiming in about:

- TCREATE opcode
- account code restricted ecRecover
- SETCODEFROM code reuse instruction
- precompiles for ML-DSA verification
- deactivate SELFDESTRUCT
- EVM-ify the identity precompiles
- read BLOCKHASH from storage and update cost

"Considered" status doesn't definitely mean it'll be included, so if you're a dev and see one that you're excited about, find its champion on Forkcast and ask them if they need any help around it!

[marc | wolovim.eth @wolovim]

native AA in ethereum ⚡

frame breakout #5 - tl;dr:

→ @ethrex_client testnet: 14 days, 3 clients, 400 frame txs from 21 senders
→ @weboftrees (ef) outlines multidimensional gas considerations
→ @_jxom (viem) feedback: gaps in JSON-RPC specs
→ @ox_shaman (@ethlabs_org) teases an ERC to combine many UX puzzle pieces
→ @Ankuinf (@Nethermind): proposes raising devnet tx gas limit to test complex scenarios

full call: https://t.co/qGhf7pJC3l

since then:

✨ frames-devnet-0 is live! ✨
https://t.co/x76bDwAwi2

this is the first of hegota's devnets. focil will get its own feature devnet, and once satisfied with the fundamentals of each, a combined hegota-devnet-0 will follow

🚢

[stokes @ralexstokes]

shoutout to https://t.co/8zyoXdrEn6

it's a very niche tool (ethereum hf viz infra) but it really helps navigate what can often times be a zoo

[Forkcast @forkcast_eth]

@ralexstokes 🫶

[Justin Traglia @jtraglia]

Security researchers, get ready! The Glamsterdam upgrade is approaching. The Ethereum Foundation’s bug bounty program will begin accepting reports for Glamsterdam bugs once the Sepolia upgrade blog post is published. And take note of the reward multipliers!

https://t.co/kd8nURQfwR

[Forkcast @forkcast_eth]

CL teams turn to axe some Hegotá EIPs 🪓

ACDC #187 - ultra tl;dr

Hegota:
→ 8015: CFI ✅
→ 8365: to adjust scope, expected CFI
→ 7 DFIs 🪓
→ issuance not tackled this week

Glam:
→ sepolia: oct 6 ✅
→ QUIC default, mplex deprecated soon after

https://t.co/YEk1zAKK5v

[abcoathup.eth @abcoathup]

@corcoranwill @forkcast_eth .@forkcast_eth took over the @EtherealnewsHQ feed

https://t.co/Sb9grttEMy

[Will Corcoran @corcoranwill]

setting a reminder to check @forkcast_eth

[Forkcast @forkcast_eth]

⚡ ACDE #245 - ultra tl;dr:

→ 8141 (frame tx) confirmed as a Hegota headliner, alongside 7805 (FOCIL) 🏆
→ first 14 DFI decisions made: 7819, 7851, 2488, 8219, 8182, 7645, 7923, 8200, 8188, 8358, 8115, 7862, 7807, 8094 🪓

video and summary:
https://t.co/Jc84KFvCQ4

[Forkcast @forkcast_eth]

Client teams are publishing their Hegotá EIP rankings ahead of tomorrow's ACDE call ⚡

[marc | wolovim.eth @wolovim]

hegota client preferences thread 🧵

(discussion begins in ACDE tmrw)