evmverif
by pirapira
An EVM code verification framework in Coq
AI summary
EVM verifier
A framework for verifying smart contract code on the Ethereum Virtual Machine
- stars
- 44
- forks
- 8
- watching
- 12
Similar projects
Found by comparing what the projects do, not just their names.
Contract Verifier
A tool for formally verifying Algorand smart contracts' behavior using property-based testing and symbolic execution
EVM simulator
A Python implementation of the Ethereum Virtual Machine.
VM formalizer
A formalization of Ethereum's virtual machine using Isabelle/HOL and Lem language
EVM interpreter
An implementation of the Ethereum Virtual Machine in Rust, with support for resumability and gas metering.
EVM implementation
An implementation of the Ethereum Virtual Machine
Virtual Machine
A STARK-based virtual machine designed to improve code reuse, performance and modularity through a custom instruction set, compiler and extensibility features.
EVM puzzle set
A collection of puzzles to test Ethereum Virtual Machine (EVM) functionality by solving specific transaction-related challenges.
EVM
An Ethereum Virtual Machine implementation designed to be efficient and adaptable across different blockchain networks.
Compiler verifier
A formal verification project of the LLVM compiler's semantics using Coq proof assistant.
EVM tools
Utilities for interacting with the Ethereum virtual machine
EVM reference
An interactive reference and contract viewer for the Ethereum Virtual Machine (EVM) bytecode
EVM interpreter
A flexible, customizable, and portable implementation of the Ethereum Virtual Machine
EVM Prover
A high-performance prover that generates proofs for Ethereum Virtual Machines (EVM) transactions
Smart contract verifier
A framework for verifying smart contracts in Coq using formal methods and property-based testing.
Contract visualizer
A tool for visualizing and analyzing the byte code of Ethereum smart contracts
