eth-isabelle
by mmalvarez
A Lem formalization of EVM and some Isabelle/HOL proofs
AI summary
EVM formalizer
A formalization of Ethereum Virtual Machine in Isabelle/HOL with a focus on compiler verification
- stars
- 33
- forks
- 6
- watching
- 5
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
VM formalizer
A formalization of Ethereum's virtual machine using Isabelle/HOL and Lem language
EVM Formalizer
A formalization of Ethereum VM in Common Lisp aiming to prove interesting properties of EVM contracts.
EVM Prover
A high-performance prover that generates proofs for Ethereum Virtual Machines (EVM) transactions
EVM implementation
An implementation of the Ethereum Virtual Machine
EVM simulator
A proof-of-concept implementation of a small subset of the Ethereum Virtual Machine (EVM) inside a Smart Contracting Language (SNARK), using ZoKrates.
Virtual machine
An implementation of the Ethereum Virtual Machine
EVM model
Provides a formal model of the Ethereum Virtual Machine (EVM) semantics in the K programming language.
EVM encryption library
A Solidity library that enables developers to write confidential smart contracts on the EVM using fully homomorphic encryption.
EVM tools
Utilities for interacting with the Ethereum virtual machine
EVM interpreter
A flexible, customizable, and portable implementation of the Ethereum Virtual Machine
EVM reference
An interactive reference and contract viewer for the Ethereum Virtual Machine (EVM) bytecode
bluealloy/revm1.7K
EVM simulator
Rust implementation of an Ethereum Virtual Machine with focus on speed and simplicity.
EVM interpreter
An implementation of the Ethereum Virtual Machine in Rust, with support for resumability and gas metering.
EVM simulator
A Python implementation of the Ethereum Virtual Machine.
EVM transaction utility
A Motoko library for creating and manipulating EVM transactions
Featured in 1 awesome list
Each link jumps to the spot where the list mentions eth-isabelle.