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(Python 3.9 is required)

make install

Run the tests

make test

Name		Name	Last commit message	Last commit date
Latest commit Cannot retrieve latest commit at this time. History 253 Commits
.github/workflows		.github/workflows
specs		specs
src/zkevm_specs		src/zkevm_specs
tests		tests
.gitignore		.gitignore
CODEOWNERS		CODEOWNERS
Makefile		Makefile
README.md		README.md
pyproject.toml		pyproject.toml
setup.cfg		setup.cfg