The project aims to define a validity snark proof for Wasm0 through 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