Certora / CertoraProverLinks
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
☆239Updated 2 weeks ago
Alternatives and similar repositories for CertoraProver
Users that are interested in CertoraProver are comparing it to the libraries listed below
Sorting:
- Using mutations to improve specs and test suites☆193Updated 4 months ago
- A 6-part series on how to use Echidna on real-world codebases☆109Updated 2 years ago
- Symbolic and concrete EVM execution engine☆311Updated this week
- Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry☆168Updated 3 years ago
- Symbolic stack CFG generator for EVM☆187Updated 7 months ago
- Benchmark Generator for Smart-Contract Fuzzers☆138Updated 9 months ago
- ☆81Updated this week
- Reproduce ZKP vulnerabilities☆255Updated 2 weeks ago
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties☆110Updated last month
- Overview of the formal verification projects in the Ethereum ecosystem.☆331Updated 6 months ago
- Practical tutorials of Certora Prover☆239Updated 2 years ago
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆107Updated 2 years ago
- A list of public fuzzing campaigns☆119Updated 3 months ago
- EDB: The EVM Project Debugger☆212Updated this week
- 🍋 An open dataset containing smart contract audit issues from various sources.☆223Updated last year
- Collection of security reviews of ZK Protocols☆234Updated 9 months ago
- Hacks/Vulns/Audits Compilation☆162Updated last year
- Smart Contract Property-Based Testing Framework☆128Updated 6 months ago
- A comparison of solidity fuzzing tools Foundry, Echidna & Medusa☆171Updated 7 months ago
- A smart contract security search utility☆73Updated 9 months ago
- Generate invariants for Foundry projects with LLM☆101Updated last year
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆123Updated last year
- A set of exercises to practice Yul☆99Updated 3 weeks ago
- One click magically working Foundry + Medusa + Echidna Starter☆42Updated last month
- ☆119Updated 3 weeks ago
- Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution☆82Updated 2 years ago
- The critical bug writeups☆123Updated 10 months ago
- Pre-built security properties for commonly forked DeFi protocols☆195Updated last year
- A TypeScript package providing a normalized typed Solidity AST along with the utilities necessary to generate the AST (from Solc) and tra…☆132Updated 4 months ago
- Vyper language fuzzing framework☆17Updated 10 months ago