evmverif
EVM verifier
A framework for verifying smart contract code on the Ethereum Virtual Machine
An EVM code verification framework in Coq
44 stars
12 watching
8 forks
Language: Coq
last commit: over 8 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 runtimeverification/avm-semantics | A tool for formally verifying Algorand smart contracts' behavior using property-based testing and symbolic execution | 15 |
 pipermerriam/py-evm | A Python implementation of the Ethereum Virtual Machine. | 40 |
| pirapira/eth-isabelle | A formalization of Ethereum's virtual machine using Isabelle/HOL and Lem language | 238 |
 vorot93/evmodin | An implementation of the Ethereum Virtual Machine in Rust, with support for resumability and gas metering. | 161 |
 ethereum/evmone | An implementation of the Ethereum Virtual Machine | 872 |
 valida-xyz/valida | A STARK-based virtual machine designed to improve code reuse, performance and modularity through a custom instruction set, compiler and extensibility features. | 303 |
 fvictorio/evm-puzzles | A collection of puzzles to test Ethereum Virtual Machine (EVM) functionality by solving specific transaction-related challenges. | 821 |
 etcdevteam/sputnikvm | An Ethereum Virtual Machine implementation designed to be efficient and adaptable across different blockchain networks. | 280 |
 vellvm/vellvm | A formal verification project of the LLVM compiler's semantics using Coq proof assistant. | 405 |
| ethereum/evmlab | Utilities for interacting with the Ethereum virtual machine | 367 |
 smlxl/evm.codes | An interactive reference and contract viewer for the Ethereum Virtual Machine (EVM) bytecode | 740 |
 rust-ethereum/evm | A flexible, customizable, and portable implementation of the Ethereum Virtual Machine | 1,200 |
 0xpolygonhermez/zkevm-prover | A high-performance prover that generates proofs for Ethereum Virtual Machines (EVM) transactions | 229 |
 au-cobra/concert | A framework for verifying smart contracts in Coq using formal methods and property-based testing. | 114 |
 danielvf/evm-contract-draw | A tool for visualizing and analyzing the byte code of Ethereum smart contracts | 122 |