7月25日，BOB（BuildonBitcoin）宣布与零知识证明基础设施RISCZero达成合作，将通过集成RISCZero推出的混合架构框架Kailua，成为行业内首个使用零知识证明作为欺诈证明的Rollup项目。这将大大节省现有设置的时间和成本，并且可以将提现时间从通常的7天缩短至1小时。这是BOB在L2beat上实现Rollup第1阶段和第2阶段的关键一步。
据悉，Kailua是RISCZero使用其可验证计算层Boundless网络构建的OP堆栈扩展，这是一种可以将OptimisticRollup升级为HybridZKRollup的混合架构（即HybridRollup），它结合了OptimisticRollups和ZKRollup的优势，致力于实现高效的区块链结算和争议解决。它通过默认采用OptimisticRollups快速处理交易，并在出现争议或需要快速结算时启用ZK证明，从而试图兼顾了高吞叶量、低成本和高安全性。简单来说，它为现有的OptimisticRollup集成具有ZKRollup优势的能力。
其中最重要的特征便是其可以在结算周期方面从原来7天挑战期缩短至最短1小时内完成，并且对于集成Kailua的OptimisticRollup网络来说也无需担心ZK证明的持续生成成本因为它的实现方式是按需介入。
BOB是首个使用零知识证明(ZK)的链。相比于提现速度慢且防欺诈机制昂贵的OptimisticRollup以及运行成本高昂的ZKRollup，这种新方法兼具了两者的优势。
BOB完美地结合了效率（与有效性Rollup相比，提交提案的成本更低）和安全性（在发生欺诈时能证明区块的正确性）。此外，ZK证明比目前Optimism或Ink平台上的链上二分游戏成本低得多（不到100美元，而后者约为100万美元）。
三大优势：
任何人都能以低至0.5ETH的保证金来挑战BOB序列器的提案，而无需像非零知识欺诈证明那样需要数百个ETH。
在出现挑战的情况下，欺诈证明的结算在以太坊上只需一笔交易即可完成，因此在几分钟内即可最终确定，而非零知识版本则需要数小时或数天以及多次交易。
从长远来看，可以大幅缩短BOB的提现时间，因为链上欺诈解决方案快速且成本低廉。初期预计提现时间为4天，系统稳定后，可以将其缩短至几个小时。
工作原理：
Kailua引入了其自主研发的全新防错博弈设计，为Rollup交易排序提供一流的安全保障。
BOB将使用零知识证明(ZK)防欺诈证明，而非Optimism二分博弈中的多笔交易。
零知识证明使BOB能够将防错机制精简为以太坊上的单笔交易，而非二分博弈中的多笔交易。
具体流程：
对于每个检查点，BOB排序器（由Conduit运行）将针对特定高度提出一条新的规范链。
任何人都可以使用Kailua二进制文件提出另一个提案，对规范链提出异议。提出提案需要在Layer1上存入一笔以ETH为单位的保证金。初始设置为0.5ETH，这使得任何人都可以轻松挑战，并大幅降低无需许可验证的门槛。
当同一高度存在相互矛盾的提案时，挑战者或验证者（由Conduit运行）将生成一个零知识证明（使用Boundless算法），以解决规范链的问题。由于BOB的构造取决于Layer1上交易编码的顺序，因此只能存在一条有效链。错误的提案者或挑战者的保证金将被罚没。
BOB联合创始人兼BitVMAlliance创始成员AlexeiZamyatin表示：“随着功能完备的证明系统的推出，BOBL2将拥有完全的以太坊安全性。这意味着BOB仍将处于第0阶段的L2层，而大多数其他L2层将在L2Beat上移至其他类别。第1阶段的Rollup仅取决于安全委员会的启动，该委员会将在不久的将来宣布。第2阶段的Rollup只需向任何人开放提案流程即可。”
RISCZero团队认为，Kailua将OptimisticRollup升级为使用由RISCZerozkVM驱动的零知识证明(ZKFaultProofs)。目前市场对Rollup解决方案的的选择不是OptimisticRollup，就是ZKRollup。由于成本低、吞吐量高，OptimisticRollup在当前市场占据主导地位，但需要7天的挑战窗口期，这会延迟最终确定性并限制互操作性。ZKRollup可以提供快速的最终确定性，但为每个区块生成ZK证明会产生大量额外成本，高吞吐量Rollup的成本可能高达数百万美元甚至更多。
现在第三种方式已在BOB上线，这就是由RISCZero的Kailua架构提供支持的解决方案，它兼具了两种方式的优势：OptimisticZKRollup既拥有OptimisticRollup系统的低运营成本，又拥有ZKRollup的快速最终确定性。
