Our Research
We're working to make formal verification practical and accessible for smart contract developers. Here's what we've published so far.
Verity Verified Compiler
A Formally Verified Smart Contract Compiler in Lean 4.
Verity Benchmark
A benchmark suite for AI-driven formal proof generation on real smart contracts.
What is a formal proof?
A short explanation for non-specialists.
Lido V3 Vault Solvency Guarantee
A formally verified property of a production smart contract.