Back to Organizations
Certora
Certora provides formal verification tools and smart contract audits to secure blockchain protocols. Their flagship product, the Certora Prover, uses formal verification to mathematically prove that smart contracts are secure against vulnerabilities by checking every possible contract state and path against predefined rules. They also offer security audits conducted by a team of formal verification experts. Certora engages with the community through audit contests to crowdsource security specifications.
Distributed
Funding Rounds
Funding Round: Series B
Funding Date: 18 May, 2022
Raised Amount: $36M
Funding Round: Series A
Funding Date: 21 May, 2021
Raised Amount: $7.2M