leonardoalt / ethereum_formal_verification_overview
Overview of the formal verification projects in the Ethereum ecosystem.
☆321Updated 11 months ago
Related projects ⓘ
Alternatives and complementary repositories for ethereum_formal_verification_overview
- Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry☆165Updated 2 years ago
- symbolic EVM evaluator☆235Updated this week
- Using mutations to improve specs and test suites☆165Updated 2 months ago
- Scribble instrumentation tool☆315Updated 2 months ago
- Mutation Testing for Ethereum Smart Contracts☆204Updated 11 months ago
- Practical tutorials of Certora Prover☆229Updated last year
- A symbolic testing tool for EVM smart contracts☆813Updated this week
- Abstraction layer for smart contract build systems☆154Updated this week
- Smart contract specification language☆219Updated this week
- A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.☆612Updated 7 months ago
- Repository for Huff - an EVM programming language☆232Updated 4 years ago
- Evm laboratory☆245Updated last week
- Symbolic stack CFG generator for EVM☆179Updated 5 months ago
- Solidity Code Metrics☆243Updated 4 months ago
- A tool for analyzing the security and parameters of a solidity smart contract☆677Updated 3 weeks ago
- Tools for Yul.☆138Updated last year
- ☆107Updated last week
- ☆271Updated 3 months ago
- zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …☆215Updated last year
- Materials related to security: docs, checklists, processes, etc...☆200Updated last month
- A book for learning zero-knowledge applications and decentralized mixing by creating a simple mixer protocol based on Tornado Cash (WIP)☆267Updated last year
- Implementation of a novel practical scheme for submarine commitments☆225Updated last year
- Website for the Underhanded Solidity Contest☆167Updated 3 weeks ago
- The weiroll virtual machine☆394Updated 2 years ago
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆273Updated last week
- Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum☆301Updated last week
- Re-entrancy attack patterns from our paper "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"☆109Updated 5 years ago
- Robust, Feature-Rich Solidity Template Repository for Foundry Projects with Scripting, Testing, and Utility Bash Scripts.☆383Updated last year
- Merkle Proof Generator and Validator in Solidity☆418Updated 3 months ago
- A collection of EVM related information.☆326Updated last year