BOB 已成为首个以两种新方式利用零知识（ZK）证明的区块链：
- BOB 是第一个使用 ZK 欺诈证明的卷积，它将多个交易流简化为单个交易。这结合了有效性卷积的速度和乐观卷积的低成本和高效率。
- BOB 也是第一个支持按需提供有效性证明的滚动项目。当用户想从 BOB 快速提现时，可以提交有效性证明，以即时完成向以太坊的提现。
我们相信，混合 ZK 证明是目前任何卷积所使用的最好、最有效的证明系统。
此次升级由 OPKailua 支持，OPKailua 是 OP Stack 开源框架的新扩展，用于构建以太坊二层网络，由RISC Zero构建，并由Boundless网络生成 ZK 证明。它还使 BOB 非常接近实现L2BEAT 的 Rollup Stage 1 和 Stage 2 状态，L2BEAT 是一个区块链分析平台，可客观跟踪第 2 层网络的安全性、去中心化和成熟度。
参加 7 月 31 日（星期四）的现场直播，与 BOB、RISC Zero、Boundless、Conduit 和 L2BEAT 一起讨论升级问题： https://x.com/i/broadcasts/1lPJqMbWdbQJb
关于 BOB 的 ZK 欺诈证据
传统上，卷积采用两种不同的模式：乐观卷积假定交易有效，但需要 7 天的质疑窗口；有效性卷积通过零知识证明即时验证交易，但运营成本高昂。OP Kailua 引入了第三种混合 ZK 选项，将 ZK 证明应用于乐观卷积中的欺诈解决流程，将低运营成本与快速终结融合在一起，大大提高了第 2 层设计的可扩展性、安全性和分散性。这种模式还提供了按需提交有效性证明的选项，使 BOB 能够获得两全其美的效果：默认情况下交易和验证费用低廉，而在需要时则可通过完全有效性实现快速终结。
BOB 联合创始人阿列克谢-扎米亚京（Alexei Zamyatin）说： "我们推出的全功能证明系统为 BOB L2 带来了全面的以太坊级别安全性，这是我们去中心化道路上的一个重要里程碑。通过这次升级，BOB 成为了第一个混合 ZK 循环，并进入了 L2BEAT 的第 0 阶段，而该领域的大多数循环由于没有正常运行的证明系统，仍将停留在'其他'类别。这种混合卷积模型反映了我们的混合愿景：结合多个系统的优势，释放比特币 DeFi 的全部潜力。"
凯路亚歌剧院的四大优势
这种新颖的混合证明方法有四个主要优点：
- 可访问性： 与其他所有的乐观主义卷积相比，BOB 是唯一一个真正允许任何人提交欺诈证明的卷积。在 Arbitrum、Base、Optimism 等项目中，欺诈证明的成本高达数百万美元。而使用 BOB，只需要 0.5 ETH 的抵押，证明加上链上提交的成本不到 50 美元。
- 成本效益： 与非 ZK 版本需要数小时或数天进行多次交易相比，在以太坊上只需进行一次交易，就能在数分钟内完成挑战情况下的防欺诈结算。
- 按需即时提款：如果有人希望在没有质疑期的情况下立即结算提款，可以付费提交有效证明。这在普通乐观模型中是不可能的，因为普通乐观模型必须执行完整的 7 天期限。但是，如果不需要立即取款，那么混合 ZK 系统就会默认使用廉价的乐观交易。像 Starknet、zkSync 和 Scroll 这样的全 ZK 链，即使速度不那么重要，也总是需要有效性证明，从而推高了它们的运营成本。
- 速度： 从长远来看，BOB 将能大幅缩短取款时间，因为链上欺诈问题的解决既快又便宜。一开始，取款时间将为四天，但当系统稳定后，取款时间可能会缩短至几小时。
RISC Zero 产品负责人 Jacob Everly 评论说："乐观卷积的优势显而易见：成本低、吞吐量高，因此推动了乐观卷积的采用，但 7 天的挑战窗口阻碍了其真正的可扩展性。OP Kailua 通过使用 ZK 欺诈证明改变了这一状况。它将 ZK 的速度和终局性引入了乐观框架；这是一个突破，结合了两个世界的优点，为 DeFi 的下一步发展奠定了基础。"
由 RISC Zero、Boundless 和 Conduit 提供技术支持
BOB 上的 OP Kailua 升级版由RISCZero 构建，并由Boundless网络生成 ZK 证明。RISC Zero 于 2024 年推出了 Boundless。它旨在跨链扩展零知识证明（ZKP）计算。该协议旨在实现零知识证明计算的可访问性、可扩展性和不可信性。Boundless 允许单个节点执行计算，并由所有其他节点进行高效验证，而无需重新执行。无界公司已与最值得信赖的RaaS（卷积即服务）提供商之一Conduit合作，对OP Kailua进行测试并将其投入生产。
Conduit 创始人 Andrew Huang 说： "这正是我们与 RISC Zero 合作构建 OP Kailua 集成时所设想的。通过在我们管理的 OP Stack 环境中运行 ZK 校验，BOB 可以获得以太坊级别的安全性，提款时间以小时计算，而不是以天计算。我们与 RISC Zero 的合作使我们能够将这一功能无缝带入任何卷积。这是卷积设计的前沿"。
一步一步的防欺诈程序
OP Kailua 引入了自己新颖的欺诈证明博弈设计，为滚动交易排序提供了同类最佳的安全保证。BOB 将使用 ZK 欺诈证明，而不是使用通常的 Optimism bisection game 进行欺诈证明。这使得欺诈证明机制可以简化为以太坊上的单笔交易，而不是二分法游戏中所需的多笔交易。
- 对于每个检查点，BOB 排序器（由 Conduit 运行）将为特定高度提出一个新的规范链。
- 任何人都可以使用凯路亚二进制币提出另一个提案，对正统链提出异议。提出建议需要在 L1 上存入保证金（以 ETH 为单位）。初始设置为 0.5 个以太坊，这使得任何人都可以提出质疑，并大大降低了无权限验证与大多数乐观链相比的门槛。
- 当同一高度存在相互矛盾的建议时，挑战者或验证者将使用无界生成 ZK 证明，使证明不正确的建议无效。由于 BOB 的构造取决于 L1 上编码交易的顺序，因此只能有一个有效链。错误的提议者或挑战者将被削减保证金。
7 月 31 日现场直播
BOB、RISC Zero / Boundless、Conduit 和 L2BEAT 将于 2025 年 7 月 31 日（周四）举办现场直播，讨论混合 ZK 创新。在此设置提醒： https://x.com/i/broadcasts/1lPJqMbWdbQJb
