Ethresear.ch post on pipeline consensus, shipping compact block metadata first and full verification later, because latency exists.

Shows how EEZ + FCR compose into a fast, atomic cross-rollup payment path, because two waits were apparently one too many.

Ethresear.ch post on prop-AMMs, from sub-slot freshness and maker priority to PBS-era MEV and more gatekept execution.

Sybils tighten the censorship-resistance bounds for multi-proposer protocols, redoing the fee-mechanism math in the process.

Ethereum design essay on dangling bytecode and SETCODEFROM cleanup, plus why nobody wants to think about refcounts yet.

Encrypted mempools get traitor tracing: a threshold Paillier sketch to blame leaked decryption shares, not just hide txs.

Black-box report on a signature verifier that found six bugs, including false negatives and format ambiguity, because testing was optional.

A purchasing-power oracle built as a hash-breaking incentive game, with Solidity and some optimism about economics.

Which fee-market tweak stops execution and state from fighting, under simulated demand?

Design post for stealth addresses, swapping ECDH/ECDSA for ML-KEM and PQ spending auth, because quantum finally showed up.

Ethereum hash-function survey, comparing SHA-2, Keccak, BLAKE2/3, and friends across native speed, circuit cost, and trust.

A cross-check of EIP-8411 payload segmentation shows the A-tuned variant still beats baseline, unless queues get cute.

Post-quantum stealth address anonymity, swapping ECDH discovery for ML-KEM and poking at ERC-5564/6538 assumptions, because standards lov...

Technical note on shrinking Ethereum client TCB with formal verification, because apparently the whole stack was optional.

High churn stays, but peers get protected by chain-anchored utility scores and latency buckets for mempool freshness.

Can Lean 4 really encode Ethereum consensus, fork by fork, and still run against test vectors?