https://github.com/privacy-scaling-explorations/zkevm-specs

https://github.com/privacy-scaling-explorations/zkevm-specs

Last synced: about 2 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/privacy-scaling-explorations/zkevm-specs
• Owner: privacy-scaling-explorations
• Created: 2021-06-25T11:06:30.000Z (about 3 years ago)
• Default Branch: master
• Last Pushed: 2024-04-29T13:17:08.000Z (2 months ago)
• Last Synced: 2024-04-30T11:36:19.782Z (2 months ago)
• Language: Python
• Size: 6.27 MB
• Stars: 319
• Watchers: 29
• Forks: 262
• Open Issues: 54
• Metadata Files:
  • Readme: README.md
  • Codeowners: CODEOWNERS

Lists

• awesome-zkevm - zkEVM-spec
• awesome-halo2 - Ethereum Foundation zkEVM

README

        
# Zkevm Specifications

[![Python package](https://github.com/privacy-scaling-explorations/zkevm-specs/actions/workflows/python-package.yml/badge.svg)](https://github.com/privacy-scaling-explorations/zkevm-specs/actions/workflows/python-package.yml)

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

## The Written Specification

We recommend the reader to start with [Introduction](./specs/introduction.md)

## Python Executable Specification

We provide the [Beacon Chain](https://github.com/ethereum/eth2.0-specs) 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](https://github.com/privacy-scaling-explorations/zkevm-circuits)