Zkevm Specifications

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

pip3 install pytest
pip3 install .

Run the tests

pytest

Name		Name	Last commit message	Last commit date
Latest commit History 51 Commits
.github/workflows		.github/workflows
specs		specs
src/zkevm_specs		src/zkevm_specs
tests		tests
.gitignore		.gitignore
README.md		README.md
pyproject.toml		pyproject.toml
setup.cfg		setup.cfg