https://github.com/scroll-tech/zkevm-specs
https://github.com/scroll-tech/zkevm-specs
Last synced: 9 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/scroll-tech/zkevm-specs
- Owner: scroll-tech
- License: mit
- Fork: true (privacy-scaling-explorations/zkevm-specs)
- Created: 2021-09-23T03:07:10.000Z (over 4 years ago)
- Default Branch: master
- Last Pushed: 2024-03-31T07:09:09.000Z (almost 2 years ago)
- Last Synced: 2024-08-01T22:51:11.004Z (over 1 year ago)
- Language: Python
- Size: 1.66 MB
- Stars: 281
- Watchers: 4
- Forks: 77
- Open Issues: 5
-
Metadata Files:
- Readme: README.md
- Codeowners: CODEOWNERS
Awesome Lists containing this project
README
# Zkevm Specifications
[](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)