Certora
certora.com
As featured in
Follow
Overview
News
Technologies
Salaries
Products
People
Growth
Offices
Financials
Overview
Certora applies formal verification to smart contracts, mathematically proving that code satisfies specified properties. Its Prover is used by major DeFi protocols to check invariants that conventional audits and testing can miss. The company also runs verification services and educational programmes for protocol engineering teams.
News
Certora Launches the First Safe AI Coding Platform for Smart Contracts
Tipranks Press Release.
Read more
Report
Certora Raises $36M for Smart Contract Security Tools
Jump Crypto led the funding round for the firm, which secures $50 billion of DeFi assets.
Read more
Report
Pro access
Upgrade to see all 6 mentions
Upgrade to a paid plan to read every media mention of this company - funding news, awards, product launches and press releases from all the outlets writing about it.
Every media mention and press release
Funding news, awards and product launches
Fresh coverage from every outlet writing about the company
Upgrade now
Cancel anytime. Secure checkout. Instant activation.
Offices
Where the company hires and what each office is for
Cities
1
Hiring now
0
Countries
1
Tel Aviv
Israel
HQ
50-200 est. staff