Back to Organizations
Certora
Certora provides formal verification tools and smart contract audits to secure blockchain protocols. Their flagship product, the Certora Prover, uses formal verification to mathematically prove that smart contracts are secure against vulnerabilities by checking every possible contract state and path against predefined rules. They also offer security audits conducted by a team of formal verification experts. Certora engages with the community through audit contests to crowdsource security specifications.
Distributed
Description
Certora Prover is the most advanced Formal Verification (FV) engine for Ethereum (EVM), Solana (sBPF), and Stellar (WASM), and is now free, transparent, and community-driven. It is a powerful tool that compares smart contract bytecode against rules detailing expected code behavior. This process, known as formal verification, checks every possible contract state and path to identify critical vulnerabilities. Certora offers solutions for teams to run the tools themselves or hire their team of experts to secure the code. They also work with their community to crowdsource custom formal specifications to find vulnerabilities in code, running frequent community audit contests.Grant Funding
VC Funding
None
2021
2022
$0
$43M
Technology & Skills
PROOFREADING
BLOCKCHAIN SECURITY
CODE AUDIT
LEAN
COQ
ISABELLE
PROVER
SECURITY RESEARCH
AUDITING
MANAGEMENT
STATIC ANALYSIS
VYPER
COMPILER
NEAR
FORMAL METHODS
OPERATING SYSTEM
WASM
VERIFICATION
INTERPRETER
EBPF
LANGUAGE DESIGN
TRACEABILITY
STAKEHOLDER COMMUNICATION
EXECUTIVE SUPPORT
AGENDA PREPARATION
CTF
BUG BOUNTY
VULNERABILITY RESEARCH
TECHNICAL-SALES
REVENUE
PRODUCT DEMONSTRATION
LEAD QUALIFICATION