Certora

Certora Overview

Certora provides accessible and cost-efficient formal verification of smart contracts. Certora's Automatic Exact Verification (AEV) technology complements existing smart-contract compilers and debuggers and checks that all executions of a smart contract fulfill a set of requirements. Blockchain independent and language agnostic, Certora's AEV technology precisely identifies or verifies the absence of bugs in smart contracts.

Cumulative Funding Raised Over Time ($)

Latest News

May 17, 2022 · www.coindesk.com

growth-positive

Certora Raises $36M for Smart Contract Security Tools

Certora, a smart contract security firm, has raised $36 million in a Series B round led by Jump Crypto. The funding will be used to develop and port Certoras flaw-detection technology to new blockchains. Other participants in the round include Tiger Global, Galaxy Digital, Electric Capital, ACapital, Framework Ventures, CoinFund, Lemniscap, Coinbase, and VMware. Certoras Prover tool helps developers detect and prevent security mistakes in smart contracts. The company is currently securing $50 billion in decentralized finance assets and plans to expand its support to other blockchains. Certoras technology has identified bugs in popular DeFi platforms like Aave, Compound, Balancer, and SushiSwap.

Investment

Funding

Team Members

4

Employees: 51-200

Web & Social Links

Locations

Chaim Levanon Street 30, Tel Aviv-Yafo, Israel

Photos & Videos

No files yet

Certora Internal

Recent Updates

No update log entries.

Note: Free-text notes visible in the original Finder "Internal" tab are not present in the imported profile data. Only the update audit log is available.

Admin Info