
timbeiko.eth
19.7K posts








Today I had the opportunity to present Ethereum's post-quantum security strategy at the Institutional Ethereum Forum in NYC. 15 minutes to explain why every proof-of-stake blockchain faces the same signature aggregation problem — and what the EF is doing about it. We also launched pq.ethereum.org — a dedicated resource that brings together everything the PQ/Crypto teams have been working on: → How PQ impacts each protocol layer → The full PQ roadmap → Open resources — repos, specs, papers → FAQ — 14 questions we keep getting from institutions, now open-sourced → Interest form for the 2nd Annual PQ Research Retreat (Cambridge, Oct 2026) Huge thanks to @drakefjustin @tcoratger @asanso and the entire PQ team, the @leanEthereum client teams shipping devnets every week. Next week: Fort Mode in Cannes. pq.ethereum.org



1/ The Ethereum Foundation has begun staking a portion of its treasury, in line with its Treasury Policy announced last year. Today, the EF made a 2016 ETH deposit. Approximately 70,000 ETH will be staked with rewards directed back to the EF treasury.






What if agents could automatically align incentives using smart contracts? In this demo, two agents play Prisoner's dilemma, negotiate a smart contract to ensure cooperation, deploy it on Sepolia, verify on Etherscan and use it to make verifiable commitments. All end-to-end! Try it here: automated-mechanism-design.vercel.app Made with the help of @x_angelohuang and @iperboreo_. Huge thanks to @ARIA_research, @DavideCrapis, and @VittoStack!

We've been working with @kevaundray and @ladislaus0x from @ethereumfndn and @donnoh_eth from @l2beat on a proof of concept of EIP-8079 (native rollups) using @ethrex_client. Native rollups reuse Ethereum's own execution to verify L2 state transitions. No ZK circuits, no fraud proofs, no complex proof systems to maintain. Every L1 upgrade is automatically inherited. Any bug in the verification is also a bug in Ethereum itself. The demo shows a full end-to-end native rollup: - L2 blocks settled to L1 via the EXECUTE precompile - L1→L2 deposit - Contract deployment and cross-layer calls - L2→L1 withdrawal with MPT proof claim - Blockscout verifying EXECUTE precompile calls on L1 Try it yourself. Instructions in the PR below.




