Thomas Coratger
@tcoratger
Research at Ethereum Foundation
参加 August 2014
2.3K フォロー中 4K ファン
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:
もっと見る
