作者：Mohamed Fouda，Medium；編譯：鄧通，喜來順財經
比特幣現貨 ETF 主導了過去幾周的討論。 一切塵埃落定后，社區的注意力又回到了比特幣的開發上。 這意味著要回答一個永恒的問題：“如何提高比特幣的可編程性？”
比特幣 L2 是目前這個問題最有希望的答案。 本文將比特幣 L2 與L1進行了比較，并討論了一些最有前途的比特幣 L2 項目。 然后，本文討論了與比特幣 L2 相關的有趣的創業機會。
由于許多投資者現在可以通過受監管的產品獲得比特幣敞口，因此他們可以在杠桿交易、抵押貸款等眾多 TradFi 產品中使用 BTC。但是，這些產品并不使用原生 BTC。 相反，他們使用由發行者控制的 BTC 的 TradeFi ，而原生 BTC 由托管人鎖定。 隨著時間的推移，TradeFi BTC 可能成為持有和使用 BTC 的主要方式，將其從去中心化的無需許可的資產轉變為華爾街控制的另一種資產。 比特幣原生的免許可產品是抵抗舊金融體系捕獲比特幣的唯一出路。
人們曾多次嘗試在 L1 上實現附加功能。 這些努力的重點是利用比特幣交易的能力來攜帶任意數據。 這些任意數據可用于實現附加功能，例如發行和轉移資產以及 NFT。 然而，這些功能并不是作為比特幣協議的一部分構建的，而是需要額外的軟件來解釋這些數據字段并對其進行操作。
這些努力包括 Colored Coins、Omni Protocol、Counterparty 以及最近的 Ordinals。 Omni 最初用于在比特幣 L1 上發行和轉移 Tether (USDT)，然后擴展到其他鏈。 Counterparty 是比特幣郵票和 SRC-20 代幣的底層技術。 Ordinals 目前是使用銘文在比特幣上發行 NFT 和 BRC-20 代幣的事實上的標準。
Ordinals 自推出以來取得了巨大成功，產生的費用超過 2 億美元。 盡管取得了成功，但Ordinals僅限于資產發行和轉讓。 Ordinals不能用于在 L1 上實現應用程序。 由于比特幣原生編程語言 Bitcoin Script 的限制，更復雜的應用程序（例如 AMM 和借貸）幾乎不可能構建。
BitVM 是擴展比特幣 L1 功能的一項獨特努力。 這個概念建立在 Taproot 升級到比特幣的基礎上。 BitVM 的概念是通過鏈下執行程序來擴展比特幣的功能，并確保可以通過欺詐證明在鏈上對執行提出質疑。 盡管 BitVM 似乎可以用于在鏈下實現任意邏輯，但實際上，在 L1 上執行欺詐證明的成本隨著鏈下程序的大小而快速增長。 這個問題限制了 BitVM 對特定問題的適用性，例如信任最小化的 BTC 橋接器。 許多即將推出的比特幣 L2 利用 BitVM 進行橋接實現。
BitVM 操作簡化圖
解決比特幣有限可編程性的另一種方法是利用側鏈。 側鏈是完全可編程的獨立區塊鏈，例如與 EVM 兼容，試圖與比特幣社區保持一致并為該社區提供服務。 Rootstock、Blocksteam 的 Liquid 和 Stacks V1 都是這些側鏈的例子。
比特幣側鏈已經存在多年，但在吸引比特幣用戶方面總體上取得了有限的成功。 例如，Liquid 橋接至側鏈的 BTC 不足 4500 個。 然而，一些構建在這些鏈之上的 DeFi 應用已經取得了一些成功。 例如 Rootstock 上的 Sovryn 和 Stacks 上的 Alex。
比特幣 L2 正在成為構建基于比特幣的無需許可應用程序的焦點。 它們可以提供與側鏈相同的優勢，但具有源自比特幣基礎層的安全保證。 關于什么才是比特幣 L2 的真正代表一直存在爭論。 在本文中，我們避免了這種爭論，而是討論了如何使 L2 與 L1 充分耦合的主要考慮因素，并討論了一些有前途的 L2 項目。
比特幣 L2 最重要的要求是從 L1 的安全性中獲得其安全性。 比特幣是最安全的鏈，用戶期望安全性擴展到 L2。 例如，閃電網絡已經是這種情況。
這就是側鏈被分類的原因，它們有自己的安全性。 例如，Stacks V1 的安全性依賴于 STX 代幣。
這種安全要求在實際中很難達到。 為了讓 L1 保護 L2 的安全，L1 需要能夠執行某些計算來驗證 L2 的行為。 例如，以太坊 rollup 從 L1 獲得安全性，因為以太坊 L1 可以驗證零知識證明（zk rollup）或驗證欺詐證明（optimistic rollup）。 比特幣基礎層目前缺乏執行上述任一操作的計算能力。 有人建議向比特幣添加新的操作碼，以允許基礎層驗證Rollup提交的 ZKP。 此外，BitVM 等提案試圖在不改變 L1 的情況下實現欺詐證明。 BitVM 面臨的挑戰是欺詐證明的成本可能非常高（數百個 L1 交易），限制了其實際應用。
L2 實現 L1 級安全性的另一個要求是 L1 擁有 L2 事務的不可變記錄。 這稱為數據可用性 (DA) 要求。 它允許僅監視 L1 鏈的觀察者驗證 L2 狀態。 通過銘文，可以將 L2 TX 的記錄嵌入到比特幣 L1 中。 然而，這產生了另一個問題，即可擴展性。 由于每 10 分鐘 4MB 的區塊時間限制，比特幣 L1 的數據吞吐量限制為約 1.1 KB/s。 即使 L2 事務被高度壓縮到大約 10 字節/tx，假設所有 L1 事務都用于存儲 L2 數據，L1 也只能支持約 100 tx/秒的組合 L2 吞吐量。
在以太坊 L2 中，與 L2 的橋接由 L1 控制。 橋接到 L2，又名轉入，實際上意味著將資產鎖定在 L1 上，并在 L2 上鑄造該資產的副本。 在以太坊中，這是通過 L2 本機橋智能合約實現的。 該智能合約存儲橋接至 L2 的所有資產。 智能合約的安全性源自 L1 驗證器。 這使得到 L2 的橋接變得安全且信任最小化。
在比特幣中，不可能有由整套 L1 礦工保護的橋。 相反，最好的選擇是擁有一個存儲 L2 資產的多重簽名錢包。 因此，L2 橋的安全性取決于多重簽名的安全性，即簽名者的數量、他們的身份以及轉入掛鉤和轉出掛鉤操作的安全性。 提高 L2 橋接安全性的一種方法是使用多個多重簽名，而不是使用單個多重簽名來保存所有 L2 橋接資產。 這方面的例子包括 TBTC，其中多重簽名者必須提供抵押品，如果作弊，抵押品可能會被削減。 同樣，擬議的 BitVM 橋要求多重簽名者提供安全保證。 然而，在這種多重簽名中，任何簽名者都可以發起轉出掛鉤交易。 轉出掛鉤交互受到 BitVM 欺詐證明的保護。 如果簽名者實施惡意行為，其他簽名者（驗證者）可以在 L1 上提交欺詐證明，從而導致惡意簽名者被罰沒。
比特幣L2項目總結對比
Chainway 正在比特幣之上構建 zk rollup。 Chainway rollup 使用比特幣 L1 作為 DA 層來存儲 rollup 的 ZKP 和狀態差異。 此外，rollup利用證明遞歸，以便每個新證明都會聚合在前一個 L1 塊上發布的證明。 該證明還聚合了“強制交易”，這些交易是在 L1 上廣播的 L2 相關交易，以強制將其包含在 L2 上。 這種設計有幾個優點。
強制事務保證rollup定序器無法審查 L2 事務，并賦予用戶通過在 L1 上廣播這些 TX 來包含這些 TX 的權力。
使用證明遞歸意味著每個塊的證明者必須驗證先前的證明。 這創建了一條信任鏈并保證無效證明不會包含在 L1 中。
Chainway團隊還討論了使用BitVM來保證證明驗證和轉入/轉出交易的正確執行。 使用 BitVM 驗證橋接交易可以減少橋接多重簽名對誠實少數派的信任假設。
Botanix 正在為比特幣構建 EVM L2。 為了提高與比特幣的一致性，Botanix L2使用比特幣作為PoS資產來達成共識。 L2 驗證器從 L2 上執行的交易中賺取費用。 此外，L2 使用銘文將所有 L2 交易的 Merkle 樹根存儲在 L1 上。 這為 L2 事務提供了部分安全性，因為 L2 事務日志無法更改，但不能保證這些事務的 DA。
Botanix 通過稱為 Spiderchain 的去中心化多重簽名系統網絡處理來自 L1 的橋接。 多重簽名的簽名者是從一組協調者中隨機選擇的。 Orchestrator 將用戶資金鎖定在 L1 上，并簽署一份證明，在 L2 上鑄造等量的 BTC。 指揮者需交納保證金才有資格擔任此角色。 如果出現惡意行為，保證金將被大幅削減。
Botanix 已經推出了公共測試網，主網計劃于 2024 年上半年推出。
Bison 的比特幣 L2 采用主權rollup風格。 Bison 使用 STARK 實現 zk rollup，并使用 Ordinals 將 L2 TX 數據和生成的 ZKP 存儲到 L1。 由于比特幣無法在 L1 上驗證這些證明，因此驗證工作將委托給在其設備中驗證 ZKP 的用戶。
對于與 L2 之間的 BTC 橋接，Bison 使用 Discreet Log 合約 (DLC)。 DLC 由 L1 保護，但依賴于外部預言機。 該預言機讀取 L2 狀態并將信息傳遞給比特幣 L1。 如果這個預言機是中心化的，預言機就可以惡意花費L1上鎖定的資產。 因此，對于 Bison 最終轉向去中心化 DLC 預言機來說非常重要。
Bison 計劃支持基于 Rust 的 zkVM。 目前，Bison OS 實現了許多合約，例如 Token 合約，可以使用 Bison 證明者進行證明。
Stacks 是最早專注于擴展比特幣可編程性的項目之一。 Stacks 正在進行改造，以更好地與比特幣 L1 保持一致。 本討論重點關注即將推出的 Stacks V2，預計將于 2024 年 4 月在主網上發布。Stacks V2 實現了兩個新概念，這些概念正在改進與 L1 的一致性。 第一個版本是 Nakamoto 版本，更新了 Stacks 共識以遵循比特幣區塊和最終性。 第二個是改進的 BTC 橋接，稱為 sBTC。
在 Nakamoto 的發布中，Stacks 中的區塊是由在 L1 上承諾 BTC 債券的礦工開采的。 當 Stacks 礦工創建一個區塊時，這些區塊將錨定在比特幣 L1 中，并接收來自 L1 PoW 礦工的確認。 當一個區塊收到 150 個 L1 確認時，該區塊被視為最終區塊，并且在不分叉比特幣 L1 的情況下無法分叉。 此時，開采該區塊的 Stacks 礦工將獲得 STX 獎勵，并且他們的 BTC 債券將分配給網絡 Stackers。 這樣，任何超過 150 個區塊（約 1 天）的 Stacks 區塊都依賴于比特幣 L1 安全性。 對于較新的區塊（< 150 個確認），只有 70% 的 Stackers 支持分叉時，Stacks 鏈才能分叉。
Stacks 的另一個升級是 sBTC，它提供了一種更安全的方式將 BTC 橋接到 Stacks。 為了將資產橋接到 Stacks，用戶將其 BTC 存入由 L2 Stackers 控制的 L1 地址。 當存款交易被確認后，sBTC 將在 L2 上鑄造。 為了確保橋接BTC的安全，Stackers必須在STX中鎖定超過橋接BTC價值的債券。 堆棧器還負責執行來自 L2 的轉出請求。 轉出掛鉤請求作為 L1 交易進行廣播。 確認后，Stackers 在 L2 上銷毀 sBTC，并協作簽署 L1 tx，在 L1 上釋放用戶的 BTC。 對于這項工作，Stackers 獲得了之前討論過的礦工保證金獎勵。 這種機制稱為轉移證明（PoX）。
Stacks 與比特幣保持一致，要求許多重要的 L2 交易（例如礦工 PoX 債券、掛鉤交易）作為 L1 執行。 這一要求確實提高了橋接 BTC 的一致性和安全性，但由于 L1 的波動性和高額費用，可能會導致用戶體驗下降。 總體而言，升級后的 Stacks 設計解決了 V1 中的許多問題，但仍然存在一些弱點。 這包括使用 STX 作為 L2 和 L2 DA 中的原生資產，即 L1 上僅提供交易和智能合約代碼的哈希值。
Bulid-on-Bitcoin (BOB) 是一種旨在與比特幣保持一致的以太坊 L2。 BOB 作為以太坊上的 Optimistic rollup 運行，并使用 EVM 執行環境來實施智能合約。
BOB 最初接受不同類型的橋接 BTC（WBTC、TBTC V2），但計劃將來采用使用 BitVM 的更安全的雙向橋接。
為了與其他也支持 WBTC 和 TBTC 的以太坊 L2 區分開來，BOB 正在構建允許用戶直接與 BOB 的比特幣 L1 進行交互的功能。 BOB SDK 提供了一個智能合約庫，允許用戶在比特幣 L1 上簽署交易。 這些交易在 L1 上的執行由比特幣輕客戶端監控。 輕客戶端將比特幣區塊的哈希值添加到 BOB，以允許簡單驗證 (SPV)，即提交的交易已在 L1 上執行并包含在區塊中。 另一個功能是獨立的 zkVM，它允許開發人員為比特幣 L1 編寫 Rust 應用程序。 正確執行的證明可以在 BOB rollup 上進行驗證。
BOB 目前的設計更適合描述為側鏈，而不是比特幣 L2。 這主要是因為BOB的安全性依賴于以太坊L1，而不是比特幣的安全性。
Bulid-on-Bitcoin (BOB) 是一種旨在與比特幣保持一致的以太坊 L2。 BOB 作為以太坊上的 Optimistic rollup 運行，并使用 EVM 執行環境來實施智能合約。
BOB 最初接受不同類型的橋接 BTC（WBTC、TBTC V2），但計劃將來采用使用 BitVM 的更安全的雙向橋接。
為了與其他也支持 WBTC 和 TBTC 的以太坊 L2 區分開來，BOB 正在構建允許用戶直接與 BOB 的比特幣 L1 進行交互的功能。 BOB SDK 提供了一個智能合約庫，允許用戶在比特幣 L1 上簽署交易。 這些交易在 L1 上的執行由比特幣輕客戶端監控。 輕客戶端將比特幣區塊的哈希值添加到 BOB，以允許簡單驗證 (SPV)，即提交的交易已在 L1 上執行并包含在區塊中。 另一個功能是獨立的 zkVM，它允許開發人員為比特幣 L1 編寫 Rust 應用程序。 正確執行的證明可以在 BOB rollup 上進行驗證。
BOB 目前的設計更適合描述為側鏈，而不是比特幣 L2。 這主要是因為BOB的安全性依賴于以太坊L1，而不是比特幣的安全性。
SatoshiVM 是另一個計劃推出 zkEVM 比特幣 L2 的項目。 隨著一月初測試網的推出，該項目突然出現。 該項目的技術細節很少，也不清楚該項目背后的開發人員是誰。 SatoshiVM 的少數技術文檔指出，使用比特幣 L1 進行 DA，通過支持在 L1 上廣播交易的能力來抵抗審查，并使用 BitVM 式的欺詐證明來驗證 L2 ZKP。
鑒于其匿名性，該項目存在很多爭議。 一些調查顯示該項目與 Bool Network 有聯系，Bool Network 是一個較舊的比特幣 L2 項目。
比特幣 L2 的空間帶來了一些創業機會。 撇開為比特幣構建最好的 L2 的明顯機會不談，還有其他幾個創業機會。
許多即將推出的 L2 旨在增強與 L1 的一致性。 一種方法是將 L1 用于 DA。 然而，考慮到比特幣區塊大小的嚴格限制以及 L1 區塊之間的長延遲，L1 將無法存儲所有 L2 交易。 這為比特幣特定的 DA 層創造了機會。 現有網絡（例如 Celestia）可以擴展以填補這一空白。 然而，創建依賴于比特幣安全或 BTC 抵押品的鏈下 DA 解決方案可以改善與比特幣生態系統的一致性。
除了使用比特幣 L1 進行 DA 之外，一些 L2 可能會選擇將 L2 交易排序委托給 BTC 綁定的排序器，甚至委托給 L1 礦工。 這意味著任何 MEV 提取都將委托給這些實體。 鑒于比特幣礦工不具備完成這項任務的能力，對于像 Flashbot 這樣專注于比特幣 L2 的 MEV 提取和私人訂單流的公司來說，這是一個機會。 MEV 提取通常與所使用的虛擬機密切相關，并且鑒于比特幣 L2 沒有商定的虛擬機，該領域可能存在多個參與者。 每個都專注于不同的比特幣 L2。
比特幣 L2 需要使用 BTC 抵押品來選擇驗證者、DA 安全性和其他功能。 這為持有和使用比特幣創造了收益機會。 目前，有一些工具可以提供這樣的機會。 例如，Babylon 允許質押 BTC 來保護其他鏈的安全。 隨著比特幣 L2 生態系統的蓬勃發展，聚合 BTC 原生收益機會的平臺面臨著巨大的機會。
喜來順財經
<strike id="ykeqq"></strike>
<fieldset id="ykeqq"></fieldset>