Archiving notice

This repository is no longer maintained. For details, please refer to the README on zkevm-circuits

[Deprecated] Zkevm Specifications

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

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 ed255 Update README.md with deprecation notice (#526 ) Jul 5, 2024 6058c68 · Jul 5, 2024 History 309 Commits
.github/workflows	.github/workflows	Add `mypy` (#132 )	Mar 11, 2022
specs	specs	Add missing state circuit constraints (#520 )	Apr 10, 2024
src/zkevm_specs	src/zkevm_specs	Fix typos (#517 )	Feb 26, 2024
tests	tests	Fix typos (#517 )	Feb 26, 2024
.gitignore	.gitignore	Change line-length from 120 to 100 (#117 )	Feb 15, 2022
CODEOWNERS	CODEOWNERS	Add CODEOWNERS file to repo to automatically assign reviewers (#172 )	Apr 6, 2022
Makefile	Makefile	Make sure mypy checks all files (#430 )	May 30, 2023
README.md	README.md	Update README.md with deprecation notice (#526 )	Jul 5, 2024
pyproject.toml	pyproject.toml	Change line-length from 120 to 100 (#117 )	Feb 15, 2022
setup.cfg	setup.cfg	Feat/#323 precompiles ec add (#500 )	Nov 27, 2023