什么是比特幣 Rollups?

Rollups 是處理鏈下執行的區塊鏈擴展解決方案。隨著比特幣層日益受歡迎，開發人員現在正在努力將 Rollups 引入比特幣。讓我們更仔細地看看的比特幣 Rollup 景觀。

比特幣可擴展性問題

比特幣在某些方面表現出色。例如，它擅長以分散的、防篡改的方式存儲數據，并且擅長解決拜占庭將軍問題 。

但比特幣在很多方面表現不佳。例如，比特幣不擅長一次性存儲大量數據。事實證明，當你在分散網絡節點上復制數據庫時，網絡會變得越來越難以控制，網絡和數據庫越大，情況就會變得越糟。

這導致了有限的區塊空間和有限的吞吐量。每個比特幣區塊的最大大小為 4MB，比特幣以每秒約 7 筆交易的吞吐量而聞名。這使得區塊空間變得昂貴。例如，今年 1 月，一名用戶花費了 64,000 美元來銘刻僅有 9MB 的數據在比特幣上。

有限的區塊空間和吞吐量在數千人使用比特幣時是可以接受的——大多數情況下，人們并不會花費 64,000 美元來使用比特幣——但如果你想要將比特幣擴展到支持數十億用戶，那么以當前狀態的比特幣是無法實現的。

什么是比特幣 Rollup?

比特幣 Rollup 是比特幣區塊鏈的擴容解決方案，它將鏈下交易捆綁在一起，并將其發布到比特幣 L1 以進行結算。比特幣 Rollup 可能是將比特幣擴展到數十億用戶的手段，但它們仍處于研究和早期開發階段。

以太坊 Rollup 和比特幣 Rollup 之間的一個關鍵區別是，以太坊 Rollup 在以太坊 L1 上擁有虛擬機的優勢。這意味著大多數以太坊上的 Rollup 使用以太坊區塊鏈作為數據可用性層和共識層（這意味著 Rollup 交易的有效性是由在以太坊 L1 上運行的邏輯決定的）。

正如 Hiro 的主席 Muneeb Ali 所說，的比特幣 Rollup 需要一個可信的設置 ，因為比特幣上沒有虛擬機。這意味著比特幣 L1 無法解釋 Rollup 證明的有效性。比特幣上的 Rollup 項目已經以盡可能最小化信任的方式開發出了聰明的方法。

在比特幣上構建是非常困難的，但有許多項目正在進行。 一些人認為 “真正的比特幣 Rollup”在沒有對比特幣核心進行軟分叉的情況下是不可能的，從而實現了在 L1 上驗證 Rollup 證明所需的操作碼。

對于存在的項目，更準確地描述這些項目可能是 BitVM Rollup，其中 BitVM 用于驗證證明。無論如何，比特幣 Rollup 激發了比特幣構建者的想象力，并激發了許多團隊更加深入地研究比特幣層面。

比特幣 Rollup 格局

這個列表遠非全面，但讓我們看看一些為比特幣 Rollup 做出貢獻的團隊。

按字母順序排列：

BitVM

BitVM 是一個于 2023 年 10 月發布的 R&D 項目，由 ZeroSync 團隊的 Robin Linus 撰寫的白皮書推出。BitVM 不是比特幣 Rollup，而是一種方法，可以在不需要對比特幣本身進行任何更改的情況下，將表達邏輯直接引入比特幣。這種邏輯可以用于構建 Rollup，也可以用于一系列其他用例。

BitVM 的核心思想是將計算轉移到鏈下，并使用鏈上欺詐證明機制。比特幣腳本非常簡單，因此要運行更高級的程序，你需要將它們運行在鏈下，并以某種方式證明計算是正確的。

為了驗證計算，BitVM 使用了類似于樂觀 Rollup 的方案：一個聲明者（在鏈下執行計算的人）對計算結果提出主張。如果這一主張受到質疑，驗證者可以在比特幣區塊鏈上對其進行挑戰。在這種方案中，比特幣區塊鏈僅用于爭議解決。

BitVM 在比特幣社區中引起了很多興奮，原因是它極大地減少了構建比特幣層面所涉及的信任假設。大多數現有的比特幣層面方法都假設存在“誠實的多數派”來防止所謂的 51%攻擊。BitVM 引入了“誠實的少數派”模型，這意味著只要有一個參與者是誠實的，你就可以防止惡意行為者破壞系統。

BitVM 可以整合到許多現有的比特幣層面中，不僅僅是 Rollup，還可以為這些層面帶來更多功能和去中心化。目前尚無主網時間表，但許多開發人員正在積極開發該協議。

BOB

BOB（Build on Bitcoin 的縮寫）是一個具有 EVM 兼容性的比特幣 L2。BOB 采用 Rollup 設計，使其能夠連接到以太坊，同時由比特幣進行安全保障。BOB 起源于 Interlay 生態系統，后者又起源于 Polkadot 和 Cosmos。Interlay 于 2022 年 8 月推出了 iBTC，一個最小信任的比特幣錨定。

BOB 的目標不僅是支持比特幣錨定，還包括 Ordinals、Lighting 和其他用于比特幣 DeFi 的構建模塊。Bob 正在使用 Optimism Stack ，包括 RiscZero 正在進行的 ZK 工作，并且長期希望通過 ZK 驗證器直接在比特幣 L1 上結算。在中期，他們正在研究在比特幣 L1 上使用類似 BitVM 的機制的樂觀 Rollup 設計，以實現鏈上欺詐證明。BOB 目前在公共測試網上。

來源：BOB 文檔

Citrea

Citrea是由 Chainway 開發的新的比特幣樂觀主·權 Rollup，于 2024 年 2 月剛剛宣布。根據有限的文檔，該協議計劃直接在比特幣上銘刻狀態變化的證明，這將允許任何擁有比特幣節點的人驗證 Citrea 并僅使用比特幣 L1 檢索整個 Rollup 狀態。

該項目計劃使用 BitVM 作為結算層，在比特幣 L1 上驗證證明。作為一個主·權 Rollup，Citrea 打算利用比特幣進行數據可用性（ 請查看此處的 GitHub 存儲庫 ），并且沒有單獨的礦工網絡或代幣。重要的是，Citrea 是與 EVM 兼容的，開發人員可以在使用 Chainway 構建時使用以太坊工具，這使得開發人員可以輕松地將以太坊生態系統的一些創新移植到比特幣上。

來源：Citrea Twitter

Sovryn

BitcoinOS是 Sovryn 的一個新項目，Sovryn 是一個于 2019 年推出的以 Rootstock 為背景的 DeFi 社區。Sovryn 應用程序實現了非托管、無權限的交換、交易、借貸、流動性挖礦等功能。Sovryn 正在利用 DeFi 專業知識構建 BitcoinOS，該項目將實現“一系列使用相同模塊化部件的 Rollup 的超級鏈”。

他們的愿景是創建一個 Rollup 網絡，其中每個 Rollup 都可以擁有自己的執行環境，同時與其他 Rollup 保持互操作性。該設計使用了一個共享的壓縮、聚合和結算層（稱為 CASTL），允許任何 Rollup 上的應用與另一個 Rollup 上的應用兼容，從而創造跨 Rollup 的流動性。BitcoinOS 目前正在開發中，測試網計劃于 2024 年第三季度推出。BitcoinOS 希望在 2024 年第四季度不久后推出主網。

Rollkit

Rollkit于 2023 年 2 月推出，作為主·權 Rollup 的模塊化框架，該項目由 Celestia 團隊開發，這是一個專門從事數據可用性解決方案的模塊化 EVM 區塊鏈。推出后不久，Rollkit 宣布支持比特幣。

該設計使用比特幣進行共識和數據可用性，并通過 Taproot 交易存儲數據，同時在鏈下處理執行。使用這種模型，團隊能夠在比特幣測試網上運行 EVM 作為主·權 Rollup 的演示 。根據 Rollkit 的網站，比特幣支持尚未準備就緒，此集成僅應用于實驗和研究。

Zerosync

ZeroSync正在積極研究比特幣的零知識證明系統。雖然該項目尚未宣布推出 Rollup 的計劃，但他們的研究可能為有效性 Rollup、無信任雙向錨定或完全私密交易鋪平道路。到目前為止，他們正在研究三種類型的證明，前兩種已成功進行了原型設計。按照復雜性遞增的順序，這些證明是：

• 一個頭部鏈證明，驗證比特幣區塊頭、難度調整和工作證明。這個證明簡單、輕量且計算成本低。
• 一個**“假定有效”狀態證明**，驗證所有比特幣共識規則，除了交易簽名（見證數據被假定為有效）。
• 一個完整狀態證明，驗證所有比特幣共識規則，包括所有見證數據。這是 ZeroSync 正在研究的最復雜的證明，他們尚未進行原型設計。

這些證明可以幫助構建者立即同步比特幣的鏈狀態，并為比特幣啟用 zk-proof 輕客戶端，這將使用戶能夠在更輕的軟件上運行完整的比特幣節點，甚至可能是手機。隨著時間的推移，ZeroSync 計劃將 ZKP 驗證器整合到比特幣 L1 中。

ZeroSync 是使用 StarkWare 的 Cairo 編程語言構建的，這是以太坊 Rollup 研究滲透到比特幣 Rollup 中的另一個例子。StarkWare 是一家在以太坊生態系統中開發零知識技術的公司，ZeroSync 是第一個在 EVM 世界之外使用 Cairo 的項目。

結論

比特幣 Rollup 領域的創新并未在本文中完全涵蓋。欲了解更多信息，請查看 John Light 關于比特幣 Rollup 的研究 。

比特幣生態系統發展迅速，很難跟上，我想在 6 個月后會回來更新這篇文章，因為比特幣 Rollup 的格局將完全不同。這就是創新之美。

數據可用性和結算

Rollup 設計的另一個重要變體涉及數據可用性和結算。這兩個概念描述了 Rollup 在 L1 上存儲信息的方式和程度。

什么是 Rollup?

Rollups 是解決這一可擴展性問題的一種方法，其背后的思想很簡單：如果你將執行鏈下并將鏈下交易捆綁（或 Roll up）成批次，然后一次性將這些批次發布到鏈上，會發生什么?

這大大減少了需要在鏈上存儲的數據量，使得這些交易更便宜，使整個網絡更具可擴展性。

然而，事情并不是那么簡單。Rollups 只是解決可擴展性問題的一種方法，與其他設計（如側鏈和狀態通道）一樣。Rollups 通常與獨立側鏈不同之處在于，Rollups 將數據可用性推到 L1，而這對于側鏈并非必需。Rollups 和側鏈與狀態通道的不同之處在于，狀態通道不是完整的區塊鏈：它們沒有全局狀態，這意味著沒有智能合約。每個單獨的通道是私有的，只有在通道關閉后，更新的狀態才會回到 L1。

與任何擴展解決方案一樣，Rollups 伴隨著一系列權衡。Rollups 的主要挑戰在于驗證發布到 L1 區塊鏈的交易批次是否準確。如果數據不完全在鏈上，你如何相信它呢?

有幾種設計方法可以回答這個問題。

有效性Rollups 與樂觀 Rollups

在看待 Rollups 的實現時，目前有兩種主要變體受到市場青睞：有效性Rollups 和樂觀 Rollups。

在有效性 Rollup中，用戶在鏈下（在 Rollup 上）執行一堆交易，然后一旦交易被處理，有效性證明將提交到 L1。這個有效性證明總結了這些交易如何改變了區塊鏈的狀態。這個證明會自動驗證，并且任何人都可以對其進行審計和驗證。由于其性質，有效性 Rollups 可以防止無效交易。

在樂觀 Rollup中，用戶在鏈下（在 Rollup 上）執行一堆交易，然后這些交易被處理并批量提交到 L1。在這種構造中，L1 假設這些交易是有效的（一種樂觀的看法），只有在受到質疑時才會被證明無效。樂觀 Rollups 通過讓誠實用戶在指定時間窗口內提交欺詐證明來挑戰交易結果。由于其性質，樂觀 Rollups 允許無效交易。

這兩種不同的設計方法有許多影響。首先，有效性 Rollups 被認為是最佳的，并且具有較少的信任假設，但從技術上來說，它們要難得多。有效性 Rollups 是一項前沿創新領域，在 以太坊 zkRollup 中已經受到關注。

另一方面，樂觀 Rollups 更容易實現，但它們有額外的信任假設。鑒于用戶可以在一定時間窗口內挑戰交易，這意味著提款時間更長，影響了用戶體驗。

數據可用性（DA）

數據可用性被定義為任何網絡參與者（節點）獨立驗證一個區塊是否有效的能力。當一個 Rollup 項目聲稱使用比特幣進行“數據可用性”時，他們是在說 Rollup 在比特幣上存儲了足夠的信息，以便任何人都可以獨立驗證 Rollup 處理的區塊是否有效。

另一種描述方法是，你可以僅通過查看比特幣上的信息來重建 L2 的狀態（在這種情況下是 Rollup）。值得注意的是，有幾種數據可用性的方法，從完全鏈上到完全鏈下等各種方式。

這也是 Rollups 與側鏈不同的另一方面。例如，Stacks 區塊鏈采取了不同的方法。在 Stacks 下，區塊哈希存儲在比特幣 L1 上，這意味著任何比特幣 L1 上的人都可以驗證最新的 Stacks 區塊是否有效。然而，在比特幣上沒有足夠的信息來重建 Stacks 的鏈狀態。我們認為這種數據可用性水平并不是必要的，甚至不是比特幣優質區塊空間的良好利用，因為只要 Stacks 網絡中有任何價值，Stacks 礦工都將維護 Stacks 網絡的副本（數據）。

結算

結算指的是交易何時被確定為有效的過程。例如，一些 Rollup 設計使用智能合約作為回到 L1 的橋梁。這個合約用于處理和生成鏈下 Rollup 交易的證明，L1 區塊鏈用于共識、結算和數據可用性。在這種設計中，合約是真相的來源，所有驗證都在 L1 上進行，這個合約作為鏈下 Rollup 的橋梁。

其他設計采用主·權方法，其中主·權 Rollup使用 L1 區塊鏈進行數據可用性，而不是結算。這意味著 Rollup 節點在 Rollup 上排序和結算交易，只有數據在 L1 鏈上可用。主·權 Rollups 在設計上更接近側鏈，唯一的區別是并非所有側鏈都使用 L1 進行完整的數據可用性。

由于這些設計差異，1）主·權 Rollups 相對于樂觀和有效性 Rollups 具有較小的鏈上印記（使它們更便宜使用），2）主·權 Rollups 可以獨立于 L1 鏈運行（使它們模塊化），3）主·權 Rollups 不像其他 Rollup 設計那樣繼承 L1 的安全性（這并不是一件壞事，但它確實引入了不同的信任假設）。

Rollup 的發展現狀

在過去幾年中，Rollup 的概念變得越來越受歡迎。值得注意的是，以太坊已經采用了 Rollup 架構，并引領了行業的發展。以太坊的 Rollup 網絡，如 Arbitrum、Optimism、Loopring、Starknet和 Polygon 都受到了強烈的認可，并為繁榮的以太坊生態鋪平了道路。其他生態系統已經注意到這一點，現在也在努力將 Rollup 引入不同的 L1，包括比特幣。