Thomas Coratger(@tcoratger):We've transferred the full SSZ specification in Lean4, including all its theorems, from ssz-specs to EthLib! https://t.co/ZVnkl3ymxg We'll also need RLP for Ethereum's execution layer, with an issue already open:

Thomas Coratger

@tcoratger

Research at Ethereum Foundation

Joined August 2014

2.3K Following 4K Followers

Thomas Coratger@tcoratger

2026.10.29 11:40

We've transferred the full SSZ specification in Lean4, including all its theorems, from ssz-specs to EthLib! We'll also need RLP for Ethereum's execution layer, with an issue already open:

Forward to community

Most Popular Users

1M Followers

957.9K Followers

1.1M Followers

579.1K Followers

504.3K Followers

6.3M Followers

2.8M Followers

347.5K Followers

4.3M Followers

672.2K Followers

The Wall Street Journal

22.3M Followers

1.2M Followers

26.5M Followers

2.7M Followers

2M Followers