Through this initiative, Certora directly contributes to Solana’s decentralization, resilience, and operational security by operating a high-assurance validator built to rigorous security and reliability standards.

Certora appoints Seth Hallem as CEO, joining Mooly Sagiv and Shelly Grossman in leading the next phase of innovation in formal verification and DeFi security.

Certora’s rigorous audit and formal verification strengthened Symbiotic’s protocol, addressing issues and ensuring secure mainnet deployment.