eth-isabelle
by pirapira
A Lem formalization of EVM and some Isabelle/HOL proofs
AI summary
VM formalizer
A formalization of Ethereum's virtual machine using Isabelle/HOL and Lem language
- stars
- 238
- forks
- 42
- watching
- 17
- 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 Formalizer
A formalization of Ethereum VM in Common Lisp aiming to prove interesting properties of EVM contracts.
Virtual machine
An implementation of the Ethereum Virtual Machine
EVM verifier
A framework for verifying smart contract code on the Ethereum Virtual Machine
EVM Prover
A high-performance prover that generates proofs for Ethereum Virtual Machines (EVM) transactions
EVM simulator
A Python implementation of the Ethereum Virtual Machine.
EVM tools
Utilities for interacting with 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.
EVM implementation
An implementation of the Ethereum Virtual Machine
EVM encryption library
A Solidity library that enables developers to write confidential smart contracts on the EVM using fully homomorphic encryption.
EVM model
Provides a formal model of the Ethereum Virtual Machine (EVM) semantics in the K programming language.
Persistence analyzer library
A Julia library for analyzing point data using homological persistence techniques
Code executor
Software that enables arbitrary code execution on the Ethereum Virtual Machine (EVM)
EVM disassembler
A Python-based toolset for reverse-engineering Ethereum Virtual Machine (EVM) binaries
IE VMs
Automated installation of virtual machines with various versions of Internet Explorer.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions eth-isabelle.