johnsonstephan / awesome-web3-formal-verification
A curated list of awesome web3 formal verification resources -- including tools, tutorials, articles and more.
☆18Updated 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
- ☆65Updated this week
- Using mutations to improve specs and test suites☆177Updated 6 months ago
- Interactive formal verification tool for Yul programs☆61Updated 3 months ago
- ☆107Updated this week
- Tools for Yul.☆138Updated last year
- ☆91Updated 9 months ago
- A Symbolic Execution Tool for Cairo☆50Updated 2 years ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- Automated verification of uniqueness property for ZKP circuits☆75Updated 11 months ago
- Smart contract debugging data format – Standards development working group☆53Updated 3 weeks ago
- Certora tutorials☆25Updated 2 weeks ago
- A smart contract security search utility☆74Updated 2 months ago
- Playing with zero-knowledge proof languages☆105Updated 2 years ago
- Precise Attack Synthesis for DeFi Apps☆47Updated 2 years ago
- Solidity 0.8.X AST parsing and analysis in Rust.☆77Updated last year
- Horus, a formal verification tool for StarkNet smart contracts.☆73Updated last year
- A mutation testing tool for Solidity Smart Contracts☆76Updated last week
- Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry☆167Updated 2 years ago
- A curated list of awesome security resources for ZK.☆78Updated last month
- List of Halmos resources.☆53Updated 2 weeks ago
- An EVM interpreter in Dafny☆126Updated 4 months ago
- Paper: Data Representation in Solidity☆60Updated last year
- A 6-part series on how to use Echidna on real-world codebases☆105Updated last year
- This repository implements a simplified PoC that demonstrates how signature malleability attacks using compact signatures can be executed…☆112Updated this week
- The Good Ethereum Assembler☆107Updated this week
- An EVM bytecode disassembler/assembler☆37Updated 2 months ago
- An open benchmark for evaluating smart contracts verification tools.☆13Updated 3 months ago
- convert evm bytecode to native machine code and go vroom - just an experiment, probably broken, reach out to georgios@paradigm.xyz to con…☆142Updated 8 months ago
- Mutation Testing for Ethereum Smart Contracts, support for Foundry☆119Updated 6 months ago