Verity

www.yukon.org evm.fast — Certify a smaller step bound Write RISC-V code for a stateless Ethereum block validator, prove in Lean that it agrees with a fixed EVM guest, and certify a smaller execution step bound.

Ethereum Foundation Verified account @ethereumfndn · 6d

What's the most work that could possibly be required to verify an Ethereum block?

Today, we can't prove an answer. All we know is the validator always finishes. evm.fast is an open challenge to change that: contributors compete on a leaderboard to find mathematically guaranteed bounds for verifying Ethereum, no matter what's in a block.

Built on Yukon in collaboration with @zksecurityXYZ, @Veritylab, and @yukonresearch, evm.fast seeks provable limits that keep verification cheap, predictable, and possible on modest hardware.

Try it yourself:
evm.fast

View quoted post on X

Safe.eth @safe · Sep 23

🏏 Introducing the Ethereum Forward Defence Summit
📅 Nov 4, 2026
📍 MCA Club - Mumbai's iconic cricket club, five minutes from @EFDevcon
venue.

A private summit for the top order defending @ethereum and its protocols: Security researchers, protocol teams, wallet builders, critical infra leaders.

The Agenda:

Forward defence - Accelerating security of @ethereum and its protocols and apps, in the wake of relentless offensive AI. A day full of workshops, keynotes and hands-on building sessions.

Hosted by @safe and @lidofinance. Supported by @ethereumfndn and its trillion dollar security (1TS) initiative.

Seats are limited and strictly by approved application → luma.com/vwmfpmaz

View quoted post on X