BOB 宣佈集成 RISC Zero 的 Kailua 架構，將成為首個使用ZK證明作為欺詐證明的 Rollup 項目
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 的快速最終確定性。