🛡️ Audits

We propose code audits as a subscription for Solidity/Rust/Go projects such as L1, L2, and smart contracts. We offer start-of-the-art security with formal verification and interactive theorem proving to cover all possible code executions for any forms of user/security requirements.

Even state actors cannot break security properties as the protection is a mathematical proof checked by a computer 🦸.

Our verifications process follows code changes to verify only what changed. Compared to traditional audits, you can integrate formal specification into your CI to make sure your code stays fully correct 🔄.

Our tools are open source, documented, and available on our GitHub. We rely on the proof system Coq 🐓 which is one of the most widely taught proof systems in Universities across the world 🌏. We encourage other teams or auditors to use our tools and contribute to it 🤓.

The price for our audit subscription is $12,000 per month, for one engineer available full time for your project to specify and formally verify your code. You can stop the subscription at any time. We refund one year back in time if a critical vulnerability is still found or if you find stronger audit methods.

🦸 Get started!