Zkevm Specifications

July 17, 2023 · View on GitHub

The project aims to define a validity snark proof for Ethereum transactions.

The Written Specification

We recommend the reader to start with Introduction

We provide the Beacon Chain style Python executable specification to help implementors figure out the specified behavior.

Installing dependencies(Python 3.9 is required)

make install

Run the tests

make test