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 Add spec for CREATE(2) (privacy-scaling-explorations#355 ) Apr 20, 2023 25c49f8 · Apr 20, 2023 History 253 Commits
.github/workflows	.github/workflows	Add `mypy` (privacy-scaling-explorations#132 )	Mar 11, 2022
specs	specs	Add spec for CREATE(2) (privacy-scaling-explorations#355 )	Apr 20, 2023
src/zkevm_specs	src/zkevm_specs	Add spec for CREATE(2) (privacy-scaling-explorations#355 )	Apr 20, 2023
tests	tests	Add spec for CREATE(2) (privacy-scaling-explorations#355 )	Apr 20, 2023
.gitignore	.gitignore	Change line-length from 120 to 100 (privacy-scaling-explorations#117 )	Feb 15, 2022
CODEOWNERS	CODEOWNERS	Add CODEOWNERS file to repo to automatically assign reviewers (privac…	Apr 6, 2022
Makefile	Makefile	rename and refactoring (privacy-scaling-explorations#399 )	Mar 11, 2023
README.md	README.md	Update github links (privacy-scaling-explorations#218 )	Jun 5, 2022
pyproject.toml	pyproject.toml	Change line-length from 120 to 100 (privacy-scaling-explorations#117 )	Feb 15, 2022
setup.cfg	setup.cfg	rename and refactoring (privacy-scaling-explorations#399 )	Mar 11, 2023