Certora
The main product is a formal verification tool that automates the analysis of smart contracts by comparing their bytecode against predefined rules to identify vulnerabilities and ensure expected code behavior. It employs formal verification methods to evaluate all possible contract states and paths, providing comprehensive security assessments for blockchain applications.
- Category: Contract Management
- Location: Tel Aviv-Yafo, Tel Aviv, Israel
- Founded: 2018-01-01
- Total funding: 43200000
- Website: https://certora.com
Product & Features
- Compares smart contract bytecode against specified behavioral rules.
- Performs formal verification across every possible contract state and path.
- Identifies critical smart contract vulnerabilities with mathematical certainty.
- Integrates into development pipelines for continuous security on every commit.
- Offers expert-led security audits using formal verification methodologies.
- Provides formal verification experts to write custom security rules.
Notable Customers
- Kamino
- Squads
- Jupiter Lend
- Jito
- Manifest
- Light
- Fragmetric
- Lulo
- Veda
- Glow
- Solana Foundation
- Areta
- Superteam
- MonkeDAO
Similar Companies
Frequently Asked Questions
What is Certora?
The main product is a formal verification tool that automates the analysis of smart contracts by comparing their bytecode against predefined rules to identify vulnerabilities and ensure expected code behavior. It employs formal verification methods to evaluate all possible contract states and…
What does Certora do?
Compares smart contract bytecode against specified behavioral rules. Performs formal verification across every possible contract state and path. Identifies critical smart contract vulnerabilities with mathematical certainty.
Who are Certora's customers?
Certora's customers include Kamino, Squads, Jupiter Lend, Jito, Manifest, Light.
What category does Certora fall under?
Certora is a legal technology company in the (CL) Contract Management category.
Where is Certora based?
Certora is based in Tel Aviv-Yafo, Tel Aviv, Israel.
When was Certora founded?
Certora was founded in 2018.