OtterSecOtterSec Get an audit

FORMAL VERIFICATION

Formal verification for Solana and Move code

We’ve built out our own tooling and developed a novel verification framework for Solana. We’ve also worked with the Aptos core team to formally verify their standard library.

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

VERIFICATION WORK

Formal methods backed by tooling and research

  1. A novel verification framework for Solana, built on our own tooling.
  2. Formal verification of the Aptos standard library, done with the Aptos core team.
  3. Formal verification is one technique in the mix, alongside pentesting and fuzzing, chosen to fit your system.

QUESTIONS

Frequently asked questions

How does OtterSec approach formal verification?

Formal verification is one of the techniques we pick from, alongside pentesting and fuzzing. We’ve built a novel verification framework for Solana, worked with the Aptos core team to formally verify their standard library, and published a guide to the Move Prover.

GET SECURED NOW

Bring formal verification to your protocol

Different systems call for different techniques. Tell us about yours and we will pick the mix that fits.

Get an audit