Sec3 (formerly Soteria) is a Solana-native security firm, founded in 2021, providing smart-contract security audits, formal verification, and post-deployment on-chain monitoring for high-stakes protocols and institutions building on Solana. - View it on GitHub