DIS:科普 | 點對點網絡組建：從 Kademlia 到 Discv5

作者:dean

翻譯&校對:裴奇&阿劍

來源：以太坊愛好者

如果你一直在研究以太坊或者相關的技術，你可能聽說過discv4或discv5。但這些究竟是什么呢？它們是如何工作的呢？它們出眾的地方在哪里呢？想要回答這些問題，我們需要從頭開始梳理一下。這篇博文假定讀者對這個領域比較陌生，因此沒有技術背景的人也可以閱讀。

開篇

故事的開端：在P2P網絡中，節點的相互發現及網絡成型的過程會面臨一些問題。

早年間的P2P文件共享技術，比如Napster，使用單個服務器共享信息，信息中記錄誰擁有什么文件。某個節點向中心服務器發起連接并提交記錄自己所擁有文件的列表。另一個節點之后向同一個中心服務器發起連接，尋找自己所需文件的存儲節點，然后和找到的節點建立聯系。然而這是一個有缺陷的系統——系統很容易遭受攻擊，而且中心化服務器節點可能會吃官司。

因此，點對點網絡亟需另一種解決方案。研究者們經過數年研究和實驗，提出了分布式哈希表。

分布式哈希表

穩定幣crvUSD科普創新清算機制LLAMMA，可在抵押品價格下跌時逐步替換為穩定幣:1月17日消息，Curve官方科普其穩定幣crvUSD創新的清算機制LLAMMA，解釋了LLAMMA通過AMM的特性進行針對債務人更友善的清算方式，讓抵押品在價格下跌時逐漸轉移成穩定幣，讓原本要清償的債務有一定程度的穩定幣可以償還，同時在價格回穩時再逐漸把穩定幣換回抵押品，而不是直接的觸發清算導致債務人的虧損。

此前報道，2022年11月23日，去中心化交易平臺CurveFinance開發者發布Curve即將推出的去中心化Stablecoin“crvUSD”的官方代碼和白皮書。[2023/1/17 11:17:13]

2001年，研究者們為DHT提出了4種新的協議，分別是Tapestry、Chord、CAN以及Pastr，這4個協議在核心功能上各有取舍和改變，因此擁有不同的特性。

上文中一直都在說DHT。那么DHT到底是什么呢？

分布式哈希表是一個分布式的鍵值列表。參與到DHT的節點可以很輕松地檢索到某個鍵對應的值。

假定一個網絡中，有9個鍵值對和3個節點，理想情況下，每個節點只需要存儲3個鍵值對，意味著如果要更新某個鍵值對，只有部分網絡節點需要更新。大致想法是這樣的，網絡中的任何節點都可以基于信息在節點間分布的方式，知道要去哪里尋找它所需要的特定鍵值對。

歐科云鏈集團正式啟動區塊鏈科普行動“星途計劃”:歐科云鏈集團于4月26日，正式宣布啟動了區塊鏈科普行動——“星途計劃”，行動包括將在全國范圍展開系列沙龍，加大力度推進區塊鏈科普進機關、進國企、進校園等，聯合政府部門、行業協會等共同構建起更加完善和有效的區塊鏈科普教育生態，與此同時，直擊區塊鏈科普現存痛點，推出簡單易懂的“秒懂區塊鏈”公益短視頻課。

該計劃旨在全維度推動社會建立對產業更清晰的認知，與“鯤鵬計劃”一道助力數字經濟及區塊鏈產業本身健康發展夯實“人才”和“產業認知”兩大基礎。[2021/4/26 20:59:37]

Kademlia

現在我們知道DHT是什么了，那我們來看看discv4的前身Kademlia。Kademlia是PetarMaymounkov和DavidMazières于2002年發明的DHT協議。我覺得這個協議可能是最流行，而且使用最廣泛的DHT協議。它的工作原理很簡單，讓我們來看看吧。

在Kademlia中，節點和值通過距離來排列。這里的距離不是地理位置上的距離，而是基于標識符的表示方法。通過使用一些距離函數，可以計算出兩個標識符之間的距離。

歐易OKEx將于3月18日推出DeFi系列科普視頻:據歐易OKEx官方消息顯示，歐易OKEx將正式推出DeFi系列科普視頻《歐易DeFi20講》，本系列節目由歐易OKEx亞太區CEO馬克金主講。該視頻首期將于3月18日11:00(HKT)推出，用戶可以在歐易OKEx官方學院、金色財經觀看。

《歐易DeFi20講》主要包含DeFi入門指南、全景解讀DeFi生態及如何參與DeFi三個篇章，可以輕松使用戶了解DeFi原理，洞察DeFi價值，掌握DeFi熱點，更多詳情請關注歐易OKEx官方學院。[2021/3/18 18:55:59]

Kademlia使用XOR作為距離函數。XOR函數的特點在于，只有當輸入不同時，輸出才為true。下面是用二進制標識符表示的例子。

上面的這個例子是說，十進制數字153和50之間的距離是171。

使用XOR作為距離函數有很多原因，包括：

某個ID與它自己的距離是0。

動態 | 區塊鏈技術入選科普雜志《科學美國人》2019十大突破性技術榜單:據新浪網今日新聞報道，美國科普雜志《科學美國人》公布 2019 十大突破性技術榜單。區塊鏈技術因在保障食品安全中的作用而上榜。 入選榜單具體原因：區塊鏈技術的發展應用將顯著改善食品污染源數據追蹤的困境。利用區塊鏈云端系統，食品制造商可以依次在計算機儲存各類過程的信息。[2019/9/29]

距離是對稱的，A到B的距離和B到A的距離相同。

遵循三角不等式，如果A，B，C是三角形上的三點，那么A到B的距離，小于或等于A到C的距離加上B到C的距離。

綜上，節點可以根據距離函數來確定哪個節點離它更近，并基于這種“距離”來做決策。

Kademlia節點存儲著一個路由表。路由表中包含多個列表。每后一個列表所記載的節點都比前一個列表中的節點離得遠一點。每個節點維護離自己最近節點的信息；另一個節點離得越遠，本地節點保存的相關信息就越少。

假定我想要找到一個特定的節點。我要做的就是向我已知的節點發送請求，這些節點返回他們的記錄中離我的目標節點更近的鄰居節點。我重復此過程，直到某群鄰居幫我找到目標節點。

聲音 | 火星人朋友圈科普RAM:火星人在朋友圈發文稱，“什么是RAM？簡單來說就是EOS這個國家的土地，所有的經濟行為都離不開土地。只要EOS的BP們能投票形成一個穩定的供給預期，并且不改變目前的Bancor算法，那么RAM后續的價格有可能會像北上廣深的房價走勢。房價下跌不行，房價過快上漲也不行，EOS的生態越來越像某國了，真有意思。”[2018/7/6]

對值來說也是同樣的過程。值跟節點之間的距離是確定的，因為值和節點的標識符ID以相同的方式組織，因此我們可以計算這個距離。如果我想查找一個值，我只需要尋找離這個值的鍵最近的鄰居節點，直到找到存儲這個值的節點。

為了讓Kademlia節點支持這些功能，協議通過下面這些消息來通信。

PING-用來檢測一個節點是否還在運行。

STORE-在一個節點上存儲給定鍵的值。

FINDNODE-向給定ID返回所請求的最近節點。

FINDVALUE-和FINDNODE一樣，區別在于，如果一個節點存儲著特定的值，它將會直接將值返回。

這是對Kademlia的一個非常簡化的講解，中間跳過了各種重要的細節。想要更全面的了解，力薦原論文或者更深層次的設計規范。

Discv4

對背景做好鋪墊之后，終于來到discv4了，這是以太坊當前的節點發現協議。Discv4協議本身是基于Kademlia的，但在某些部分做了改動。例如，discv4中不再使用DHT中的值部分。

Kademlia主要用于網絡的組織，因此我們可以使用路由表定位其他節點。但discv4中完全不使用DHT中的值部分，因此我們可以拋棄Kademlia中使用的命令FINDVALUE和STORE。

前文中，Kademlia的查詢方法描述了節點如何得到對等節點。節點向另一些節點發起請求，得到離自己更近的節點。重復此請求過程，直到無法找到任何新的節點。

此外，discv4添加了相互的終端驗證功能。這是為了確保發起FINDNODE請求的節點正在參與同一個節點發現協議。

最后，所有的discv4節點都應該維護最新的ENR記錄。記錄里包含一個節點的信息。任何節點都可以使用特定于discv4的包，叫做ENRRequest，去請求ENR記錄。

如果你想知道關于ENRs的更多細節，請移步至我的另一篇博文NetworkAddressesinEthereum。

然而，discv4也引入了一些問題。讓我們來看看其中的幾個。

首先，按照discv4目前的工作方式，是無法區分節點間的次級協議的。也就是說，如果一個以太坊節點將以太坊Classic節點，Swarm或Whisper節點加入它的DHT，那么只有和這些節點發生多次通信之后，才能發現這些節點的無效性。這種無法區分次級協議的能力使得它很難找到特定的節點，比如支持輕客戶端的以太坊節點。

其次，為了防御重放攻擊，discv4使用了時間戳。當某個主機的時鐘發生錯誤時，這種方式會導致各種各樣的問題。欲了解更多詳情，請查閱discv4規范的“KnownIssues”部分。

最后，終端的互驗證工作中也存在問題。因為信息有丟包的可能，所以沒有辦法斷定兩個對等節點是否都已驗證過對方。也就是說，我們可能自認為已經被驗證過了，但跟我們通信的對等節點卻并不這么認為；他們可能會因此丟棄我們的FINDNODE包。

Discv5

最后，讓我們來看一下discv5。Discv5是discv4的迭代版本，將作為Eth2.0的節點發現協議。Discv5旨在修復discv4中存在的諸多問題。

第一個改變是FINDNODE的工作方式。傳統的Kademlia以及discv5都使用標識符。而在discv5中，我們使用對數距離，也就是說，發送FINDNODE請求后，響應中包含的節點，都與發送方節點在特定的對數距離內。

對數距離指：先計算出距離，然后使用以2為底數的log函數，即log2(AxorB)。

其次一個很重要的改變就是discv5一直致力于解決的，存在于discv4的最大問題：次級協議的區分。Discv5添加了主題表。主題表是先進先出的列表，表中包含提供特定服務的節點。節點通過在對等節點中注冊廣告將自己添加進這個列表。

截至本文寫作之時，這個次級協議區分方案中的寫操作依然存在一些問題。對一個節點來說，目前沒有有效的方法將廣告發布在多個對等節點上，因此需要向每個對等節點發送單獨的請求，這對于大規模網絡來說效率很低。

此外，一個節點向多少個對等節點上發布廣告，以及向哪些對等節點投放都是不清楚的。更多詳情請查閱devp2p#136。

Discv5中還有很多小的改變，但是這些改變沒那么重要，因此在這篇總結中就省略了。

雖然discv5解決了一些discv4中存在的問題，但還有一些問題，discv5仍沒有解決，比如不可靠的終端驗證。寫這篇博文之時，discv5還沒有提出新的方法去提升終端驗證的處理過程。

正如你所見，discv5的工作仍在進行中，目前還需要克服一些很大的挑戰。如果這個協議解決了這些問題，那么它將會是對原始Kademlia實現的一個巨大提升。

希望這篇文章能幫助你理解什么是發現協議以及發現協議是如何工作的。如果你對整個協議感興趣，可以在github上查閱。

原文鏈接:?https://vac.dev/kademlia-to-discv5

Tags：DISDISCISCEMLDisciplinaAISCEML Protocol

PEPE