johnsonstephan / awesome-web3-formal-verificationLinks
A curated list of awesome web3 formal verification resources -- including tools, tutorials, articles and more.
☆21Updated last year
Alternatives and similar repositories for awesome-web3-formal-verification
Users that are interested in awesome-web3-formal-verification are comparing it to the libraries listed below
Sorting:
- ☆77Updated last week
- A Symbolic Execution Tool for Cairo☆51Updated 2 years ago
- Precise Attack Synthesis for DeFi Apps☆47Updated 2 years ago
- Using mutations to improve specs and test suites☆189Updated last month
- Tools for Yul.☆138Updated 2 years ago
- The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains…☆191Updated 2 weeks ago
- Automated verification of uniqueness property for ZKP circuits☆76Updated last year
- ☆92Updated last year
- Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry☆166Updated 2 years ago
- Horus, a formal verification tool for StarkNet smart contracts.☆74Updated last week
- Playing with zero-knowledge proof languages☆105Updated 2 years ago
- An EVM bytecode disassembler/assembler☆50Updated 6 months ago
- A curated list of awesome security resources for ZK.☆86Updated 3 weeks ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- ☆109Updated this week
- A smart contract security search utility☆75Updated 6 months ago
- Interactive formal verification tool for Yul programs☆65Updated this week
- A mutation testing tool for Solidity Smart Contracts☆81Updated last month
- This repository implements a simplified PoC that demonstrates how signature malleability attacks using compact signatures can be executed…☆112Updated 2 weeks ago
- ☆165Updated last year
- A 6-part series on how to use Echidna on real-world codebases☆108Updated last year
- ☆39Updated last year
- ☆113Updated 2 months ago
- General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing☆35Updated 3 months ago
- Security Reviews and Audit Checklists☆121Updated 3 months ago
- A comparison of solidity fuzzing tools Foundry, Echidna & Medusa☆158Updated 4 months ago
- Solidity 0.8.X AST parsing and analysis in Rust.☆78Updated last year
- An open benchmark for evaluating smart contracts verification tools.☆14Updated last month
- ☆61Updated last year
- ☆90Updated 4 years ago