Zilkworm：Erigon基于C++的以太坊证明之路

Zilkworm 是基于 C++ 的以太坊 ZK 证明器，隶属于 Erigon 项目——它是 Rust 单一文化下唯一真正的替代方案。速度提升 2 倍，基于 EVMOne 构建，专为 Gigagas 时代设计。

扩展以太坊 L1，为 L2 提供证明

在以太坊的权益证明系统中，最终性 是指一个区块在连续两个时期获得至少三分之二验证者确认时所达到的状态，在当前设置下大约需要 12 分钟。这一时长平衡了去中心化、处理能力和安全性，不过我们的开发者正在探索缩短它的方法，以提高去中心化应用和交易所的效率和安全性。

Erigon 正在研究 Zilkworm 的潜力，这是一个基于 C++ 的 ZK 核心，用于证明后端：该项目处于以太坊基金会日益关注的扩展性、隐私性和去中心化领域。

## Create block proofs in one command
z6m_prover prove --block-number 23456789 --out proof.json
z6m_prover verify proof.json

目前，在较好的 GPU（约 1 块 Nvidia 4090）上生成证明大约需要 100 秒，考虑到以太坊 12 分钟的最终性，这是可以接受的。Zilkworm 团队已建立了一个健壮且可调试的基础，包括一个功能性的 RISC-V 调试器，目前正积极推动技术创新，目标是实现 150-200% 的性能提升。这种新的验证器模型使得消费级硬件能够通过仅下载区块头和证明来处理更大的区块大小，从而显著减少数据处理。换句话说，这是朝着以太坊每秒 1 Gigagas 目标迈出的一大步。

这种方法还促进了更快的**“Rollup”**，极大地改善了交易包含延迟并降低了处理开销。此外，可以轻松地利用同一软件栈衍生出新的类型 1 EVM 链。

Zilkworm 标志着 Erigon 进入 Layer 2 解决方案的 STARK 化领域，对公司而言是重要的一步。

ethproofs 上的完整以太坊证明

Zilkworm 现已上线 https://ethproofs.org/clusters，证明自己是运行在更廉价架构机器上的最快证明客户端之一，仅使用单块 5090 GPU 和普通的消费级桌面芯片。撰写本文时，它在周期计数方面比竞争对手快 2 倍！

在 Rust 主导的世界中 C++ 的优势

Zilkworm 大致基于之前的 Erigon 项目 Silkworm，后者大量使用了久经考验的 C++ 构造和库，以实现巨大的性能飞跃。其继任者继续这一旅程，并旨在使用零知识证明（ZKP）扩展以太坊。目前，它是运行在 Succinct 的 SP1 Turbo 等解决方案之上的一种独特的“访客程序”。

毋庸置疑，当前证明领域主要由 Rust 主导，而突出的 C++ 实现提供了极为必要的客户端多样性，这是生态系统韧性的关键因素。

此外，在针对 RISCV（例如 rv32im）的小型嵌入式目标时，C++ 与机器硬件的接近性带来了许多卓越优化的机会。

虽然 Rust 在新实现中常受青睐，但 Zilkworm 现有的 C++ 代码库在性能上提供了竞争优势，这是争夺高效 ZK 解决方案过程中的一个有力卖点。

与 L2 的战略整合与去中心化

Zilkworm 可能能够与任何以太坊 L2 集成，并且通过消除挑战期，可以为它们提供真正的 L1 级安全性。虽然去中心化排序器对大多数 L2 来说会带来收入挑战，但这一举措可能吸引更多总锁仓价值（TVL），并防止客户流失给竞争对手。这一战略转变将增强去中心化，解决对审查和中心化控制的担忧，尤其是对国际实体而言。

企业及其他领域的隐私性

对于企业而言，我们正在探索将 Zilkworm 作为保护隐私的区块链的应用。企业可以私下维护内部会计和交易，仅向以太坊提交状态转换的证明，反之亦然：称之为私有 L2。这增强了公众信任，实现了互操作性，并与现有以太坊智能合约资产生态系统集成。

更广泛的应用性与未来展望

Zilkworm 的应用范围不仅限于以太坊，还可扩展到其他 EVM 区块链。Zilkworm 可以与多种 Risc V 证明器 SDK 和解决方案合作，提供优于现有解决方案（如 Revm 等）的替代方案。随着主网证明预计很快进入测试版或生产版本，Zilkworm 有望成为该领域的市场领导者。

加入我们，共同致力于让 ZK 更易于被以太坊协议使用！

访问 https://zilkworm.erigon.tech/ 获取更多信息。

• 原文链接： erigon.tech/blog/introdu...
• 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～