Verity
@verityclient
The Provable Consensus Client — a formally verified @leanEthereum
client built with @leanprover
加入 April 2026
8 正在关注 116 粉丝
While formalizing the @leanEthereum spec in @leanprover, we found several critical bugs hiding in the spec itself.
Here's what we found 🧵
