eth-isabelle
VM formalizer
A formalization of Ethereum's virtual machine using Isabelle/HOL and Lem language
A Lem formalization of EVM and some Isabelle/HOL proofs
238 stars
17 watching
42 forks
Language: Isabelle
last commit: almost 3 years ago
Linked from 1 awesome list
Related projects:
Repository | Description | Stars |
---|---|---|
mmalvarez/eth-isabelle | A formalization of Ethereum Virtual Machine in Isabelle/HOL with a focus on compiler verification | 33 |
zchn/eth-acl2 | A formalization of Ethereum VM in Common Lisp aiming to prove interesting properties of EVM contracts. | 3 |
nervous-systems/sputter | An implementation of the Ethereum Virtual Machine | 122 |
pirapira/evmverif | A framework for verifying smart contract code on the Ethereum Virtual Machine | 44 |
0xpolygonhermez/zkevm-prover | A high-performance prover that generates proofs for Ethereum Virtual Machines (EVM) transactions | 229 |
pipermerriam/py-evm | A Python implementation of the Ethereum Virtual Machine. | 40 |
ethereum/evmlab | Utilities for interacting with the Ethereum virtual machine | 367 |
leonardoalt/tinyzkevm | A proof-of-concept implementation of a small subset of the Ethereum Virtual Machine (EVM) inside a Smart Contracting Language (SNARK), using ZoKrates. | 46 |
ethereum/evmone | An implementation of the Ethereum Virtual Machine | 872 |
zama-ai/fhevm | A Solidity library that enables developers to write confidential smart contracts on the EVM using fully homomorphic encryption. | 436 |
runtimeverification/evm-semantics | Provides a formal model of the Ethereum Virtual Machine (EVM) semantics in the K programming language. | 509 |
henselman-petrusek/eirene.jl | A Julia library for analyzing point data using homological persistence techniques | 117 |
oguimbal/hyvm | Software that enables arbitrary code execution on the Ethereum Virtual Machine (EVM) | 252 |
crytic/ida-evm | A Python-based toolset for reverse-engineering Ethereum Virtual Machine (EVM) binaries | 311 |
amichaelparker/ievms | Automated installation of virtual machines with various versions of Internet Explorer. | 69 |