Solana formal verification: a case study
Summary
OtterSec presents a framework for formal verification of Solana Anchor programs — autogenerated proof harnesses checked by the Kani verifier — with a Squads multisig case study.
- Published
- Collected
Skip to content