Scroll zkEVM Playground 项目教程

Scroll zkEVM Playground 项目教程

scroll-proverScroll's zkEVM rust crates项目地址:https://gitcode.com/gh_mirrors/sc/scroll-prover

1. 项目的目录结构及介绍

scroll-prover/
├── integration/
│   ├── outputs/
│   │   └── e2e_tests_*
│   └── params/
├── tests/
│   └── extra_traces/
│       └── batch_34700/
│           └── chunk_1236462/
│               └── block_4176564.json
├── src/
│   ├── snark-verifier/
│   └── ...
├── Cargo.toml
├── Makefile
├── LICENSE-APACHE
├── LICENSE-MIT
└── README.md

目录结构介绍

• integration/: 包含集成测试的相关文件和参数文件。
  • outputs/: 存放集成测试生成的输出文件，如 e2e_tests_*。
  • params/: 存放测试所需的参数文件。
• tests/: 包含项目的测试文件，特别是 extra_traces 目录下存放了额外的测试数据。
• src/: 项目的源代码目录，包含主要的逻辑实现。
• Cargo.toml: Rust 项目的配置文件，定义了项目的依赖和元数据。
• Makefile: 包含项目的构建和测试命令。
• LICENSE-APACHE 和 LICENSE-MIT: 项目的许可证文件。
• README.md: 项目的介绍文档。

2. 项目的启动文件介绍

项目的启动文件主要通过 Makefile 和 Cargo.toml 来管理。

Makefile

Makefile 包含了项目的构建和测试命令，例如：

• make test-inner-prove: 用于测试第一级电路。
• make test-batch-prove: 用于测试最后两级电路。
• make test-e2e-prove: 用于运行端到端测试，生成验证合约的 YUL 和字节码。

Cargo.toml

Cargo.toml 是 Rust 项目的配置文件，定义了项目的依赖和元数据。通过 cargo run 命令可以启动项目中的二进制文件，例如：

cargo run --release --bin trace_prover -- --params=params --trace=tests/extra_traces/batch_34700/chunk_1236462/block_4176564.json

3. 项目的配置文件介绍

项目的配置文件主要包括 Cargo.toml 和 Makefile。

Cargo.toml

Cargo.toml 文件定义了项目的依赖、版本、作者等信息。例如：

[package]
name = "scroll-prover"
version = "0.1.0"
authors = ["Scroll Tech <info@scroll.io>"]
edition = "2021"

[dependencies]
...

Makefile

Makefile 文件定义了项目的构建和测试命令，例如：

test-inner-prove:
    cargo test --lib

test-batch-prove:
    cargo test --lib

test-e2e-prove:
    cargo test --lib

通过这些配置文件，开发者可以方便地管理和运行项目。

scroll-proverScroll's zkEVM rust crates项目地址:https://gitcode.com/gh_mirrors/sc/scroll-prover