> For the complete documentation index, see [llms.txt](https://docs.rome.builders/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.rome.builders/zh/rome-zk-evm/prover-host.md).

# 证明主机

为使用 ZisK 1.3.1-alpha 证明 Rome ZK EVM batches 的 GPU 主机进行规格设定与准备。

节点可以在没有 GPU 的情况下对交易进行排序并提交批次。它需要证明者才能使 Solana 上的任何 root 达到最终确定。在 v0.3.0 中，证明者运行 ZisK 1.3.1-alpha，并使用为你的链创世构建的 guest。它一次验证一个 inbox 批次，先在本地检查每个证明，然后将其提交到结算。

上面的 [完整的证明者主机指南](https://github.com/rome-protocol/solana-zk-evm/blob/v0.3.0/docs/PROVER-HOST.md) 其中包含设置和恢复步骤。请将其与 [devnet 操作手册](https://github.com/rome-protocol/solana-zk-evm/blob/v0.3.0/docs/RUN-ON-DEVNET.md).

## 规划主机规格

请使用 x86-64 Ubuntu 22.04 或更高版本，并配备一块显存超过 30 GB 的 NVIDIA GPU。设置脚本接受约 32.2 GB 或更大的 GPU。最终证明步骤需要约 30 GB，因此 24 GB 的显卡太小。NVIDIA 驱动程序必须至少为 525.60.13。

至少预留 **128 GB 内存** 和 **125 GB 可用磁盘空间** 在 ZisK 安装位置。1.3.1-alpha 证明密钥归档包为 5.1 GB，PLONK 密钥归档包为 21.9 GB。设置生成常量文件后，这两个密钥目录分别占用 21 GiB 和 26 GiB。第一次证明会添加缓存文件。一台 CPU 主机在完成一次证明后总计占用 102.1 GB，GPU 缓存增长尚未测量。

1.3.1-alpha 证明库报告其主工作缓冲区为 24.7 GB，递归部分在约 300 万步的批次上为 5.6 GB。该版本的整个进程峰值未记录。devnet GPU 运行使用了一台配备 176 GB 内存的主机；其峰值内存用量也未记录。请将 128 GB 作为规格估算值，而不是实测峰值。

## 测量结果

一个几乎空的批次大约耗时 **17 秒**，包括 PLONK 封装，在一台配有一个 **96 GB RTX PRO 6000**、48 个 CPU 核心和 176 GB 内存的主机上。约 95 GB 的 GPU 内存显示为正在使用。这是此次运行实际占用的内存，而不是每个批次所需的最小 GPU 内存。更大的批次尚未在 GPU 上计时。

Rome 在该 GPU 上大约用了 35 分钟清除了 116 个几乎空的 devnet 批次。这一点很重要，因为当某条链在等待其验证密钥期间生成了空块时，证明者必须按顺序处理这些批次，才能到达更新的状态。

## 运行设置脚本

安装 NVIDIA 驱动程序，如有需要请重启。从仓库根目录以 root 身份运行该版本的脚本。设置 `ZISK_HOME` 为 ZisK 及其密钥所在目录。请在你的 rollup `.env`:

```sh
sudo ZISK_HOME=/opt/zisk bash deploy/rollup/prover/setup-prover-host.sh
sudo ZISK_HOME=/opt/zisk bash deploy/rollup/prover/setup-prover-host.sh --check
```

该脚本会安装 ZisK GPU 构建版、其证明和 PLONK 密钥、所需的系统库以及 Docker 的 NVIDIA 运行时。它会将锁定内存限制设置为无限制。请注销并重新登录，以便该限制应用到你的 shell。随后它会检查 GPU 和驱动程序、已安装二进制文件、密钥、内存限制以及容器运行时。

在运行安装程序之前，它会检查安装程序的 SHA-256。它会在解包任一密钥归档包之前先检查这两个归档包，并检查已安装的 `cargo-zisk` 和 `cargo-zisk-dev` GPU 二进制文件，然后脚本才会运行它们。它会生成聚合和 PLONK 证明所需的常量文件。如果运行失败，请重新运行脚本。当已安装的密钥已经与固定清单匹配时，它会跳过密钥下载。

该脚本不会检查 ZisK 安装的每一部分。安装程序会先获取一个二进制包并运行其工具链安装程序，然后脚本才会检查两个已安装的 GPU 二进制文件。该包中的其他可执行文件和源文件不在此脚本的哈希校验范围内。完整指南说明了这一限制，并提供了分别检查每个下载项的命令。

## 将其连接到你的链

证明者需要匹配的 guest ELF、其验证元数据，以及相同的 1.3.1-alpha 证明密钥。设置 `PROVER=on` 以及 rollup 配置中的 guest 和 ZisK 设置，然后运行 `./rollup init` 和 `./rollup up`。首次运行会根据 v0.3.0 源代码构建证明者镜像。仅节点镜像不包含证明者。

在每次启动之前，证明者都会将已安装的证明密钥与固定的 SHA-256 清单进行比对。该检查涵盖文件名和内容。由于因主机而异，生成的常量树和 GPU 常量文件被排除在外。不匹配会以 `KeysShaMismatch`停止证明者。不要为了让不匹配的安装启动而修改清单；应安装与该链的 guest 和已登记密钥相匹配的版本。

运行 `./rollup check` 启动后。它会检查证明者服务、当前生效的验证密钥，以及结算和证明者延迟情况。该 [监控指南](https://github.com/rome-protocol/solana-zk-evm/blob/v0.3.0/docs/MONITORING.md) 列出了本地指标和有用的告警条件。


---

# Agent Instructions
This documentation is published with GitBook. GitBook is the documentation platform designed so that both humans and AI agents can read, navigate, and reason over technical content effectively. Learn more at gitbook.com.

## Querying This Documentation
If you need additional information that is not directly available in this page, you can query the documentation by asking a question.

Perform an HTTP GET request on the following URL with the `ask` and `goal` query parameters:

```
GET https://docs.rome.builders/zh/rome-zk-evm/prover-host.md?ask=<question>&goal=<user_goal>
```

`ask` is the immediate question: it should be specific, self-contained, and written in natural language.
`goal` is what the user is ultimately trying to achieve, the reason they need the answer. Sharing it helps GitBook give you a better, more relevant answer. A goal is most helpful when it describes the outcome the user wants rather than restating the question. For example, with `ask=how do I create an API token`, a goal like `automate deployments from our CI pipeline` lets GitBook tailor the answer to that use case.

The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.