eth-acl2
by zchn
An ACL2 formalization of the Ethereum VM, aiming to be both executable and suitable for proving interesting properties of EVM contracts.
AI summary
EVM Formalizer
A formalization of Ethereum VM in Common Lisp aiming to prove interesting properties of EVM contracts.
- stars
- 3
- forks
- 3
- watching
- 3
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
EVM formalizer
A formalization of Ethereum Virtual Machine in Isabelle/HOL with a focus on compiler verification
EVM Prover
A high-performance prover that generates proofs for Ethereum Virtual Machines (EVM) transactions
EVM implementation
An implementation of the Ethereum Virtual Machine
VM formalizer
A formalization of Ethereum's virtual machine using Isabelle/HOL and Lem language
EVM reference
An interactive reference and contract viewer for the Ethereum Virtual Machine (EVM) bytecode
EVM transaction utility
A Motoko library for creating and manipulating EVM transactions
EVM doc
An illustrated documentation of Ethereum's virtual machine and its components.
Contract visualizer
A tool for visualizing and analyzing the byte code of Ethereum smart contracts
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 simulator
A proof-of-concept implementation of a small subset of the Ethereum Virtual Machine (EVM) inside a Smart Contracting Language (SNARK), using ZoKrates.
bytecode generator
A Haskell-based DSL for generating Ethereum Virtual Machine (EVM) bytecode
EVM tools
Utilities for interacting with the Ethereum virtual machine
EVM
An Ethereum Virtual Machine implementation designed to be efficient and adaptable across different blockchain networks.
EVM client-vm connector
A binary compatible interface between Ethereum Virtual Machines and clients
Featured in 1 awesome list
Each link jumps to the spot where the list mentions eth-acl2.