以太坊社群的長期願景包括使用多項式承諾和張量程式碼的全面數據可用性協議。作為實現這一願景的下一步,即將整合一個名為 PeerDAS 的中間解決方案,以架起通往完整協議的橋樑。隨著 PeerDAS 很快就成為以太坊共識層不可或缺的一部分,了解其安全保證至關重要。
本文檔旨在以密碼社群可存取的方式描述 PeerDAS 中使用的密碼學,鼓勵創新和改進,並明確說明 PeerDAS 的安全保證。我們關注以太坊共識規範 [ Eth24a 1 、 Eth24b 1 ] 中所描述的 PeerDAS。
我們的目的有兩個:首先,我們的目標是提供 PeerDAS 中使用的密碼學的描述,該描述可供密碼學社區訪問,從而可能產生新的想法和
未來可以納入的改進。其次,我們要明確說明PeerDAS的安全性和效率保證。在安全性方面,本文檔證明了以下主張:
定理 1 (主定理,非正式):假設合理的密碼學硬度假設,根據 [ HASW23 1 ] 中的定義,PeerDAS 是代數群模型中的安全資料可用性取樣方案。
我們希望收到社群的回饋,以進一步改進本文檔