BOB（Build on Bitcoin）於7月25日宣布與RISCZero合作，通過集成Kailua框架成為首個使用零知識證明（ZK）作為欺詐證明的Rollup項目。這一創新將大量減少設置時間與成本，並將提現時間從7天縮短至1小時，標誌著BOB在L2beat實現Rollup階段的重要進展。
Kailua結合了Optimistic Rollup與ZK Rollup的優勢，允許快速處理交易並在有爭議時啟用ZK證明，從而實現高效的區塊鏈結算。特別是，結算週期能從原先的7天縮短至1小時，並且挑戰過程中無需擔心ZK證明的持續生成成本。
BOB的三大優勢包括：
1. 任何人可用0.5 ETH的保證金挑戰序列器提案，低於非零知識證明的數百ETH需求。
2. 在出現挑戰時，欺詐證明可通過一筆以太坊交易快速結算，而非零知識版本則需數小時或數天。
3. 長期看，BOB的提現時間將大幅縮短，初期預計為4天，系統穩定後可至數小時。
整體上，BOB通過Kailua的支持，實現了高效率與高安全性的完美結合。
這將大大節省現有設置的時間和成本，並且可以將提現時間從通常的7 天縮短至1 小時。這是BOB 在L2beat 上實現Rollup 第1 階段和第2 階段的關鍵一步。
7月25日，BOB（Build on Bitcoin）宣布與零知識證明基礎設施RISCZero 達成合作，將通過集成RISC Zero 推出的混合架構框架Kailua，成為行業內首個使用零知識證明作為欺詐證明的Rollup 項目。這將大大節省現有設置的時間和成本，並且可以將提現時間從通常的7 天縮短至1 小時。這是BOB 在L2beat 上實現Rollup 第1 階段和第2 階段的關鍵一步。
據悉，Kailua 是RISC Zero 使用其可驗證計算層Boundless 網絡構建的OP 堆棧擴展，這是一種可以將Optimistic Rollup 升級為Hybrid ZK Rollup的混合架構（即Hybrid Rollup），它結合了Optimistic Rollups 和ZK Rollup 的優勢，致力於實現高效的區塊鏈結算和爭議解決。它通過默認採用Optimistic Rollups 快速處理交易，並在出現爭議或需要快速結算時啟用ZK 證明，從而試圖兼顧了高吞葉量、低成本和高安全性。簡單來說，它為現有的Optimistic Rollup集成具有ZK Rollup 優勢的能力。
其中最重要的特徵便是其可以在結算週期方面從原來7天挑戰期縮短至最短1小時內完成，並且對於集成Kailua 的Optimistic Rollup 網絡來說也無需擔心ZK 證明的持續生成成本因為它的實現方式是按需介入。
BOB 是首個使用零知識證明(ZK) 的鏈。相比於提現速度慢且防欺詐機制昂貴的Optimistic Rollup 以及運行成本高昂的ZK Rollup，這種新方法兼具了兩者的優勢。
BOB 完美地結合了效率（與有效性Rollup 相比，提交提案的成本更低）和安全性（在發生欺詐時能證明區塊的正確性）。此外，ZK 證明比目前Optimism 或Ink 平台上的鏈上二分遊戲成本低得多（不到100 美元，而後者約為100 萬美元）。
三大優勢：
任何人都能以低至0.5 ETH 的保證金來挑戰BOB 序列器的提案，而無需像非零知識欺詐證明那樣需要數百個ETH。
在出現挑戰的情況下，欺詐證明的結算在以太坊上只需一筆交易即可完成，因此在幾分鐘內即可最終確定，而非零知識版本則需要數小時或數天以及多次交易。
從長遠來看，可以大幅縮短BOB 的提現時間，因為鏈上欺詐解決方案快速且成本低廉。初期預計提現時間為4 天，系統穩定後，可以將其縮短至幾個小時。
工作原理：
Kailua 引入了其自主研發的全新防錯博弈設計，為Rollup 交易排序提供一流的安全保障。
BOB 將使用零知識證明(ZK) 防欺詐證明，而非Optimism 二分博弈中的多筆交易。
零知識證明使BOB 能夠將防錯機制精簡為以太坊上的單筆交易，而非二分博弈中的多筆交易。
具體流程：
對於每個檢查點，BOB 排序器（由Conduit 運行）將針對特定高度提出一條新的規範鏈。
任何人都可以使用Kailua 二進製文件提出另一個提案，對規範鏈提出異議。提出提案需要在Layer1 上存入一筆以ETH 為單位的保證金。初始設置為0.5 ETH，這使得任何人都可以輕鬆挑戰，並大幅降低無需許可驗證的門檻。
當同一高度存在相互矛盾的提案時，挑戰者或驗證者（由Conduit 運行）將生成一個零知識證明（使用Boundless 算法），以解決規範鏈的問題。由於BOB 的構造取決於Layer1 上交易編碼的順序，因此只能存在一條有效鏈。錯誤的提案者或挑戰者的保證金將被罰沒。
BOB 聯合創始人兼BitVM Alliance 創始成員Alexei Zamyatin 表示：“隨著功能完備的證明系統的推出，BOB L2 將擁有完全的以太坊安全性。這意味著BOB 仍將處於第0 階段的L2 層，而大多數其他L2 層將在L2Beat 上移至其他類別。第1 階段的Rollup 僅取決於安全委員會的啟動，該委員會將在不久的將來宣布。第2 階段的Rollup 只需向任何人開放提案流程即可。”
RISC Zero 團隊認為，Kailua 將Optimistic Rollup 升級為使用由RISC Zero zkVM 驅動的零知識證明(ZK Fault Proofs)。目前市場對Rollup 解決方案的的選擇不是Optimistic Rollup，就是ZK Rollup。由於成本低、吞吐量高，Optimistic Rollup 在當前市場佔據主導地位，但需要7 天的挑戰窗口期，這會延遲最終確定性並限制互操作性。 ZK Rollup 可以提供快速的最終確定性，但為每個區塊生成ZK 證明會產生大量額外成本，高吞吐量Rollup 的成本可能高達數百萬美元甚至更多。
現在第三種方式已在BOB 上線，這就是由RISC Zero 的Kailua 架構提供支持的解決方案，它兼具了兩種方式的優勢：Optimistic ZK Rollup 既擁有Optimistic Rollup 系統的低運營成本，又擁有ZK Rollup 的快速最終確定性。