Scroll-prover 项目常见问题解决方案

Scroll-prover 项目常见问题解决方案

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

项目基础介绍

Scroll-prover 是一个开源项目，它提供了一个zkEVM（Zero-Knowledge Ethereum Virtual Machine）的Playground。该项目主要是为了帮助开发者在Scroll网络中实现和测试零知识证明。它使用的主要编程语言是Rust，同时也包含了Solidity和Shell脚本。

新手常见问题及解决方案

问题一：如何安装和配置 Solidity 编译器

**问题描述：**新手在使用项目时，需要安装特定版本的Solidity编译器。

解决步骤：

1. 打开终端。
2. 使用以下命令安装svm-rs，这是一个Rust的包，用于安装Solidity编译器：

   cargo install svm-rs
   

3. 接下来，使用svm-rs安装Solidity编译器的特定版本（例如0.8.19）：

   svm install 0.8.19
   

问题二：如何下载设置参数（SRS）

**问题描述：**在使用项目之前，新手需要下载适当的设置参数（SRS）。

解决步骤：

1. 在终端中，导航到项目的根目录。
2. 使用以下命令下载不同度的设置参数。根据需要选择20、24或26度：

   make download-setup -e degree=20
   make download-setup -e degree=24
   make download-setup -e degree=26
   

3. 如果需要指定其他度数或目标目录，可以使用以下命令：

   make download-setup -e degree=DEGREE params_dir=PARAMS_DIR
   

问题三：如何运行测试用例

**问题描述：**新手可能不清楚如何运行项目中的测试用例来验证其功能。

解决步骤：

1. 在终端中，导航到项目的根目录。
2. 运行以下命令来测试多级电路约束系统的不同部分：

   make test-chunk-prove
   make test-e2e-prove
   

3. 对于第一级电路，可以使用以下命令：

   make test-inner-prove
   

4. 对于最后两级电路，可以使用以下命令：

   make test-batch-prove
   

通过遵循上述步骤，新手可以更容易地开始使用scroll-prover项目，并更好地理解其工作原理。

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