今日运势评分

-3

本月运势

癸未月

震荡偏多

甲克戊,申金生水
癸不词讼理弱敌强
未不服药毒气入肠

祭祀,出行,交易,割蜜,造畜稠

嫁娶,作灶,安葬,动土,词讼,作梁,伐木,掘井,破土,移徙

月相

寝待

底部反弹

日冲

Powered by RitMEX

TRUMP9.50 -0.80%

SUI3.47 2.55%

TON2.96 -1.15%

TRX0.30 0.28%

DOGE0.20 0.48%

XRP2.84 3.72%

SOL160.87 0.36%

BNB691.49 0.94%

ETH2961.91 0.81%

BTC118692.92 1.16%

ETH Gas0.60 Gwei

贪婪
74

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

Steel 将 RISC Zero 和以太坊连接起来,拥抱 ZK,让开发者得以绕过以太坊的 Gas 费用和限制。

编译: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 代币余额。

准备调用

接下来,通过用目标账户地址实例化 balanceOfCall 结构体来设置调用。同时,为希望查询的合约地址和调用者的地址定义常量。

在 Main 中执行调用

主函数在 zkVM 中执行,生成零知识证明。它首先读取输入环境,然后构造一个 ViewCallEnv 对象,确保当前状态与预期的状态根匹配。在提交相关区块哈希和编号后,执行视图调用,并打印余额。

它的原理

Steel 通过三个步骤在 RISC Zero zkVM 中证明 Solidity 代码,简化了执行的过程:

  1. 预飞行阶段:通过对以太坊 RPC 节点进行视图调用来启动预飞行,会缓存必要的存储槽,仅使用查询所需的数据填充 EVM 数据库。所有存储槽是根据视图调用执行自动发现和获取的。

  2. 存储验证:进行存储完整性检查,确保 EVM 数据库中的数据与区块链的状态根对齐,从而确认其合法性。

  3. Solidity 执行:在 RISC Zero zkVM 内的 EVM 上运行给定的 Solidity 函数。

这与存储证明有何不同?

使用传统的存储证明,开发人员必须手动选择其智能合约使用的存储槽,并重新实现智能合约逻辑。而使用 Steel,所有存储槽都会根据视图调用执行自动发现和获取。这为开发人员节省了大量时间,减少了实施错误的可能性,从而减少了出现安全漏洞的机会。

获取已验证的区块哈希

在以太坊智能合约中使用 blockhash 操作码进行验证时,验证的 commitment 必须引用不超过 256 个区块旧的区块哈希。考虑到平均区块时间为 12 秒,这就设置了一个约为 50 分钟的狭窄时间范围,用于完成证明生成并确认验证交易已包含在一个区块中。

当需要在链上获取一个早于 256 个区块的已验证的区块哈希时,可以使用以下几种策略之一:

  • 当预先知道将需要的区块哈希时(例如,在发起治理提案时),可以将该区块哈希保存到合约状态中。

  • 另一种方法是使用 RISC Zero 来证明从查询的区块到最近的 256 个区块中的一个区块的哈希链。

链上应用程序的未来

设想未来链下计算将与链上验证无缝集成。 Steel 使开发人员能够在 zkVM 内可靠地访问和计算以太坊的完整历史,从而能创建出下一代数据丰富且功能更强大的链上应用程序,为实现这一愿景做出不小的贡献。

欢迎加入深潮TechFlow官方社群

Telegram订阅群:https://t.me/TechFlowDaily
Twitter官方账号:https://x.com/TechFlowPost
Twitter英文账号:https://x.com/BlockFlow_News
作者Foresight NewsForesight News
相关文章
2025.07.11 - 3 天前
一年内连融两轮,Agora 的增长逻辑资本为何愿意买单?
Agora 获 5000 万美元融资,背后是机构稳定币市场的未竟之争。
2025.07.09 - 5 天前
链上萎靡,应用缺乏,昔日融资天王 Eclipse 将走向何方?
除非 Eclipse 提供独有的产品,否则代币将暂时膨胀。
2025.07.08 - 6 天前
订单簿 + AMM?Kuru Labs 获 1150 万融资,发力 EVM 新链 Monad
项目致力于在高性能 EVM 公链 Monad 上构建一套全链订单簿 + 自动做市的混合 DEX。
2025.07.08 - 6 天前
测评 bitchat:推特创始人新作,这是加密通讯届的 「twttr」 时刻吗?
不用 WI-FI 和网络,Twitter 创始人 Jack Dorsey 开发了一款蓝牙加密通讯产品。
2025.07.07 - 7 天前
速览 ETHGlobal 戛纳黑客松最终入围的 10 大新项目​​
AI、跨链、隐私成亮点。
2025.07.04 - 10 天前
Maple Finance:机构资本时代的链上资产管理
分析 Maple Finance 作为链上资产管理平台的定位以及在不断发展的加密机构市场中的战略机遇。
2025.07.04 - 10 天前
YZi Labs 最新投资的 Digital Asset 速读:4 万亿美元 RWA 帝国背后的隐形推手
累计逾 4 亿美元融资,处理 4 万亿美元代币化 RWA,Canton 凭何成为机构金融的「幕后区块链」?
2025.07.04 - 10 天前
揭秘 Erebor:Peter Thiel 的加密银行,特朗普金主们的阳谋
承接硅谷银行原本的市场定位,填补加密货币的银行服务缺口。
2025.07.04 - 10 天前
寻找潜力加密美股:灿谷如何从车企一跃成全球第二大比特币矿企?
灿谷目前算力达 50EH/s,年底前计划成为全球第一大矿企。
2025.07.04 - 10 天前
详解 Backed xStocks:代币化股票的链上尝试与突破路径
xStocks 与 bTokens 提供覆盖全球蓝筹股、指数基金与短期债券的链上代币化证券服务。