本文提出了一个增强型的DHT(分布式哈希表)方案,该方案基于“评分列表”的概念和分层结构,旨在解决以太坊数据可用性抽样(DAS)中的瓶颈问题。该方案通过对节点进行评级,提高DHT的安全性,抵抗Sybil攻击。项目计划包括形式化定义、实现和验证三个阶段,最终评估该方案在完整Danksharding中的可行性。
用于数据可用性抽样 (DAS) 的带评分列表分布式哈希表 (DHT) 的正式定义、实现和验证。
以太坊中的数据可用性抽样旨在解决存储需求最小的节点的数据完整性和数据可用性问题。DAS 通过探测网络中其他节点的特定样本来确保数据的可用性,然后采用纠删码进行重建。完全 Danksharding 旨在通过将数据可用性抽样完全集成到以太坊的分片设计中,从而进一步增强这种机制,从而允许每个分片独立验证数据可用性,同时保持网络的整体安全性和效率。
然而,要适应完全 danksharding 并有效地实现预期的吞吐量,需要进行足够多的更改。其中一个改进在于协议中当前使用的分布式哈希表的结构。 现有的 DHT 解决方案(如 Kademlia)在区块提议者是 DHT 的唯一种子时,会成为样本分散的瓶颈 [1]。从安全的角度来看,kademlia 中的单个恶意跳转可能导致无限查找。另一方面,它实际上没有女巫攻击抵抗能力,允许密钥空间的局部甚至全局部分被淹没。此外,kademlia 是一项有 20 年历史的 DHT 技术,对于像以太坊这样的用例的 DHT 解决方案来说,优化得很差。因此,为了支持完全 danksharding 的安全和网络要求,需要更好地构建 DHT。
我们基于 Dankrad 在其题为“The Rated List”的博客中发布的想法进行开发,该想法通过拥有所有节点和分层级别的“列表”来增强现有的 DHT,但添加了一些评分以进行保护。已经有支持性研究 [5] 验证了为 DHT 模拟社交网络以获得更强的女巫攻击抵抗能力。
我们首先制定评分列表的正式规范,该规范是对 DAS 正式定义的扩展 [3]。然后,我们继续构建概念验证,同时识别和定义框架必不可少的安全属性(Security-by-Design)。然后,我们针对 POC 进行基本功能、网络分析和安全分析测试。最后,我们打算根据其稳健性和完整性来评论该解决方案对于完全 danksharding 的可行性。
虽然规范尚未定义 [4],但我们确实有一些描述性要点要添加到博客中提供的宽松规范中 [2]。
该项目大致由三个阶段组成。
阶段 1:正式定义:第 6-8 周。 在此阶段,我们将把该方案转换为正式定义,以便更好地在下面进行分析。
阶段 2:实施:第 8-14 周。 实施评分列表 DHT 的 p2p 规范更改并编写测试,得出统计结果,例如维护列表的带宽、存储等。
阶段 3:验证:第 14-20 周。 为了确保系统的安全性和完整性,我们将基于这些定义的属性执行全面的安全分析。此过程将涉及:
- 原文链接: github.com/eth-protocol-...
- 登链社区 AI 助手,为大家转译优秀英文文章,如有翻译不通的地方,还请包涵~
如果觉得我的文章对您有用,请随意打赏。你的支持将鼓励我继续创作!