All Projects → appliedzkp → zkevm-specs

appliedzkp / zkevm-specs

Licence: other
No description, website, or topics provided.

Programming Languages

python
139335 projects - #7 most used programming language
Makefile
30231 projects

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)

pip3 install pytest
pip3 install .

Run the tests

pytest

Implementations

See appliedzkp/zkevm-circuits

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].