Consensys / evm-dafnyView external linksLinks
An EVM interpreter in Dafny
☆135Oct 24, 2024Updated last year
Alternatives and similar repositories for evm-dafny
Users that are interested in evm-dafny are comparing it to the libraries listed below
Sorting:
- Exercises for the Dafny Tutorial☆14May 21, 2018Updated 7 years ago
- Deposit smart contract in Dafny☆22Sep 9, 2021Updated 4 years ago
- Eth2.0 spec in Dafny☆80Jun 24, 2024Updated last year
- Using mutations to improve specs and test suites☆204May 12, 2025Updated 9 months ago
- A curated list of security related material for the growing starknet ecosystem particularly cairo smart contracts.☆14Jun 11, 2022Updated 3 years ago
- An EVM bytecode disassembler/assembler☆54Dec 20, 2024Updated last year
- ☆120Apr 16, 2025Updated 9 months ago
- smart contracts deployed on Ethereum, one per skeleton☆11Mar 10, 2024Updated last year
- TriCera: a model checker for C programs☆26Feb 2, 2026Updated last week
- Executable formal model of the EVM and Yul in Lean 4.☆64Nov 19, 2025Updated 2 months ago
- A low-level assembly language for the Ethereum Virtual Machine built in blazing-fast pure rust.☆595Oct 20, 2024Updated last year
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26Updated this week
- Solidity source debugger built around EthereumJS☆25Feb 1, 2026Updated last week
- Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)☆157Nov 24, 2025Updated 2 months ago
- Overview of the formal verification projects in the Ethereum ecosystem.☆336Mar 26, 2025Updated 10 months ago
- Libraries useful for Dafny programs☆48Aug 19, 2025Updated 5 months ago
- Discrete event simulator built in Rust 🦀☆13Jun 10, 2023Updated 2 years ago
- Run arbitrary code on the EVM☆265Feb 21, 2024Updated last year
- Scribble instrumentation tool☆336Apr 29, 2025Updated 9 months ago
- evm binary static analysis☆368Sep 4, 2023Updated 2 years ago
- Solidity compiler tooling by @NomicFoundation☆277Updated this week
- ☆13Aug 4, 2023Updated 2 years ago
- Fuzz testing for Dafny☆13Jul 7, 2022Updated 3 years ago
- The Good Ethereum Assembler☆138Feb 2, 2026Updated last week
- Huff-based Smart Contracts for creating Metamorphic (or "redeployable") EVM Contracts.☆46Jun 21, 2023Updated 2 years ago
- ☆51Jul 5, 2022Updated 3 years ago
- ☆89Feb 5, 2026Updated last week
- Symbolic stack CFG generator for EVM☆191Feb 10, 2025Updated last year
- A framework for high-level Analysis of Ethereum Bytecode☆22Jan 23, 2026Updated 3 weeks ago
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆34Updated this week
- This repo contains the zkasm source code of the zkEVM☆138May 20, 2025Updated 8 months ago
- Multi-agent framework for design, simulation, and auditing.☆728Jun 15, 2025Updated 7 months ago
- ☆25Aug 14, 2024Updated last year
- Prove functional correctness of Ethereum smart contracts in higher-order logic☆30Jan 31, 2026Updated last week
- Awesome list of all things oracle manipulation. Creating to help spread a better understanding of oracles and oracle manipulation.☆529Mar 29, 2024Updated last year
- ☆289Feb 13, 2023Updated 3 years ago
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆107Dec 30, 2022Updated 3 years ago
- Symbolic EVM in Rust (WIP)☆86Dec 23, 2023Updated 2 years ago
- K Semantics of the Ethereum Virtual Machine (EVM)☆555Updated this week