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 的快速最終確定性。