比特幣用戶應該只需要在比特幣上擁有BTC,就能強制將他們的BTC從BOB退回到比特幣。我們正在研究一種混合解決方案:默認使用以太坊作為DA,同時允許用戶通過比特幣上的特殊交易強制包含BOB上的交易。我們很高興在這篇博文中分享我們正在進行的工作。
簡而言之
L2的核心屬性之一是,即使在序列器離線. L2s通過從可以獨立於L2在線更新的數據可用性(DA)層讀取和寫入其狀態來實現這一點。這樣,即使序列化程序離線,或者序列化程序不直接接受其事務,用戶也可以強制包含其事務。
對於BOB的BitVM橋,這帶來了一個有趣的問題。BOB目前使用以太坊EIP-4844塊作為其DA層。以太坊上的用戶可以通過BitVM橋輕鬆觸發返回比特幣的提款。然而,這需要用戶在以太坊上擁有ETH。
這對我們來說還不夠好:比特幣用戶只需要在比特幣上擁有BTC,就可以強制從BOB取回他們的BTC,回到比特幣。我們正在研究一種混合解決方案:默認使用以太坊作為DA,同時允許用戶通過比特幣上的特殊交易強制包含BOB上的交易。我們很高興在這篇博客文章中分享我們的進展。
過程衍生對於L2來說非常重要:BOB的整個L2狀態需要從L1和DA層構建。它使L2能夠享受與DA層相同的抗審查能力,在我們的案例中是以太坊。
簡化在 Rollups(特別是 OP Stack 鏈)中,我們在 L1 上有兩種類型的數據:
如果我們想要比特幣作為一個分佈式賬本層,為什麼不完全轉而使用比特幣作為一個完整的分佈式賬本層呢?答案大多成本. 比特幣可用存儲空間非常少(大約每10分鐘約為4MB),因此,存儲成本很高。
然而,在我們的情況下,BOB 仍然可以將以太坊作為其“主要” DA 層,在其中發佈其所有交易數據,但如果以太坊 DA 不可用,則添加比特幣作為高度審查抗拒的備用層。基本上,以太坊成為樂觀的 DA 層,而比特幣成為昂貴但容錯性強的最後一道防線。
基本解決方案是將比特幣作為導出管道的一部分添加到BOB中,以便BOB(尤其是“op-node”)按照這個順序處理輸入。
讓我們來探討一種可能的解決方案,將比特幣強制提款交易編碼到BOB派生管道中。請注意,這仍在研究階段,可能會有變化。
我們需要三個部分來創建強制提現交易:
一個OP堆棧存款交易具有以下結構:
強制提款交易需要在存款交易的數據字段中包含編碼的提款交易。這是通過在 BOB 上創建觸發從 BOB 到比特幣的提款的交易來完成的,其工作方式與從以太坊發送交易完全相同。
我們可以將包含上述所有數據的強制提款交易的(壓縮)版本存儲在比特幣上。
由於強制提取交易的數據超過了通常存儲在OP_RETURN輸出中的數據量,我們可能會使用一個Taproot輸出以存儲數據。
在以太坊上很容易識別存款交易(可能包括取款),因為它被髮送到BOB的OptimismPortal合約,但在比特幣上很難識別強制取款交易。
數據序列化:強制提款事務使用“信封”結構中的Taproot腳本進行序列化。這些在比特幣網絡上是無操作的,也用於序數等。我們根據我們的需求調整結構。
未設置
OP_FALSE OP_IF
OP_PUSH“bob”
OP_1
OP_PUSH“transaction”
OP_0
OP_PUSH $WITHDRAWAL_TRANSACTION_DATA
OP_ENDIF
兩階段提交/揭示方案:
與序數一樣,用戶將需要向比特幣提交兩筆交易:
這是迄今為止最開放的問題,目前有兩個選項正在考慮中:
我們還在嘗試更多的想法,敬請期待更多的更新!
任何人只需檢查比特幣和以太坊上的數據,就可以確定BOB的狀態:
數據一致性:確保以太坊和比特幣區塊鏈之間的數據一致性很重要,但僅僅在兩個鏈上都存在交易數據並不能保證其有效性。交易必須符合 Rollup 的狀態轉換函數,才能被認為是合法的有效狀態轉換。該解決方案需要在 op-node(或其他共識層實現)內實施驗證邏輯,首先驗證交易是否導致有效的狀態變更,然後再接受該交易。
欺詐證明和有效性:對於BitVM和以太坊的欺詐證明系統需要加強,以處理來自兩個鏈的數據,這可能使爭議解決更加複雜。為了解決這個問題,我們需要準確地記錄比特幣和以太坊的可能交易作為BitVM橋和BOB在以太坊上的結算的一部分。
存儲增加:此外,網絡中的BOB節點面臨著增加的存儲和帶寬需求,因為它們需要處理和存儲來自比特幣和以太坊的數據。然而,我們可以通過要求在比特幣上進行的BOB交易需要包含在帶有對最新比特幣區塊的引用的以太坊blob中來緩解這個問題。這樣一來,節點只需要同步最近的比特幣區塊即可。
我們很高興能夠推動混合卷疊的前沿,將比特幣的安全性與以太坊的創新相結合。在這個具體問題中,我們感興趣的是將比特幣對交易的抗審查性與BOB的彙總堆棧相結合。隨著我們的進展,我們將更新這篇博文,提供更多信息。
比特幣用戶應該只需要在比特幣上擁有BTC,就能強制將他們的BTC從BOB退回到比特幣。我們正在研究一種混合解決方案:默認使用以太坊作為DA,同時允許用戶通過比特幣上的特殊交易強制包含BOB上的交易。我們很高興在這篇博文中分享我們正在進行的工作。
簡而言之
L2的核心屬性之一是,即使在序列器離線. L2s通過從可以獨立於L2在線更新的數據可用性(DA)層讀取和寫入其狀態來實現這一點。這樣,即使序列化程序離線,或者序列化程序不直接接受其事務,用戶也可以強制包含其事務。
對於BOB的BitVM橋,這帶來了一個有趣的問題。BOB目前使用以太坊EIP-4844塊作為其DA層。以太坊上的用戶可以通過BitVM橋輕鬆觸發返回比特幣的提款。然而,這需要用戶在以太坊上擁有ETH。
這對我們來說還不夠好:比特幣用戶只需要在比特幣上擁有BTC,就可以強制從BOB取回他們的BTC,回到比特幣。我們正在研究一種混合解決方案:默認使用以太坊作為DA,同時允許用戶通過比特幣上的特殊交易強制包含BOB上的交易。我們很高興在這篇博客文章中分享我們的進展。
過程衍生對於L2來說非常重要:BOB的整個L2狀態需要從L1和DA層構建。它使L2能夠享受與DA層相同的抗審查能力,在我們的案例中是以太坊。
簡化在 Rollups(特別是 OP Stack 鏈)中,我們在 L1 上有兩種類型的數據:
如果我們想要比特幣作為一個分佈式賬本層,為什麼不完全轉而使用比特幣作為一個完整的分佈式賬本層呢?答案大多成本. 比特幣可用存儲空間非常少(大約每10分鐘約為4MB),因此,存儲成本很高。
然而,在我們的情況下,BOB 仍然可以將以太坊作為其“主要” DA 層,在其中發佈其所有交易數據,但如果以太坊 DA 不可用,則添加比特幣作為高度審查抗拒的備用層。基本上,以太坊成為樂觀的 DA 層,而比特幣成為昂貴但容錯性強的最後一道防線。
基本解決方案是將比特幣作為導出管道的一部分添加到BOB中,以便BOB(尤其是“op-node”)按照這個順序處理輸入。
讓我們來探討一種可能的解決方案,將比特幣強制提款交易編碼到BOB派生管道中。請注意,這仍在研究階段,可能會有變化。
我們需要三個部分來創建強制提現交易:
一個OP堆棧存款交易具有以下結構:
強制提款交易需要在存款交易的數據字段中包含編碼的提款交易。這是通過在 BOB 上創建觸發從 BOB 到比特幣的提款的交易來完成的,其工作方式與從以太坊發送交易完全相同。
我們可以將包含上述所有數據的強制提款交易的(壓縮)版本存儲在比特幣上。
由於強制提取交易的數據超過了通常存儲在OP_RETURN輸出中的數據量,我們可能會使用一個Taproot輸出以存儲數據。
在以太坊上很容易識別存款交易(可能包括取款),因為它被髮送到BOB的OptimismPortal合約,但在比特幣上很難識別強制取款交易。
數據序列化:強制提款事務使用“信封”結構中的Taproot腳本進行序列化。這些在比特幣網絡上是無操作的,也用於序數等。我們根據我們的需求調整結構。
未設置
OP_FALSE OP_IF
OP_PUSH“bob”
OP_1
OP_PUSH“transaction”
OP_0
OP_PUSH $WITHDRAWAL_TRANSACTION_DATA
OP_ENDIF
兩階段提交/揭示方案:
與序數一樣,用戶將需要向比特幣提交兩筆交易:
這是迄今為止最開放的問題,目前有兩個選項正在考慮中:
我們還在嘗試更多的想法,敬請期待更多的更新!
任何人只需檢查比特幣和以太坊上的數據,就可以確定BOB的狀態:
數據一致性:確保以太坊和比特幣區塊鏈之間的數據一致性很重要,但僅僅在兩個鏈上都存在交易數據並不能保證其有效性。交易必須符合 Rollup 的狀態轉換函數,才能被認為是合法的有效狀態轉換。該解決方案需要在 op-node(或其他共識層實現)內實施驗證邏輯,首先驗證交易是否導致有效的狀態變更,然後再接受該交易。
欺詐證明和有效性:對於BitVM和以太坊的欺詐證明系統需要加強,以處理來自兩個鏈的數據,這可能使爭議解決更加複雜。為了解決這個問題,我們需要準確地記錄比特幣和以太坊的可能交易作為BitVM橋和BOB在以太坊上的結算的一部分。
存儲增加:此外,網絡中的BOB節點面臨著增加的存儲和帶寬需求,因為它們需要處理和存儲來自比特幣和以太坊的數據。然而,我們可以通過要求在比特幣上進行的BOB交易需要包含在帶有對最新比特幣區塊的引用的以太坊blob中來緩解這個問題。這樣一來,節點只需要同步最近的比特幣區塊即可。
我們很高興能夠推動混合卷疊的前沿,將比特幣的安全性與以太坊的創新相結合。在這個具體問題中,我們感興趣的是將比特幣對交易的抗審查性與BOB的彙總堆棧相結合。隨著我們的進展,我們將更新這篇博文,提供更多信息。