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
• Archived: true
• Created: 2021-06-25T11:06:30.000Z (over 3 years ago)
• Default Branch: master
• Last Pushed: 2024-07-05T08:54:23.000Z (6 months ago)
• Last Synced: 2024-08-04T03:04:13.201Z (5 months ago)
• Language: Python
• Size: 6.28 MB
• Stars: 333
• Watchers: 29
• Forks: 272
• Open Issues: 55
• Metadata Files:
  • Readme: README.md
  • Codeowners: CODEOWNERS

Awesome Lists containing this project

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

README

        
# Archiving notice

This repository is no longer maintained. For details, please refer to the README on [zkevm-circuits](https://github.com/privacy-scaling-explorations/zkevm-circuits/blob/main/README.md)

# [Deprecated] 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)