買以太坊 買以太坊
Ctrl+D 買以太坊
ads

Proof:Proof of Validator:以太坊擴容路上關鍵的安全拼圖_ROO

Author:

Time:1900/1/1 0:00:00

今天,在以太坊研究論壇中悄然誕生了一個新的概念:Proof of Validator。

該協議機制允許網絡節點證明它們是以太坊驗證者,而無需透露它們具體的身份。

這和我們有什么關系?

一般情況下,市場更容易關注以太坊上某些技術創新所帶來的表層敘事,而很少提前深入研究技術本身。例如以太坊的上海升級、合并、從PoW轉到PoS以及擴容,市場只記住了LSD、LSDFi以及再質押的敘事。

但不要忘記,性能和安全是以太坊的重中之重。前者決定了上限,后者則決定了底線。

可以明顯看到,一方面以太坊一直在積極推進各種擴容方案來提升性能;但另一方面,擴容路上,除了自己修煉內功,也需要防范外來的攻擊。

例如,如果驗證節點被攻擊,導致數據不可用,那么一切構建在以太坊質押邏輯上的敘事和擴容方案,可能都會被牽一發而動全身。只是這種影響和風險躲在背后,最終用戶和投機者們難以察覺,有時甚至也不關心。

而本文要談到的 Proof of Validator,可能就是以太坊擴容路上關鍵的安全拼圖。

Nil Foundation已在以太坊Sepolia測試網推出Proof Market:7月28日消息,ZK 技術開發商 Nil Foundation 發文稱,Proof Market 已集成以太坊 Sepolia 測試網,為所有 EVM 應用程序實現可證明計算的可組合性。Proof Market EVM 端點使可證明計算與 EVM 應用程序兼容,這些應用程序不僅可以使用 zkLLVM 與 Proof Market 簡化 zkProof 生成,還可以將證明排序原生集成到 Solidity 語言的應用程序代碼中。通過該 EVM 端點,以太坊資產可以參與可證明計算,并將 Proof Market 集成到處理以太坊流動性的任何應用程序管道中。Proof Market 允許開發者按需處理 zk,從根本上降低了構建 zk 應用程序的復雜性。

Proof Market 測試版于 2023 年 1 月發布,起初主要用于以太坊 L1 之外的協議,其未來用例包括 zkML、zkOracles、zkBridges、欺詐證明等。[2023/7/28 16:04:28]

既然擴容勢在必行,如何降低擴容過程中可能蘊含的風險,是一個不可回避的安全議題,它也與我們每一個圈內人休戚相關。

RabbitHole推出V2版,新增Quest Receipts和白名單等功能和新的Quest Protocol:2月17日消息,RabbitHole 推出 RabbitHole V2,新增 Quest Receipts、白名單等新功能和新的 Quest Protocol。其中,Quest Receipts 使得用戶更容易領取任務獎勵,用戶可以使用任務收據領取任務獎勵,如果不想要任務獎勵,可以在二級市場出售任務收據;白名單功能中,每個任務都是一個新新的智能合約。是否有資格獲得新的任務完全取決于項目的需要,用戶只會在符合條件的平臺上看到任務。

此外,RabbitHole V2 從平臺中移除 Skills,并通過向所有人開放任務來讓 RabbitHole 易于訪問。Quest Protocol 允許協議根據預定義條件指定白名單列表和分發獎勵。[2023/2/17 12:12:59]

因此,有必要弄清楚新提出的 Proof of Validator的全貌。但由于技術論壇中的全文過于零碎和硬核,并且牽扯到了擴容諸多方案和概念,深潮研究院整合原帖和梳理必要的相關信息,對 Proof of Validator產生的背景、必要性和可能影響進行了解讀。

去中心化穩定幣協議Angle Protocol部署至Arbitrum:7月27日消息,去中心化穩定幣協議Angle Protocol宣布部署其借貨模塊至Arbitrum。 Angle表示,通過其歐元穩定幣agEUR用戶可以獲得一些歐元敞口,不想借入資產的用戶可在Uniswap上購買agEUR或者使用LayerZero將橋接到Arbitrum。[2022/7/27 2:40:48]

別著急,在正式介紹Proof of Validator之前,有必要搞清楚以太坊目前擴容的邏輯,和其中可能蘊含的風險。

以太坊社區正在積極推進多項擴容計劃。其中,數據可用性采樣 (簡稱DAS) 被視為最關鍵的一項技術。

其原理是將完整的區塊數據分割成若干“樣本(sample)”, 網絡中的節點只需要獲取與自己相關的少數樣本,就可以對完整區塊進行驗證。

這極大地降低了每個節點的存儲和計算量。換一個好理解的例子,這就類似我們抽樣調查,通過訪問不同人,可以總結出全體人群的總體狀況。

WeStarter與黑洞協議BlackHole Protocol達成戰略合作 ?:據官方消息,跨鏈代幣初始兌換平臺WeStarter與黑洞協議BlackHole Protocol達成正式戰略合作,雙方將圍繞初始代幣兌換、優質資產互薦、前沿態勢研究、生態資源共享等方向合作。

據了解,WeStarter是跨鏈代幣初始兌換平臺,起步于HECO網絡,通過資產跨鏈橋和多鏈部署為ETH、HECO、BSC等多條網絡上的項目資產進行初始兌換。WeStarter通過流暢的產品與充足的行業資源,承載多種類型資產的資金與資源需求。以守門人的角色職責,通過代幣的去中心化激勵與治理機制,實現甄選優質資產的目標。?

據悉,黑洞協議(Blackhole protocol)起源于Ethereum網絡,逐步將向Polkadot、BSC、Heco、SOL輻射,任何用戶或者項目治理者都可以通過持有黑洞協議燃燒代幣Black與舊token的組合創建燃燒池從而永久的銷毀舊Token并產生全新的Token。[2021/4/21 20:43:59]

具體來說,DAS的實現方式簡述如下:

區塊生產者把區塊數據分割成多個樣本。

每個網絡節點只取到其關注的少數樣本,而不是完整的區塊數據。

公告 | 比特大陸將發布新品礦機S19 Pro和S19:據官方消息,比特大陸將發布兩款螞蟻礦機新品S19 Pro和S19。據悉,本次發售的新機S19 Pro的算力為110 TH/s,能效比為29.5 J/TH±5%,S19的算力為95 TH/s,能效比為34.5 J/TH±5%。比特大陸旗下螞蟻礦機現已成為全球礦機領導品牌,據螞蟻礦機相關負責人表示,全新螞蟻礦機的發布,將進一步滿足全球用戶多樣化的挖礦需求,為客戶提供更好的挖礦體驗。[2020/2/27]

網絡節點可以通過獲取不同的樣本,來隨機采樣驗證完整區塊數據是否可用。

通過這種采樣,即使每個節點只處理少量數據,合起來也可以完整驗證整個區塊鏈的數據可用性。這可以使得區塊大小大幅提升,實現快速擴容。

但是,這種采樣方案有一個關鍵問題:海量樣本存儲在何處?這需要一整套去中心化網絡來支持。

這就給了分布式哈希表(DHT)機會大顯身手。

DHT可以看作是一個巨大的分布式數據庫,使用哈希函數將數據映射到一個地址空間中,不同節點負責存取不同地址段的數據。它可以用于在海量節點中快速查找和存儲樣本。

具體來說,DAS將區塊數據分割成多份樣本后,需要將這些樣本分布到網絡中的不同節點上存儲。DHT可以提供一種去中心化的方法來存儲和檢索這些樣本,其基本思路是:

使用一致的哈希函數,將樣本映射到一個巨大的地址空間中。

網絡中的每個節點負責存儲和提供一個地址范圍內的數據樣本。

當需要某個樣本時,可以通過哈希查找對應地址,并在網絡中查找負責該地址范圍的節點,從中獲取樣本。

比如,按一定規則可將每個樣本哈希為一個地址,節點A負責0-1000號的地址,節點B負責1001-2000號的地址。

那么地址為599的樣本會存儲在節點A中。需要這個樣本時,通過同樣的哈希查找地址599,再在網絡中查找負責該地址的節點A,從它那里獲取樣本。

這種方式打破了中心化存儲的局限,大大提升了容錯性和可擴展性。這正是DAS樣本存儲所需要的網絡基礎設施。

與中心化的存儲和檢索相比,DHT可以提高容錯性,避免單點故障,也能增強網絡的擴展性。此外,DHT還能幫助抵御DAS中提到的“sample hiding”等攻擊。

但是,DHT也存在一個致命弱點,那就是面臨Sybil攻擊的威脅。攻擊者可以在網絡中制造大量假節點,周圍的真實節點就會被這些假節點“淹沒”。

類比一下,一個誠實的小販被整排整排的假冒商品圍住,用戶就很難找到真品。這樣攻擊者就可以控制DHT網絡,導致樣本不可用。

舉例來說,要獲取地址1000的樣本,需要找到負責這個地址的節點。但是被攻擊者創建的成千上萬假節點包圍后,請求會被不斷導向假節點,而無法到達真正負責該地址的節點。結果是樣本無法獲取,存儲與驗證都失敗。

為了解決這個問題,需要在DHT上建立一個高信任的網絡層,僅由驗證者節點參與。但是DHT網絡本身無法識別節點是否為驗證者。

這就嚴重阻礙了DAS和以太坊擴容。有什么辦法可以抵御這種威脅,保證網絡的可信任性呢?

現在,讓我們回到這篇文章的重點:Proof of Validator。

在以太坊技術論壇中,今天 George Kadianakis , Mary Maller, Andrija Novakovic , Suphanat Chunhapanya 4人共同提出了這個方案。

它的總體構想是,如果我們能想出一種辦法,讓上一節DHT的擴容方案中,只允許誠實的驗證者加入DHT,那么想要發起女巫攻擊的惡意者,也必須質押大量ETH,在經濟上顯著提高作惡成本。

這個構想換一句我們更加熟悉的話來說,就是:我想在不知道你身份的前提下,知道你是個好人,并且能識別壞人。

這種有限信息的證明場景,零知識證明顯然能派上用場。

于是,Proof of Validator(下稱PoV)可用于建立一個只由誠實驗證節點組成的高可信DHT網絡,有效抵御女巫攻擊。

其基本思路是,讓每個驗證節點在區塊鏈上注冊一個公鑰,然后利用零知識證明技術,證明自己知悉這個公鑰對應的私鑰。這就相當于拿出自己的身份證明明自己是驗證節點。

此外,對于驗證節點的抗 DoS(拒絕服務) 攻擊,PoV還旨在隱藏網絡層上驗證者的身份。也就是說,該協議不希望攻擊者能夠分辨出哪個DHT節點對應于哪個驗證節點。

那么具體要怎么做?原帖用了大量的數學公式和推導,在此不做贅述,我們給出一個簡化的版本:

具體實現上,使用Merkle樹或Lookup表。比如利用Merkle樹,證明注冊公鑰存在于公鑰列表這棵Merkle樹中,然后證明從這個公鑰派生出的網絡通信公鑰是匹配的。整個過程利用零知識證明實現,不會泄露實際身份。

跳過這些技術細節,PoV最終實現的效果是:

只有通過身份驗證的節點才能加入DHT網絡,其安全性大大增加,可以有效抵御Sybil攻擊,防止樣本被故意隱藏或修改。PoV為DAS提供了一個可靠的基礎網絡,間接幫助以太坊實現快速擴容。

不過,當前PoV還處在理論研究階段,能否落地還存在不確定性。

但該貼的幾位研究員已經在小范圍進行了實驗,結果顯示,PoV在提出ZK證明的效率上,以及驗證者接收證明的效率還不錯。值得一提的是,他們實驗設備只是一臺筆記本,里面裝的還僅僅是一顆5年前的Intel i7處理器。

最后,當前PoV還處在理論研究階段,能否落地還存在不確定性。但是無論如何,它代表了區塊鏈通往更高擴展性的重要一步。作為以太坊擴容路線圖中的關鍵組件,它值得整個行業持續關注。

深潮TechFlow

個人專欄

閱讀更多

金色財經

元宇宙簡史

金色薦讀

金色財經 善歐巴

曼昆區塊鏈法律服務

人民法院報

Tags:PRO以太坊ProofROOThe Protocol以太坊交易犯法嗎0XPROOF幣gROOT幣

芝麻開門交易所
LINO:區塊鏈如何解決音樂產業的人工智能問題_人工智能

1999 年 Napster 出現時,音樂產業經歷了一場生存危機。點對點數字文件共享的出現使音樂貶值,并導致整個產業陷入下滑,讓傳統的守門人不知道接下來會發生什么.

1900/1/1 0:00:00
比特幣價格:比特幣為何下跌? 分析師指出5個潛在原因_COIN

作者:TOM MITCHELHILL,COINTELEGRAPH;編譯:松雪,金色財經據報道,埃隆·馬斯克 (Elon Musk) 的 SpaceX 出售其持有的比特幣、一家中國房地產巨頭的破產.

1900/1/1 0:00:00
PEND:澳大利亞交易所Independent Reserve與PayPal合作為客戶提供加密服務_PAL

作者:TOM MITCHELHILL,COINTELEGRAPH;編譯:松雪,金色財經澳大利亞加密貨幣交易所 Independent Reserve 首席執行官表示.

1900/1/1 0:00:00
ITT:探索Web3社交的未來(一):從0到1 用社交圖譜完成應用的冷啟動_Fast To Earn

作者:PAUL VERADITTAKIT,Pantera Capital合伙人  編譯:深潮 TechFlow本文是Pantera 合伙人PAUL撰寫的去中心化社交系列文章的第1篇.

1900/1/1 0:00:00
比特幣:中國互金協會等三大金融協會發布關于防范 NFT 相關金融風險的倡議:堅決遏制 NFT 金融化證券化傾向_人工智能

巴比特訊,4月13日,中國互聯網金融協會、中國銀行業協會、中國證券業協會發布關于防范NFT相關金融風險的倡議:堅決遏制NFT金融化證券化傾向,從嚴防范非法金融活動風險,自覺遵守行為規范.

1900/1/1 0:00:00
NBS:中國人工智能大模型不能再繼續“裸奔”了_AIG

作者:市界 8月15日起,《生成式人工智能服務管理暫行辦法》(以下簡稱《暫行辦法》)正式生效。 對于在過去半年多時間中草莽生長、狂飆突進的大模型行業而言,《暫行辦法》的生效可以說是正當.

1900/1/1 0:00:00
ads