Certora
Certora, founded in 2018 and based in Tel Aviv, Israel, specializes in smart contract security through formal verification tools and audits. In May 2022, it secured $36M in Series B funding led by Jump Crypto and Tiger Global Management. Recently, Certora open-sourced its flagship product, Certora Prover.
2018
Established
Series B
Funding Stage
$36,000,000
Investment Secured
Innovative Solutions
Certora Prover
An open-source formal verification tool that mathematically ensures smart contract correctness by checking every possible contract state and path.
Visit ProductSecurity Audits
Comprehensive audits combining manual reviews with formal verification to identify vulnerabilities and ensure code integrity.
Visit ProductEnterprise Solutions
Tailored security services offering continuous analysis, custom rule development, and incident response for organizations.
Visit ProductSafeguard
A real-time monitoring tool that checks critical protocol invariants to detect and alert on potential vulnerabilities before they escalate.
Visit ProductGambit
An open-source mutation generator for Solidity, aiding in the identification of weaknesses by introducing variations in smart contract code.
Visit Product
Become part ofWebShalom Community
Follow us on socials and join our Discord for daily price updates, fresh crypto news, job opportunities, and industry insights!
