Ecosystem Vision

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

Overview

Investments (2)

Jobs (9)

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.

Certora

Description

Grant Funding

VC Funding

Technology & Skills