zkevm-prover
zkEVM prover in C++
AI summary
EVM Prover
A high-performance prover that generates proofs for Ethereum Virtual Machines (EVM) transactions
- stars
- 229
- forks
- 155
- watching
- 10
Similar projects
Found by comparing what the projects do, not just their names.
EVM implementation
An implementation of the Ethereum Virtual Machine
EVM formalizer
A formalization of Ethereum Virtual Machine in Isabelle/HOL with a focus on compiler verification
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 Formalizer
A formalization of Ethereum VM in Common Lisp aiming to prove interesting properties of EVM contracts.
EVM
An Ethereum Virtual Machine implementation designed to be efficient and adaptable across different blockchain networks.
EVM simulator
A Python 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 executor
An EVM execution engine designed to accelerate blockchain throughput through parallel processing
EVM Puzzles Collection
A collection of challenging puzzles designed to test skills in creating and executing transactions on the Ethereum Virtual Machine (EVM)
EVM VM
An Ethereum Virtual Machine implementation in C++ that enables deployment and execution of smart contracts on the EOSIO blockchain.
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 puzzle set
A collection of puzzles to test Ethereum Virtual Machine (EVM) functionality by solving specific transaction-related challenges.
EVM analyzer
Tools for working with and analyzing the Ethereum Virtual Machine
EVM interpreter
An implementation of the Ethereum Virtual Machine in Rust, with support for resumability and gas metering.
