Th0rgal/verity

Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.

1 best points · 0 comments · 1 Hacker News post · 158 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: Verity, Formally verified smart contracts from spec to bytecode (1 points, 0 comments, by th0rgal2, 2026-02-26)