Trust
Security & compliance
The vendor hasn’t added security or compliance details yet.
Smart contract formal verification platform that proves correctness of DeFi protocols and critical blockchain code.
Pricing
Tiered plans
Founded
2018
Team size
51-100 employees
Headquarters
Jerusalem, Israel
Preview from certora.com
At a glance
Best for
Security Engineer, VP Engineering
Pricing model
Tiered plans
Try before you buy
Free trial · Free plan
About Certora
Certora is a smart-contract security platform centered on formal verification. Its Certora Prover mathematically checks contract bytecode against specified rules to catch vulnerabilities across all execution paths, and can run on every commit in a dev pipeline. It also offers expert security audits, and its customers secure over $100B in on-chain value across major DeFi protocols.
Procurement & Fit
Structured facts from the vendor to help your security, finance, and procurement reviews move faster.
Pricing
Commercial model
Pricing model: Tiered plans
Free trial: Yes
Free plan: Yes
Contract minimum: Not specified
Procurement
Purchasing & legal
The vendor hasn’t added purchasing & legal details yet.
Fit
Best-fit company size
Company-size fit has not been specified yet.
Buyer Fit & Positioning
Implementation & Procurement
Commercial Fit & Ecosystem
Proof, Outcomes & Momentum
Alternatives, Migration & Buyer Objections
Buy through Cubbie
Certora
Certora doesn’t have a live offer on Cubbie yet — but you can still buy it through us. Request it and Cubbie’s procurement team will source pricing, negotiate terms, and set up the purchase for you.
Want a negotiated price? Request a quote for Certora and Cubbie routes it to the vendor and our procurement team.