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
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