Verity
@verityclient
The Provable Consensus Client — a formally verified @leanEthereum
client built with @leanprover
8 Following 116 Followers
While formalizing the @leanEthereum spec in @leanprover, we found several critical bugs hiding in the spec itself.
Here's what we found 🧵
