RISC Zero Steel 如何加速以太坊的 ZK 采用？

更新时间:2025-11-17 22:31:37

编译：alex liu ，foresight news

以太坊成功带来了一个蓬勃发展的去中心化应用生态，但它的可扩展性挑战也日益严峻。开发人员面临着一个艰难的选择：限制其应用程序的功能和数据丰富性，或者忍受高昂的 Gas 费用和 Gas 用量限制。如果开发人员有办法绕过这些限制，会怎么样？

Steel，连接 RISC Zero 和以太坊

RISC Zero 是主要的 zkVM 开发商之一，如果你常在耳边听到 zkEVM，但并不了解一字之差的 zkVM 是什么，可以参考这篇文章。RISC Zero 最新推出了 Steel，它是基于 Alloy 的视图调用证明库，为开发人员与以太坊 L1 或其他 EVM 链交互方式带来巨大转变。利用零知识证明和 RISC Zero zkVM，Steel 使开发人员能够以可扩展、安全且经济高效的方式执行视图调用并可证明地读取和计算以太坊的状态。

Solidity 的便利， ZK 的力量

Steel 弥合了以太坊应用开发和零知识技术之间的距离，使开发人员更容易在其智能合约中利用 ZK 的力量。结合 RISC Zero zkVM 的功能，Steel 使开发人员能够在以太坊 L1 或任何 EVM 等效链上构建更安全、可扩展且高效的应用程序。

借助 Steel，开发人员能够：

直接在 zkVM 内执行 Solidity 智能合约，兼容更复杂的链上逻辑
访问 zkVM 内的历史以太坊状态
使用 continuations 进行计算，不受区块和交易数据大小的限制
确保链下计算像在链上执行一样安全可靠
利用经多个合作伙伴严格测试和使用的第一个胜任生产环境的 zkVM
以太坊状态的私有计算
通过开源代码库保持灵活性，不受供应商限制

无缝集成并节省成本

使用 Steel，执行视图调用像指定所需的 Solidity 方法一样简单。无论是检索 ERC-20 代币余额 (example) 还是访问以太坊状态等各个方面，Steel 都可以通过与 RISC Zero zkVM 无缝集成来简化流程，同时确保安全性和效率。测试表明，Steel 有能力在单个视图调用中处理超过 100K SLOAD 操作，这节省了主网上数千美元的 Gas 费用。我们可以使用 Bonsai 在大约 15 分钟内证明它，这至少需要 210M 的 Gas，超出区块限制 7 倍。

示例: ERC20 balanceOf

下面的代码片段演示了使用 Steel 证明以太坊上部署的 ERC-20 合约的特定地址余额的过程。此示例展示了开发人员如何利用 Steel 在 zkVM 内与以太坊链上数据进行交互。完整代码可在此处查看。

定义视图函数签名

首先，使用 sol! 宏来定义 ERC-20 的 balanceOf 函数签名。这将解析 Solidity 语法以生成相应的 Rust 结构体，该结构体实现了 SolCall trait，可用于调用 balanceOf 方法，该方法接受一个账户地址并返回关联的 ERC-20 代币余额。