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