以太坊研究日报
The Platåberget testnet activated Glamsterdam, but a builder deposit caching issue at the upgrade transition caused non-finality; in the evening ACDC #185 proposed upgrading Sepolia on September 28 and Hoodi on October 26. On accounts, chunter-cb split EIP-8130 authenticators into four tiers, CANONICAL, PURE, BOUNDED and ARBITRARY, which govern mempool propagation without changing consensus validity, and AnkushinDaniil proposed a bound on producer-side re-execution of non-approving validation prefixes. The EF Formal Verification team launched the better.codes autoresearch challenge.
(chunter-cb), submitted. It replaces the binary canonical/permissive description with four tiers, CANONICAL, PURE, BOUNDED and ARBITRARY, that classify a declared authenticator by code hash; consensus validity is unchanged, and under the L1 profile any authenticator returning within `MAX_AUTHENTICATION_GAS` remains valid in a block, while the tiers govern mempool propagation and revalidation.
Merged.
(gurukamath), submitted. The spec charges a `resolved_target`'s warm/cold access within the frame's own `limits.execution` but never says when, and defines no execution cost for frames dispatched to the default code, so implementations can diverge on `gas_used.execution`, on warmth and even on validity. The same author's scope APPROVE failure modes to the current call frame was submitted the same day.
EIP-8141: charge the resolved target's access at frame entry (gurukamath), submitted. The spec charges a `resolved_target`'s warm/cold access within the frame's own `limits.execution` but never says when, and defines no execution cost for frames dispatched to the default code, so implementations can diverge on `gas_used.execution`, on warmth and even on validity. The same author's scope APPROVE failure modes to the current call frame was submitted the same day.
(AnkushinDaniil), submitted. The mempool section already bounds admission and head-change revalidation but not re-execution by the block producer.
(ilitteri), submitted. The formula multiplied a weighted count by 16, which prices zero bytes at 16 gas and nonzero bytes at 64, matching neither EIP-7623 (10/40) nor EIP-7976 (64/64).
07:59.
Merged.
Participants point their own AI agents at raising the Lean machine-checked soundness bound of koalaIRS12, a Reed-Solomon proximity problem, toward a 128-bit target, in service of hash-based SNARKs.
03:11, putting Gnosis Chain on a path to an EEZ rollup settling on Ethereum.
PRs making the EIP-8131 data floor and the EIP-8279 BAL floor independent of the gas limit were merged; EIP-8146: the CL must deliver the BAL to the EL before the payload was submitted and merged.
PRs making the EIP-8131 data floor and the EIP-8279 BAL floor independent of the gas limit were merged; EIP-8146: the CL must deliver the BAL to the EL before the payload was submitted and merged.
PRs making the EIP-8131 data floor and the EIP-8279 BAL floor independent of the gas limit were merged; EIP-8146: the CL must deliver the BAL to the EL before the payload was submitted and merged.
10:50.
The ACDE #244 agenda was posted at 21:06.
16:28.
07:53, to keep the security bar while scaling agent deployment.