CertoraCertora is a blockchain security company providing formal verification (Certora Prover), automated testing tools (e.g., Gambit, Sunbeam) and professional smart-contract audits to find vulnerabilities and prove protocol properties. Its services and tooling are used by major protocols (Aave, Lido, Uniswap) and it maintains developer docs, enterprise offerings, and an active Twitter presence @CertoraInc.
融资情况
$43.2M
•
总筹资
Unknown
•
Grant
Feb 05, 2026
Investors
$36M
•
SERIES B
May 17, 2022
Lead Investors
$7.2M
•
SERIES A
May 21, 2021
团队
Seth HallemCEO
Shelly GrossmanCTO
Mooly SagivChief Scientist
Ilya LeybovichVP, Marketing
Maya Glik DuboviVP, Customer Success
Sofi VissaniVP, Sales
Idit KronzonVP, People & Operations
Andrew FleschVP, Worldwide Sales
新闻与预测
新闻
CRYPTOPOTATO
Certora Launches the First Safe AI Coding Platform for Smart Contracts
Certora announced AI Composer, an open-source AI coding tool for smart contracts with formal verification. Alpha on GitHub Dec 4; livestream same day.
PHEMEX
Certora, Cork, and Hypernative Forge Alliance to Bolster Web3 Security
Certora, Cork and Hypernative partner to enhance security with verification and real-time monitoring, amid crypto fraud up 66% to $9.3B (FBI)
CRYPTOPOTATO
Certora Partners with Cork and Hypernative to Set a New Standard for Web3 Security
Certora partners with Cork and Hypernative; named Cork’s Security Partner of Record to embed formal verification and real-time threat monitoring