ethereum / hevm
symbolic EVM evaluator
☆235Updated this week
Related projects ⓘ
Alternatives and complementary repositories for hevm
- Practical tutorials of Certora Prover☆229Updated last year
- Smart contract specification language☆219Updated this week
- Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry☆165Updated 2 years ago
- Overview of the formal verification projects in the Ethereum ecosystem.☆321Updated 11 months ago
- Using mutations to improve specs and test suites☆165Updated 2 months ago
- Symbolic stack CFG generator for EVM☆179Updated 5 months ago
- 🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.☆205Updated last week
- Tools for Yul.☆138Updated last year
- Symbolic execution engine written in Solidity, based on Difference Logic.☆108Updated 2 years ago
- Evm laboratory☆245Updated last week
- zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …☆215Updated last year
- evm inception: the evm inside the evm via yul and solidity☆228Updated last year
- ☆271Updated 3 months ago
- Website for the Underhanded Solidity Contest☆167Updated 3 weeks ago
- A static analyzer and linter for the Circom zero-knowledge DSL☆229Updated 4 months ago
- A book for learning zero-knowledge applications and decentralized mixing by creating a simple mixer protocol based on Tornado Cash (WIP)☆267Updated last year
- Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum☆301Updated last week
- Solidity compiler tooling by @NomicFoundation☆238Updated this week
- Diff EVM-compatible chains in a friendly format☆281Updated last month
- Playing with zero-knowledge proof languages☆104Updated last year
- Collection of security reviews of ZK Protocols☆219Updated last week
- A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.☆612Updated 7 months ago
- Mutation Testing for Ethereum Smart Contracts☆204Updated 11 months ago
- Solidity Package Manager written in rust☆227Updated this week
- excessively safe solidity calls☆225Updated last year
- JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.☆204Updated last month
- A symbolic testing tool for EVM smart contracts☆813Updated this week
- Benchmark Generator for Smart-Contract Fuzzers☆122Updated 4 months ago
- Replay and track historical state☆204Updated 4 months ago
- Foundry Repository Template that supports writing contracts in Huff using the foundry-huff library.☆211Updated 2 months ago