johnsonstephan / awesome-web3-formal-verificationLinks
A curated list of awesome web3 formal verification resources -- including tools, tutorials, articles and more.
☆20Updated 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:
- ☆76Updated this week
- Using mutations to improve specs and test suites☆188Updated 3 weeks ago
- Precise Attack Synthesis for DeFi Apps☆47Updated 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…☆183Updated last week
- A Symbolic Execution Tool for Cairo☆51Updated 2 years ago
- A smart contract security search utility☆75Updated 5 months ago
- Automated verification of uniqueness property for ZKP circuits☆76Updated last year
- SMT 2023 Submission; license pending☆55Updated 6 months ago
- Playing with zero-knowledge proof languages☆105Updated 2 years ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- Tools for Yul.☆138Updated 2 years ago
- A curated list of Cosmos ecosystem links, focusing on the security aspect of it☆60Updated 2 months ago
- ☆113Updated last month
- Horus, a formal verification tool for StarkNet smart contracts.☆74Updated 2 years ago
- A curated list of awesome security resources for ZK.☆83Updated last week
- A mutation testing tool for Solidity Smart Contracts☆80Updated last month
- Interactive formal verification tool for Yul programs☆65Updated 3 weeks ago
- An EVM bytecode disassembler/assembler☆48Updated 5 months ago
- ☆91Updated last year
- Solidity 0.8.X AST parsing and analysis in Rust.☆78Updated last year
- List of Halmos resources.☆54Updated 3 months ago
- Certora tutorials☆26Updated 3 months ago
- ☆37Updated 11 months ago
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties☆106Updated 5 months ago
- This repository implements a simplified PoC that demonstrates how signature malleability attacks using compact signatures can be executed…☆111Updated last week
- ☆47Updated last year
- Smart contract debugging data format – Standards development working group☆63Updated this week
- Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry☆167Updated 2 years ago
- A 6-part series on how to use Echidna on real-world codebases☆108Updated last year
- VSCode extension for debugging Solidity using Simbolik API server☆40Updated 3 weeks ago