20 Security Reports
6 Independent Firms
0 Critical Vulnerabilities
Audit Firms
Kamino engages multiple specialized security firms, each with distinct methodologies and areas of expertise:- OtterSec — Solana-native security firm specializing in manual code review and formal verification of Rust/Anchor programs
- Sec3 — Automated and manual auditing with deep Solana program analysis tooling
- Offside Labs — Independent security research firm focused on DeFi protocol auditing
- Certora — Formal verification specialists using symbolic execution and mathematical provers
- Ackee Blockchain — Fuzzing and automated testing using their proprietary Trident framework
- RX Security — Smart contract security auditing