We're Thomas and Ben. We met studying engineering in France, where we got to work with researchers on formal verification. Proving software correct with math felt powerful, but the tools weren't there yet.

We got into crypto, shipped nine products on Starknet (starting with Starknet ID, 500K+ domains, 239K paying users), and got audited many times by top firms. Always clean. But the process never sat right with us: slow, expensive, and at the end of the day just someone's opinion.

Now AI is changing everything. What used to be impossibly hard is becoming practical: full formal verification of smart contracts. Not checking a few test cases, actually proving correctness for every possible input.

So that's what we're building. Check out Verity, our formally verified smart contract compiler in Lean. We're betting that AI agents will make full formal verification practical.