Skip to content

Latest commit

 

History

History
29 lines (17 loc) · 850 Bytes

README.md

File metadata and controls

29 lines (17 loc) · 850 Bytes

Zkevm Specifications

Python package

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

The Written Specification

We recommend the reader to start with Introduction

Python Executable Specification

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

Implementations

See kroma-network/zkevm-circuits