Skip to content

tarodesuyo/zkevm-specs

 
 

Repository files navigation

Zkevm Specifications

Python package

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)

make install

Run the tests

make test

Implementations

See privacy-scaling-explorations/zkevm-circuits

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Python 99.9%
  • Makefile 0.1%