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:
더 보기
