Sec3

Sec3 is a blockchain security firm providing manual audits, formal verification, and automated security tools for Solana protocols. They combine PhD-led research with competitive security expertise to protect high-TVL DeFi applications.