zkevm-prover
EVM Prover
A high-performance prover that generates proofs for Ethereum Virtual Machines (EVM) transactions
zkEVM prover in C++
229 stars
10 watching
155 forks
Language: C++
last commit: 3 months ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 ethereum/evmone | An implementation of the Ethereum Virtual Machine | 872 |
 mmalvarez/eth-isabelle | A formalization of Ethereum Virtual Machine in Isabelle/HOL with a focus on compiler verification | 33 |
 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 |
 zchn/eth-acl2 | A formalization of Ethereum VM in Common Lisp aiming to prove interesting properties of EVM contracts. | 3 |
 etcdevteam/sputnikvm | An Ethereum Virtual Machine implementation designed to be efficient and adaptable across different blockchain networks. | 280 |
 pipermerriam/py-evm | A Python implementation of the Ethereum Virtual Machine. | 40 |
 runtimeverification/evm-semantics | Provides a formal model of the Ethereum Virtual Machine (EVM) semantics in the K programming language. | 509 |
 risechain/pevm | An EVM execution engine designed to accelerate blockchain throughput through parallel processing | 239 |
 daltyboy11/more-evm-puzzles | A collection of challenging puzzles designed to test skills in creating and executing transactions on the Ethereum Virtual Machine (EVM) | 172 |
 xprnetwork/eosio.evm | An Ethereum Virtual Machine implementation in C++ that enables deployment and execution of smart contracts on the EOSIO blockchain. | 92 |
 smlxl/evm.codes | An interactive reference and contract viewer for the Ethereum Virtual Machine (EVM) bytecode | 740 |
 av1ctor/evm-txs.mo | A Motoko library for creating and manipulating EVM transactions | 9 |
 fvictorio/evm-puzzles | A collection of puzzles to test Ethereum Virtual Machine (EVM) functionality by solving specific transaction-related challenges. | 821 |
 coinculture/evm-tools | Tools for working with and analyzing the Ethereum Virtual Machine | 446 |
 vorot93/evmodin | An implementation of the Ethereum Virtual Machine in Rust, with support for resumability and gas metering. | 161 |