zkElton pfp
zkElton

@zkelton

Thoughts on building an Eth execution layer with LEAN4? We could write both the spec AND the implementation in the same language. Seems promising but I’d like to hear more.
0 reply
0 recast
0 reaction