ENT:硬核：一份關于支付網絡中路由問題的全面研究_ING

區塊鏈因Layer1的交易吞吐量上限而常被詬病，離線支付網絡提供了一種「線下支付線上結算」的解決方案，為區塊鏈世界的支付賦予了幾乎無限的交易吞吐量。因而，支付網絡成為了當前最為熱門的區塊鏈研究與工程實踐方向之一。

經過多年國際學者與工程的發展，支付網絡的若干子研究方向已有了大量的論文研究和工程實踐，已經不易遍歷閱讀和詳盡了解。然而，當前階段對于這一重要的研究方向，雖然多數區塊鏈領域的人士對其基本思想有所了解，但對其最新進展具有較全面追蹤的國內極客與學者還不多。

本綜述系列面向對這一領域具有興趣的極客和學者，剖析若干子方向，歸納最新研究進展、提出筆者的思考。作者是熱愛研究的Nervos小伙伴?Shor，現為上海交通大學博士。

本文中，我們默認讀者具備了對于支付網絡的基本了解。在部分描述中，我們會將支付網絡看作一張圖論意義上的圖，每個參與者看作一個節點，每個支付通道看作一條圖上的邊。所以下文中筆者會不自覺地用「圖」來指代一個支付網絡，用「節點」來指代一個參與者，「邊」字來指代一個支付通道。

路由，即一個需要在支付網絡上發送交易的人和交易接收者與圖上其他節點共同互動而決定支付路徑的過程。當然，嚴格而言，這不一定是一條路徑，而可能是一系列路徑組成的一個有向無環圖，由于其他學者似乎尚未對此范疇采用新名詞，因而筆者將此系列路徑的總和命名為?transactionpattern。

1、基于網絡流的路由協議

Prometheum：已經制定了將加密貨幣交易引入受監管市場的藍圖:金色財經報道，Prometheum經紀公司現在聲稱它有一個藍圖，可以將加密貨幣交易帶入更大的監管市場。Prometheum的計劃將涉及使用美國監管機構50年前制定的一項豁免，以允許受到某些限制的股票交易。該豁免可以每天在股票市場上使用，以出售大量股票。規則144是一項豁免，允許在滿足多項條件的情況下公開轉售受限制或控制證券。這包括持有證券的時間、出售證券的方式以及隨時可以出售的金額。它尚未在加密行業中使用。

目前，加密貨幣交易所在交易不被視為證券的加密貨幣時通常使用州規則來規避聯邦要求。如果數字資產是證券，則必須遵守注冊和豁免要求。Prometheum是一家沒有加密貨幣交易部門的初創公司，它相信自己有辦法為受監管的交易所和成熟的經??紀公司提供加密資產的流動性。[2023/6/29 22:07:16]

用一個網絡流模型刻畫支付網路的整體狀態具有以下優勢：首先，網絡流準確刻畫了各支付通道的總額度、余量，使用現有的最大流算法可以找到兩點之間可以達到的最大支付總額，并且高效地找出一組可行路徑。接下來，筆者簡要介紹一下網絡流問題。

Hint：「基于網絡流的路由協議」是筆者所擬的名稱，其在大多數文獻中對應的詞組是?SourceRouting。其原因是這一類路由的過程得由源節點本地完成，其過程中默認源節點掌握了整張支付網絡的拓撲結構，并且可以動態探測任意支付通道中的余量。然而，所有已有的SourceRouting方案都是基于最大流算法的，所以筆者大膽地改換了稱呼，以便讀者理解。

印度央行副行長：穩定幣完全可以被央行數字貨幣取代:金色財經報道，印度央行副行長T. Rabi Sankar周一在新加坡舉行的金融會議上把矛頭指向了穩定幣，稱其完全可以被央行數字貨幣取代。

Circle的首席戰略官兼全球政策主管Dante despte表示，我認為負責任的私人部門發行的貨幣或數字貨幣與公共貨幣之間沒有界限。公共區塊鏈基礎設施是對2008年之前金融市場基礎設施的改進，當時的金融市場基礎設施是封閉的、專有的，從根本上來說很脆弱。因此，我拒絕把唯一可信任的貨幣類型歸為公開發行的貨幣。在當前全球流通的所有增值貨幣中，95%是私人發行的，無論是國內的、跨境的還是全球的。（forkast）[2022/11/8 12:30:10]

網絡流問題簡介

我們用網絡流模型中的一個殘量網絡表述一個支付網路的整體狀態，其本質是一個四元祖

這個基于線性規劃的嚴謹定義并不方便觀眾們理解。筆者畫了以下的圖片來幫助讀者理解最大流問題的定義。下圖中是s1到t1的最大流為10單位。

倘若把s1到t1的10單位的額度全部用盡，并不只一種方案，其中一種「增廣」方案使用后如下圖。

此時，s2到t2的最大流依舊為10單位，不過方案唯一。如果恰好把?單位流量用完，則全圖殘量網絡如下。

常用的最大流算法包括預留推進算法和一類基于增廣路定理的最大流算法，其中包括了?Edmonds-Karp?算法以及他的衍生算法如?ISAP?算法和?Dinic?算法。

數據：以太坊巨鯨近期增持多達350萬枚ETH:金色財經報道，Santiment的數據顯示，自9月11日以來，持有超過100萬枚ETH的以太坊鯨魚地址總共增加了350萬枚硬幣。這一增加標志著自合并以來，億萬富翁鯨魚的ETH持有量增加了14%。相比之下，根據Santiment此前的數據，ETH鯊魚和鯨魚（持有100到100萬枚ETH的投資者群體）一直在拋售其持有的ETH。（u.today）[2022/10/20 16:31:12]

不難發現，對于大額支付，我們可以通過最大流算法得到兩節點之間的最大可能支付額度。如果支付金額小于這個額度，我們也就通過最大流算法確立了一個支付方案。

2、基于燈塔節點的路由協議

基于燈塔節點的路由協議的總體思路如下。首先，每個節點都有資格成為燈塔節點，每個節點都有權利選擇讓哪些燈塔節點來協助路由。這個大前提基本保證了路由方案的去中心化特性不被打破。

然后，為了提供一定的額度隱私性并增加支付成功的概率，每一筆支付的額度被分為|L|份，每一份由不同的燈塔節點協助完成傳輸。對于不分片的情況，我們認為|L|=1。而燈塔協助傳輸的方式則是根據自己的視野為這筆金額安排一條通道，并通過與這些通道上的節點通訊獲取這個通道上可以通過的最大額度。

早期方法

基于Landmark的路由協議思路來自于計算機網絡領域的研究。其中的常見組件如下。

雙向BFS尋找最短路徑

韓國首爾海關自2月以來已查獲20億美元與虛擬資產相關非法外匯交易:8月30日消息，韓國海關總署（KCS）首爾總部今日宣布，該機構通過今年2月以來開展的針對與虛擬資產相關的非法外匯交易的調查，發現了總計2.715萬億韓元（約合20億美元）的非法外匯交易。在相關案件中，共逮捕16人，7人因過失被處以罰款，送檢2人，7人正在接受調查。調查結果發現，多起與虛擬資產購買有關的非法外匯交易發生在位于海外的虛擬資產交易所。（Newspim）[2022/8/30 12:57:43]

圖嵌入

通過這樣的編碼方式，可以高效地確定兩個節點之間的一條路徑——即從付款節點到兩節點的最近公共祖先的唯一路徑拼接上從LCA到收款節點的唯一路徑。

SilentWhispers?與?SpeedyMurmurs

SpeedyMurmurs直接采用了分片支付的方案。除此以外，與SilentWhispers的一大不同是，SpeedyMurmurs中燈塔節點利用樹基圖嵌入的方式提供支付路徑，其出發點針對SilentWhispers雙向BFS樹在動態網絡環境下維護的困難性，即使是拓撲距離非常靠近的兩個節點間路由也要經過Landmark節點，以及極差可并發性的問題。?

3、基于數據網絡方法的路由協議

由于以上的路由方案都沒有充分考慮實際支付網路的動態性。所以部分來自計算機網絡背景的學者提出了將數據網絡中的路由辦法直接用到支付網絡中的若干方案。由于數據網絡的路由理論已經在計算機網路領域非常成熟，這一類方案具有較高的可靠性。動態性也給這類方案提供了非常可觀的效率。其中最為經典的是?Spider?協議。

韓國5大加密交易所今日成立聯合協商機構DAXA:6月22日消息，韓國5大加密交易所（Upbit、Bithumb、Coinone、Korbit和Gopax）于今日成立“數字資產交易所聯合協商機構（DAXA）”，并簽署了一份合作協議。這是本月13日在該國第二次虛擬資產黨政座談會上，五大交易所公布的《虛擬資產經營者共同自律改善方案》具體實行的第一階段。

DAXA的業務合作協議內容包括，上述交易所將加強數字資產上線至下架的監管措施以保護投資者；通過制定措施共同應對危機，向投資者提供充分的信息以提高投資風險意識，協助制定《數碼資產基本法》的法案研討及支持活動。（GDNet Korea）[2022/6/22 5:42:32]

Spider?將支付網絡類比為數據傳輸層，使用數據網絡的方法進行動態路由。為了和數據網絡的模型匹配，在此方案中，我們依舊假設所有的通道都是雙向的。類似于數據網絡中的數據包，每一筆交易被拆分為若干金額包通過不同路徑尋路。每個金額包被直接通過支付網路通道傳輸并最終抵達收款者，其轉發過程中的節點都鎖定了相應額度。在完成了尋路后，根據各個金額包的轉發路徑完成最終支付。

然而，支付網路和數據網絡的一大區別在于通量限制的存在。因此，每個通道都會對應一個隊列保存所有還沒能以當前通量完成傳輸的金額包。只有當有足夠的通量從通道的另一側傳來，這個隊列中的金額包才能繼續傳輸。值得注意的是，雖然我們用一個金額包的傳輸過程來描述動態路由過程，其實質是一個尋路與鎖定的過程，倘若不加注意會把這個路由過程誤以為是支付過程。

4、混合路由協議

通過對?Ripple?和?Bitcoin?支付網絡的實際分析，最新的調研發現：

支付網路有必要支持大額交易；

大額交易需要更加側重支付成功率，小額交易應該更加注重效率。

基于這一發現，Flash?協議用基于最大流的路由方案來完成大額金額的支付，用基于數據網絡的路由方法進行小額金額的支付。由此，大額交易的支付成功率和小額交易的效率得以兩全。

各類路由方案的對比與分析

筆者在以上表格?Tab.1?中，列舉了各類非混合路由協議的優勢與劣勢。由于難以量化，具有一定的主觀色彩。

5、未來研究展望

接下來，筆者提出若干研究展望，并在文末提出這方面科研中可能遇到的問題。

?熟悉「基于增廣路的最大流算法」的朋友們應該了解，這類算法都需要為每條邊配備上一條「反向邊」用來描述一種算法中需要用到的回流。而我們可以驚訝地發現，這種回流正好對應地刻畫了雙向支付通道中從另一個方向的額度沖抵。因而增廣路定理保證了哪怕在支付網絡上無規則地「增廣」，最后也一定會完成任一筆不超過最大流額度的支付。這樣，我們就得到了一種完全「動態」的基于最大流的路由算法。這一點似乎并未被現有文獻提及。當然，對于絕大多數小額交易，用這個算法太過于殺雞用牛刀了。但筆者相信對于早期支付網絡中遇到的巨額交易，這個思路會派的上用處。

?可以用「最小費用最大流」來取代底層最大流，使得有多種選項時算法可以挑出一組長度最短、總過路費最少的路徑方案。學過一種「最小費用最大流」算法的朋友此時應該能明白筆者的寓意，在此不再展開。

?通過支付網絡相關智能合約代碼的重構，或者通過另類?landmark?節點的設立，「指導」參與節點建邊，以系統性地改進網絡的拓撲結構。筆者曾對可能由各個?landmark?引向的結構做過不少暢想，其中包括基于?hypercube、以?landmark?為根的平衡樹、以?landmark?為根的?link-cut-tree?等等。

如想在這一方向深入科研，尤其如果在以縮短平均跳數為目的，可能存在兩大問題：

第一個問題

實事求是地，當前的支付方案在當前的支付網絡規模中已經做得夠好了。根據?SpeedyMurmurs?論文中的實驗數據，其已經可以在鼎盛時期的?Ripple?網絡中達到平均?2?到?4?跳數的水準。在此之上再做優化又能如何呢？更優美且能在未來百千萬、上億規模支付網絡中取得更好結果的算法，在當前支付網絡下興許反而因為較大的「常數」而并不能取得一個更好的結果。當然，基礎研究是要面向未來大規模支付網絡的未來的，但面向未來的研究得要在大規模的網絡上進行模擬實驗才能具有公信力。接下來筆者來闡述一下大規模支付網絡的拓撲結構的模擬是如何不可為的。

第二個問題

難以進行合理的模擬實驗。首先，實事求是地說，當前階段的現實網絡中的多數參與者尚且是少數極客精英和資本，其拓撲結構肯定和未來的真實網絡大相徑庭。其次，筆者認為社交網絡中的若干模型并不能真實反應支付網絡未來之拓撲結構，例如，筆者并不覺得社交網路中常用的「Watts?圖」可以刻畫好未來的這個網絡，因為大多數節點不會去建很多條邊使得圖的?density?達到出現?small-worldphenomenon?的?threshold，Watts?圖的大前提不會成立。總而言之，筆者認為，一個對未來支付網絡拓撲結構的研究，于今至關重要，是若干支付網絡更多研究發展的大前提。

References

1.Malavoltaetal.SilentWhispers:EnforcingSecurityandPrivacyinDecentralizedCreditNetworks.NDSS2017

2.?Roosetal.SettlingPaymentsFastandPrivate:EfficientDecentralizedRoutingforPath-BasedTransactions.NDSS2018

3.Sivaramanetal.RoutingCryptocurrencywiththeSpiderNetwork.HotNets2018

4.PengWang,HongXu,XinJin,andTaoWang.Flash:EfficientDynamicRoutingforOffchainNetworks.CoNEXT2019

5.JosephPoonandThaddeusDryja.Thebitcoinlightningnetwork:Scalableoff-chaininstantpayments.https://lightning.network/lightning-network-paper.pdf.2016

6.Raidennetwork.http://raiden.networkwork/.

7.GiovanniDiStasi,StefanoAvallone,RobertoCanonico,andGiorgioVentre.Routingpaymentsonthelightningnetwork.iThings/GreenCom/CPSCom2018

8.LewisGudgeon,PedroMoreno-Sanchez,StefanieRoos,PatrickMcCorry,andArthurGer-vais.SoK:Layer-TwoBlockchainProtocols.FC2020

Tags：ENTINGANDNETENTERMETAWORLDKingDeFiJapan Brand CoinPLANETS幣

酷幣