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

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

Last synced: 3 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/privacy-scaling-explorations/zkevm-circuits
• Owner: privacy-scaling-explorations
• License: other
• Created: 2021-06-28T07:42:39.000Z (about 3 years ago)
• Default Branch: main
• Last Pushed: 2024-04-05T14:17:28.000Z (3 months ago)
• Last Synced: 2024-04-05T14:56:15.308Z (3 months ago)
• Language: Rust
• Homepage: https://privacy-scaling-explorations.github.io/zkevm-circuits/
• Size: 58.7 MB
• Stars: 767
• Watchers: 41
• Forks: 745
• Open Issues: 146
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md

Lists

• awesome-zk - Appliedzkp: Circuits for zkEVM
• awesome-zkevm - zkEVM-circuit

README

        
# Circuits for zkEVM

[![CI checks](https://github.com/privacy-scaling-explorations/zkevm-circuits/actions/workflows/ci.yml/badge.svg)](https://github.com/privacy-scaling-explorations/zkevm-circuits/actions/workflows/ci.yml)

Check out the work in progress [specification](https://github.com/privacy-scaling-explorations/zkevm-specs) to learn how it works.

## Getting started

To run the same tests as the CI, please use: `make test-all`.

## Running benchmarks

There are currently several benchmarks to run in the workspace in regards to the circuits.

All use the `DEGREE` env var to specify the degree of the `K` parameter that you want

to use for your circuit in the bench process.

-   Keccak Circuit prover benches. -> `DEGREE=16 make packed_multi_keccak_bench`

-   EVM Circuit prover benches. -> `DEGREE=18 make evm_bench`.

-   State Circuit prover benches. -> `DEGREE=18 make state_bench`

-   MPT Circuit prover benches. -> `DEGREE=15 make mpt_bench`

You can also run all benchmarks by running: `make circuit_benches DEGREE=18`.

## GH Actions Benchmark Results

Circuit Benchmark Results are accessible here: https://grafana.zkevm-testnet.org/d/vofy8DAVz/circuit-benchmarks?orgId=1

- circuit_benchmarks panel displays:

    - overall test result

    - timers and system statistics

    - url for downloading prover log and sys stat files

    - clickable sysstats_url element that loads the memory and cpu utilization profiles for the given test