- Ex @Nethermind
- Member of the Norwegian National Cybersecurity Team
- Blockchain and cybersecurity
- CTF player @Norske Nøkkelsnikere
Pinned Loading
- ETHEncodingLean
ETHEncodingLean PublicPure Lean 4 implementations of Ethereum’s ABI, RLP, and SSZ encoding formats
Lean
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.
Uh oh!
There was an error while loading. Please reload this page.




