一文了解兩步原子交換協議LiquiDEX

註：原文作者是blockstream研究員Leonardo Comandini。

長話短說：LiquiDEX 是一個在 Liquid網路上執行兩步原子交換（atomic swaps）的協議，它只需要交換方的單次交互，這極大地改善了用戶體驗。而使用該協議，我們可以構建出更複雜系統的構建塊，例如自動 OTC 交易櫃檯、拍賣平台甚至去中心化交易所 (DEX)。

註：LiquiDEX的產品還不可用。

簡介：Liquid網路和原子交換技術

Liquid網路是一個具有發行資產和保密交易（CT）的比特幣側鏈。

Liquid 的原生資產是 L-BTC（Liquid bitcoin），它相當於比特幣的一個錨定幣。

和以太坊一樣，用戶也可以在Liquid 網路上發行代表數字資產的token，一個例子就是Tether USD（USDT）。

和比特幣一樣，Liquid使用了一種UTXO模型，而它們的交易結構也相似。

下面是一筆簡化的比特幣交易，其中Alice 發送 1 BTC 給 Bob：

0.6 BTC Alice -> 1   BTC Bob
0.5 BTC Alice 0.1 BTC Alice (找零)

下面則是一筆簡化的Liquid 交易，Alice 向 Bob 發送 0.5  L-BTC以及1000 USDT：

1.1  L-BTC Alice -> 0.5  L-BTC Bob
5000 USDt  Alice 0.6  L-BTC Alice (找零）
1000 USDt  Bob
4000 UDSt  Alice (找零）

然而，因為使用了保密交易（CT）技術，Liquid網路的輸入和輸出是不可見的，因此外部觀察者無法看到實際金額和資產。

這對交易者來說特別有用，通常而言，交易者並不想透露他們的操作，因為這些信息可能會影響到市場價格。

在上面的例子中，所有的輸入都屬於Alice，但情況並非一定如此：一些輸入可能屬於Alice，而另一些輸入可能屬於 Bob。

假設 Alice 想用L-BTC交換一些USDT，而Bob 想做相反的事情，則Alice 和 Bob 可以合作構建這樣的交易：

0.6  L-BTC Alice -> 0.5  L-BTC Bob
1000 USDt  Bob 0.1  L-BTC Alice (找零)
600 USDt  Alice
400 UDSt  Bob (找零)

交易完成後，Alice 發送了0.5 L-BTC 並收到了600 USDT， 而Bob 發送了 600 USDT，並收到了 0.5 L-BTC。

交易要麼發生，要麼不發生（它不會部分發生），這使得交易是「原子」的，這就是一筆P2P 原子交換交易，Alice 和 Bob 交換了一些資產，他們之間彼此並不信任，也不需要信任一個第三方。

Liquid Swap Tool：3步原子交換

在 Liquid 上支持原子交換的第一個實現是Liquid Swap Tool，它使用了一個三步協議。

其中第一步是 Alice 提出一筆swap交易：

liquidswap-cli propose L-BTC 0.5 USDt 600 –output proposal.txt

第二步是Bob 接受這個提議：

liquidswap-cli accept proposal.txt –output accepted.txt

然而這筆交易還沒有準備好被廣播，我們需要第三步，其中Alice來最終確定這個提議：

liquidswap-cli finalize accepted.txt –send

這 3 個步驟是使swap交易與標準交易無法區分的必要步驟。但是，它也存在著一些缺點。

該協議分析起來會更複雜。由於不同的原因，它可能會在不同的步驟失敗，也許是提議格式不正確，交易不再有利可圖，那麼一方可能會中止協議。

Alice 還需要在線才能完成協議。 如果 Alice 花費太多時間來完成，Bob 可能會進行另一次swap交易並使他接受的提議無效。

這使得用戶體驗變得繁瑣，並且很難將這些swap交易集成到其他服務中。

而一個兩步協議將解決大多數的問題，事實上，兩步協議的用戶體驗非常類似於「發送交易」：Alice詢問她想要交換什麼，然後最終交換髮生。

在過去的幾個月里，我們構建出了LiquiDEX這個想法。

LiquiDEX: 兩步原子交換

LiquiDEX 是一個在 Liquid 網路上執行原子交換的兩步協議。

該協議涉及到了兩方：Maker 和 Taker，其中Maker 想要發送一些資產並接收一些其他資產作為交換，它創建 LiquiDEX 提議並發送給 Taker。Taker 接受該提議，並在 Liquid網路上結算swap交易。

提案規範

1. 版本：數字，可選的非負整數，默認為 0，

2. tx：字元串，十六進位編碼的簽名 Liquid 交易，

3. 輸入：對象數組，交易輸入的非盲信息；item具有以下屬性：Asset：字元串，十六進位編碼的資產，聰：以聰為單位的整數數量，assetblinder:字元串，十六進位編碼的資產盲注，amountblinder: 字元串，十六進位編碼的數量盲注，

4. 輸出：對象數組，交易輸出的非盲信息；item具有相同的輸入對象格式。

Asset、assetblinder 和 amountblinder 與 Elements Core 一致地進行十六進位序列化，這與它們的位元組序列化相反。

LiquiDEX 提案格式定義了 Maker 和 Taker 必須達成一致的內容。其他一切都可以由雙方任意選擇以實現所需的行為。

讓我們分析一個他們可能選擇做什麼的例子。

第 1 步：Maker 製作提議（proposal）

Maker 有一個UTXO U_xA持有x數量的A資產，而他想要將其資產交換成y數量的B資產。

Maker創建了一筆交易，花費單個UTXO U_xA並接收y數量的B資產。

Maker屏蔽（blinds）這個輸出。在實踐中，這有一些重要的挑戰，權衡和實現細節將在下一節中討論。

Maker 使用SIGHASH_SINGLE | SIGHASH_ANYONECANPAY 對（唯一）輸入進行簽名，這允許 Taker 添加更多的輸入和輸出，而不會使 Maker 簽名無效。

其他Maker按照上述規定創建 LiquiDEX 提議，並將提議發送給 Taker。

第 2 步：Taker 接受提議（proposal）

Taker 收到提議，並進行一些驗證，其中可能包括：

1. 輸入和輸出數組的長度為 1；

2. tx 是有效的 Liquid 交易；

3. tx 有 1 個輸入和 1 個輸出；

4. tx 輸入未花費；

5. tx 已簽名，並且簽名與SIGHASH_SINGLE | SIGHASH_ANYONECANPAY有效；

6. 輸出承諾（commitment）匹配輸出的非盲信息；

7. 先前的輸出承諾匹配輸入的非盲信息；

Taker 添加一個輸出，該輸出接收x數量的A資產。

Taker為交易提供資金，即他為資產B和費用添加輸入，根據需要更改輸出，以及顯式費用輸出。

Taker使用提議中的非盲信息來屏蔽交易。

Taker用SIGHASH_ALL對新添加的輸入進行簽名。

Taker廣播交易，一旦這筆交易被納入一個區塊，這筆swap交換交易就被結算了。

優點與缺點

LiquiDEX 有一些權衡，我們在這裡總結一下。

優點：

1. 更好的用戶體驗。

2. 對swap交易參與者的要求較低，Maker 提出提議，然後可以離線，然後Taker接受提議，幾分鐘後完成結算；

3. 協議更容易分析。

4. 更容易集成到更複雜的系統中。

5. Maker 不會從 Taker 那裡了解到破盲信息（unblinding information）。

缺點：

1. Maker 發送單個 UTXO，如果金額不是所需的，則需要進行額外的交易。

2. 更少的匿名性，LiquiDEX交換是可識別的，因為SIGHASH_SINGLE | SIGHASH_ANYONECANPAY在交易中可見。

用例

現在，我們來展示一些 LiquiDEX 支持的應用例子。

1、提出相互排斥的提議

假設Maker想要把L-BTC賣掉換成USDT或L-CAD，他可以使用相同的 UTXO提出兩個提議，一個發送L-BTC 並接收 USDT，另一個發送L-BTC 並接收 L-CAD。由於 UTXO 只能使用一次，所以他要麼是收到USDT，要麼是收到L-CAD。

2、接受批量提議

Taker可以使用多個提議構建其交易，例如：

1 L-BTC maker1 -> 1000 USDt  maker1
2 L-BTC maker2 2000 USDt  maker2
3000 USDt  taker 3 L-BTC taker

3、自動化OTC交易櫃檯

我們還可以實現一項服務，它接受用戶的提議並負責匹配它們，這種服務既可以使用其他用戶的資金，也可以使用自己的流動性資金。

4、拍賣

Alice 發行了一種新資產，我們稱之為 NFT。Alice 可以為此舉行拍賣會，她公布了自己想要發送的輸出的資產、數量和盲注（blinder），並將接受交換L-BTC（或她想要接收的任何其他資產）的提議。過了一段時間後，她會接受對她來說更有利可圖的提議。

如果她想以一定的價格出售該NFT資產，那麼她可以提出提議並希望有人接受它。

5、去中心化交易所（DEX）

一組用戶可使用點對點的方式在彼此之間中繼提議，以維護一個去中心化的訂單簿，這將是一個去中心化的交易所（DEX）。

當我們確信這個想法實際上是可行的之後，我們就開始對越來越複雜的原型進行迭代。

原型1：Unblinded

第一次迭代的所有輸入和輸入都是非盲的。它需要一個 Elements Core 節點以及一個沒有額外依賴項的小型 Python 腳本來運行協議。

原型 2：Makers Blinds

然後我們增加了對taker使用盲輸入和輸出的支持。

這需要一個額外的依賴項wally‌來執行一些加密操作。

原型3：Blinded Case（遇到了問題）

剩下的步驟是允許maker 也使用盲輸入，我們這樣做了，但不幸的是，實際的實現失敗了。

使用保密交易（CT），非盲信息在輸出欄位之一（範圍證明——rangeproof）中加密。當收到交易時，這個非盲信息被解密並用於支出。然而，交易簽名不涵蓋此類欄位。因此，Taker 可以替換其價值，而 Maker 將無法blind這筆交易。

解決這個問題的一個方法，是在本地保存每個提議的非盲信息，而不依賴於rangeproof數據。不幸的是，這與elements-cli 是不兼容的。 因此，我們不得不尋找新的想法來完成我們的實施。

BEWallet

我們需要一個讓我們能以最少的開銷進行實驗的錢包。我們選擇從使用 Electrum 伺服器的Blockstream GDK Rust‌ 實現開始。這個想法是去除所有不需要的功能，以獲得一個非常簡單但有效的 Liquid Electrum 錢包。經過了數個月的努力之後，我們搞出了BEWallet。

然後我們添加了 LiquiDEX 支持，在這樣做的同時，我們試圖最大限度地減少用戶應該備份的數據量。Electrum 錢包（單簽名）備份通常包含一個BIP39助記詞，但LiquiDEX還需要其他的東西。瑣碎的辦法是堅持所有提出的提議，但我們可以做得更好。

首先，我們可以確定性地推導出資產blinder以及金額blinder 。此外，交易有一個 Maker 不使用的欄位，即 nonce commitment。此欄位已簽名，因此可用於存儲一些有用的數據。我們想為資產存儲 32 個位元組，為數量存儲 8 個位元組，但我們只有 32 個位元組（和 1 個位）可用。

我們選擇使用 AES GCM IV 加密 nonce 欄位中的金額，因為我們已經將其作為加密本地資料庫的依賴項。

相反，資產將被迫違背資產承諾。當提出提議時，錢包將保留它可能在本地收到的資產。在揭盲時，它會嘗試所有先前保留的資產，直到找到匹配項為止。

如果我們在另一台設備上恢複錢包呢？我們可以導出上一個錢包中的資產列表，如果丟失了，我們可能會記住它，因為我們可能只交易最受歡迎的資產，或者我們甚至可找到在 Liquid 上發行過的所有資產並嘗試所有這些資產。

不管怎樣，這可能會在未來進行一些改進，我們只是想要一些現在有效的東西。BEWallet 在早期仍然是一個附帶項目，它可能會存在漏洞，因此要測試的話，請使用少量的資金。

可能的改進

BEWallet LiquiDEX 實現現在已經可以工作了，但它遠非完美，我們削減了一些內容，在不久的將來，我們還會實施很多可能的優化和界面改進。其中有幾個改進是我們很想去實現的，但我們必須要多等待一點時間。

我們想擺脫自定義JSON 格式以使用部分簽名Elements交易，但是這還沒有準備好。

那麼我們寧願降低 Maker 及其揭盲程序的複雜性，這可以使用 SIGHASH_RANGEPROOF‌ 來完成，這是一種新的sighash類型，其也涵蓋了範圍證明（rangeproof），但是，我們需要等待它的部署。

一旦我們同時擁有兩者，任何支持 PSET 的錢包都可以以最少的更改實現LiquiDEX。

結論

Liquid網路是具有原生資產的區塊鏈，它允許兩方或多方合作構建交易。這種交易可能包括雙方之間的資產交換，換言之即一筆P2P原子交換。

這個swap交換協議的初始實現分為3個步驟。然而，它有幾個問題，主要是用戶體驗會變糟。

LiquiDEX 是一種執行兩步 P2P 原子交換的協議。這通過要求 Maker 和 Taker 之間的單次交互來改進用戶體驗，並做出合理的妥協。

LiquiDEX 更容易集成到其他系統中，並且可以成為實施 OTC 交易櫃檯、拍賣系統、DEX等的構建塊。

而BEWallet則是一個支持LiquiDEX的可用Liquid Electrum 錢包。

冷萃財經原創，作者：awing，轉載請註明出處：https://www.lccjd.top/2021/07/02/%e4%b8%80%e6%96%87%e4%ba%86%e8%a7%a3%e4%b8%a4%e6%ad%a5%e5%8e%9f%e5%ad%90%e4%ba%a4%e6%8d%a2%e5%8d%8f%e8%ae%aeliquidex/?variant=zh-tw