Ethereum

@ethereum

Oct 16

Francesco

@fradamt

Oct 16

AI is making Ethereum more ambitious.

You might have heard about the challenges that blockchains face in a post-AI world, and while security assumptions will surely be stress-tested in the coming months and years, there is another side to it. I believe AI will let us speedrun both more secure and feature-rich.

As we look towards Ethereum's first post-AI upgrade, Hegotá, the R&D community is asking itself what increasingly powerful tools could help us do differently:

> How far can we push both security and iteration speed?
> How much of the design space can we examine before committing to one?
> How easily can we test the interactions between complex features?

My recent formal verification work @ethlabs_org has given me some reasons to be optimistic about these, as work that would have previously not even been attempted is now being done by agents in days. In September, I posted about using formal verification as part of designing a new consensus protocol. This time, I want to tell you about formally verifying something already fully specified and in production: Ethereum's Fast Confirmation Rule (FCR).

If you are not familiar with FCR, it lets applications confirm Ethereum blocks in seconds, roughly 30x faster than waiting for finality, under additional assumptions (from waiting 13 minutes to 24 seconds!). It also further solidifies Ethereum L1's case as an asset hub and center of gravity for the onchain economy. FCR now has a safety proof in Lean, closely modeling the rule in the consensus specs, which is the source of truth for Ethereum's consensus clients.

Some takeaways:

> FCR is safe! Under its assumptions, confirmed blocks remain canonical. On top of the manual proofs from the paper, we now have Lean proofs of this for the actual spec, additional evidence for applications considering FCR!

> The bulk of the formal verification work took just a 4-5 days (check out the animation!), with agents working mostly unsupervised. We should be very ambitious about using this as a tool at scale.

> After verifying the current rule, it was easy to adapt the model to the upcoming Gloas changes. Immediately, this surfaced a subtle bug caused by changes to fork choice. The problem was in the spec itself and not a gap in the model. The safety proof would not go through, and the agents could precisely pinpoint what was causing it to fail. The bug is now fixed, and formal verification of the corrected protocol goes through.

Iteration is never quite over, even for "finished" features like FCR, because the protocol keeps evolving around them. A formal model lets us ensure that key properties keep holding throughout the evolution of the protocol. With these capabilities, Ethereum can and should keep upgrading faster, tightening fork timelines and exploring more ambitious features, while still raising the security bar.

This picture has been getting much clearer over the past few months, and the past week confirmed it for me, as @drakefjustin and @corcoranwill brought together 100+ Ethereum researchers, cryptographers and formal verification experts in Cambridge for six days of workshops on post-quantum cryptography, formal verification and fast finality. Beyond its own workshop, formal verification was the omnipresent star of the week: everyone is using Lean and doing amazing things with it! Piece by piece, Ethereum's technological core is being rebuilt for the post-AI age.

The excitement was palpable, the sense of optimism was pervasive, and every talk and conversation carried a level of ambition I'd never seen before. The Ethereum R&D machine is upgrading itself, and we will see the outcome of that on the network sooner than you think.

AnyNodes@AnyNodes

Oct 14

HOPR 🟡

@hoprnet

Oct 13

We’re excited to announce our latest release: Piz Palü

Piz Palü marks the next stage for the HOPR network, opening node running to everyone and preparing the network for @Gnosis_VPN

So, what’s changing?

1/9

Ethereum

@ethereum

Oct 8

Ethereum Institutional

@ethereuminsti

Oct 8

1 / @ethereum is still called a blockchain. By 2030, that word won't cover it.

We turned @VitalikButerin's essay "The cryptographic world computer" into a visual reading: every block checked with one proof, final in seconds, built by many.

Explore it below 👇

AnyNodes@AnyNodes

Oct 7

vitalik.eth

@VitalikButerin

Oct 6

Nethermind continues doing excellent work and making Ethereum more efficient and faster.
firefly.social/post/x/2107387…

AnyNodes@AnyNodes

Oct 5

Ethereum Community Foundation

@ethcforg

Oct 1

Glamsterdam reaches Sepolia on October 6.

Here’s how you can help test Ethereum’s next upgrade before it reaches mainnet.

Try it yourself
Get test ETH from a Sepolia faucet. After the upgrade, try apps on Sepolia, send transactions and report unexpected failures to the relevant building
After activation, check your contracts, wallet integrations and gas estimates against the new rules. Pay particular attention to hardcoded gas limits.

Update your Sepolia node
Upgrade both your execution and consensus clients before October 6 at 13:53 UTC. Validator operators should also update their validator client.

Testing now helps catch problems before they affect mainnet users.

AnyNodes@AnyNodes

Oct 3

vitalik.eth

@VitalikButerin

Sep 26

Reminder: you can now sync an ethereum node within half a day and with aggressive settings the space it takes up on disk can be under half a terabyte.

EIP-4444 and hard work by client teams on optimizing snap sync has improved things *a lot*.

Glamsterdam will improve the sync (eg. Nimbus's new sync protocol uses it)

AnyNodes@AnyNodes

Aug 26

Flop Labs

@flop_labs

Aug 26

$FLOP tokenomics, first look: No VC allocation. No presale.

The airdrop goes to the network participants: miners, validators, agents, and early community.

Stay tuned for details on an AMA hosted by @CryptoHayes live on X spaces / YouTube next week.

AnyNodes@AnyNodes

Apr 24

Sam MacPherson

@hexonaut

Apr 23

x.com/i/article/2047…

AnyNodes@AnyNodes

Apr 9

Anthropic

@AnthropicAI

Apr 7

Introducing Project Glasswing: an urgent initiative to help secure the world’s most critical software.

It’s powered by our newest frontier model, Claude Mythos Preview, which can find software vulnerabilities better than all but the most skilled humans.
anthropic.com/glasswing

AnyNodes@AnyNodes

23 Oct 2025

Seeker | Solana Mobile

@solanamobile

23 Oct 2025

birbs looking good here 🦉

Owners of a Solana Seeker with a Seeker Genesis Token can mint a Seeker X @moonbirds SBT

Live until November 22nd

minting.moonbirds.com/landingpage