Recent Finacing
Recent Raise
Certora develops formal-verification tools for smart-contract security; its Prover analyzes EVM-compatible contracts to detect or formally prove absence of rule violations, complementing audits and bug bounties.
Focus Areas
Recent Investors
Total Raised
Funding round
Investors
See the team members at Certora.
