FORMAL VERIFICATION

Formal verification tooling we built ourselves, in the mix when it fits your system

We’ve built out our own tooling and developed a novel verification framework for Solana. We pick the mix of techniques that fits your system and share findings as they emerge.

Get an audit

$36.82B+ On-chain TVL secured$1.00B+ Vulnerabilities patched120+ Projects audited

QUESTIONS

Frequently asked questions

What formal verification work has OtterSec done?

We’ve built out our own tooling and developed a novel verification framework for Solana, and we worked with the Aptos core team to formally verify their standard library. Our public reports also include K-Lend Formal Verification.

WHY IT MATTERS

Verification work with a public record

Our own formal verification tooling, plus a novel verification framework developed for Solana.
Work with the Aptos core team to formally verify their standard library.
A public report named K-Lend Formal Verification, listed with our other Solana reviews on osec.io/audits.

GET SECURED

Put formal verification to work on your protocol

Tell us what you are building and where the highest-risk parts live. We pick the mix of techniques that fits your code.

Get an audit