今天，@Xi_195 分享了一条消息，@boundless_xyz 的证明者一次性提供了 101B 循环大小的证明，而 @Nahoc10 宣布这一记录被打破，新的证明为 106B 循环。 但在 @RiscZero 的 R0VM 中，106B 循环到底意味着什么呢？ 查看 RISC Zero 提供的基准数据表，典型操作显示的循环数略微超过 2M。由于这个数字与 106B 之间存在巨大的差距，我们需要找到一个更可比的数字。 我在 RISC Zero 的博客上找到了可比的数字。在 2024 年 5 月，他们宣布了 Zeth，一个开源的以太坊 ZK 区块证明者。在公告中，他们披露了各种指标，表示他们为 1,541 笔交易生成了大约 190B 循环大小的证明，涉及 40 个以太坊区块（180 个 Optimism 区块）。 因此，这次通过 Boundless 生成的 100B 循环证明几乎相当于 20 个以太坊区块的证明，可以视为一个极大计算的证明（尽管可能并不严格成比例）。在之前的实验中，他们表示生成 190B 循环证明花费了 1,624 分钟，而这次 Boundless 花费了 727 分钟交付 101B 循环证明，显示出效率有所提高。 * 然而，尽管生成 100B 循环大小的证明的成本估计在 500-600 美元左右，但由于拍卖竞争，证明价格仅设定为 0.006 ETH，这与现实存在一定距离。 尽管如此，我相信这表明机构级证明者可以通过主网竞争生成足够大的证明，这意味着我们可以真正突破链上计算的界限！Boundless 的主网不远了，主网启动后，观察证明拍卖和证明者的表现将会很有趣。