zkElton (zkelton)
I like zero knowledge, formal verification, and gaming. Is it too early to build an eth execution client with LEAN? A LEANvm if you will XD
7 Followers
Recent casts
Top casts
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 replies
- 0 recasts
- 0 reactions
recast:farcaster://casts/0x7a69e510343544c29a077414f0bfaf5c6072f5735c91c926c777db452064bc83
- 0 replies
- 0 recasts
- 0 reactions
recast:farcaster://casts/0xd1774332aa7778c4baf31100b069e69a8b4aa2939fa1d1e86c92a7da4e32fb67
- 0 replies
- 0 recasts
- 0 reactions
recast:farcaster://casts/0x16afb24b5f2f880cb0c7c1fd075c5ef0fd0711c55b53f956595a803d4ecdc1e0
- 0 replies
- 0 recasts
- 0 reactions