Vitalik发布关于轻客户端欺诈证明问题的论文

当前位置:首页 > 币圈百科 > Vitalik发布关于轻客户端欺诈证明问题的论文

Vitalik发布关于轻客户端欺诈证明问题的论文

2023-01-12币圈百科200

以太坊联合创始人Vitalik Buterin与伦敦大学学院的两位博士生Mustafa Al-Bassam和Alberto Sonnino发表了一篇关于欺诈证明的论文,使“轻客户端可以获得接近全节点等价的块有效性保证”。

fraud-proofs-sep-2018

轻客户端就是智能手机上的以太坊钱包。他们很轻,很信任矿工,自己也不验证协议规则。到目前为止,一切都很顺利,但碎片化需蓑衣网小编2022要更高的安全性,这也会让轻钱包更安全。论文中说:

“我们的论文还可以利用碎片化在扩展区块链中发挥重要作用,因为在碎片化系统中,网络中的单个节点不会下载并验证所有碎片的状态,因此需要使用欺诈证明从恶意碎片中检测出无效块。”

这篇技术性很强但也容易理解的文章描述了一种方法,通过这种方法,节点可以验证块,然后发布这种有效性的证明。然后,轻钱包或切片可以验证证明,如果有错误,他们将拒绝块。但有一个问题:

“恶意块生产者可以通过扣留重新计算dataRooti所需的数据,只向网络释放块头,来阻止整个节点生成欺诈证书。块生成器可以在块发布后很长时间释放可能包含无效事务或状态转换的数据,从而使块无效。这将导致未来块分类账上的交易回退。”

证明部分可以说相对容易,但是这个数据留存问题很难解决。Buterin说:

“基本上,通过使用擦除代码和欺诈证书,现在‘100%数据可用性’的问题将转化为‘75%数据可用性’的问题。通过随机抽样技术可以更容易地解决转换后的问题。

Vitalik的论文对这一过程进行了较为深入的描述,本文也在一定程度上引用了论文中的相关内容,以便读者更容易理解:

“块生产者编译由k份组成的数据块,使用Reed-Solomon编码将数据扩展到2k份,并计算merkleroot(对扩展后的数据(每片叶子对应一份)

当轻客户端使用dataRooti接收块头时,会从dataRooti表示的哈希树中随机抽取份额,在接收全部后才接受块如果一个对抗性区块生产者使超过50%的份额不可用,从而使完整的数据不可恢复,则有50%的概率客户会在第一次抽样中随机选择不可用的份额,两次抽样后有25%的概率,三次抽样后有12.5%的概率,以此类推。使用替代抽样时就是这种情况。在完全方案中,采样将在没有替换的情况下进行,因此概率会更低。

请注意,为了使该方案正常工作,网络中必须有足够多的轻客户端来采样足够多的份额,这样块生产者就需要释放50%以上的份额来通过所有轻客户端的采样挑战,从而可以恢复整个块。“

有了完整的块之后,我们可以创建一个欺诈证书,光节点可以检查,而光节点实际上可以成为一个完整的节点。

这里假设至少有一个完整的节点是诚实的。显然,越诚实的完整节点越好。在分片的情况下,假设每个分片至少有一个诚实节点,这意味着分片中的节点会非常重要,某种程度上可以理解为节点越多,容量越大。

block stream前CTO、现比特币核心开发者Gregory Maxwell的反应是:

“错误编码的反滞留问题已经讨论了很多次,我一直很沮丧,因为我无法激发人们对这个想法的兴趣。“

论文还指出:

“在互联网上一直在讨论如何设计一个防欺诈系统,但没有一个完整的设计来处理所有块和数据可用性无效的情况。“

Vitalik的论文包含一个防欺诈原型和一个数据可用性原型。 由于欺诈的证明一直被认为是公共区块链扩展的主要瓶颈,这似乎是一个技术突破。按照目前的方案,每1MB块的资源消耗为14kb,验证时间约为1秒。

fraud-proofs-size-sep-2018欺诈证书大小,2018年9月欺诈证书验证时间

,2018年9月fraud-proofs-validation-time-sep-2018

轻客户端必须对每个块做以上操作,但不需要存储这些证书。一旦他们检查到该块是有效的,他们就可以忽略14kb的资源消耗,因此它似乎不会消耗存储空间。这意味着在这种设计中,光节点可以自动拒绝无效块,使矿工无法欺骗他们,因为在这种设计中,光节点将像完整节点一样支持协议规则。

如果是这样的话,那么完整节点的存储和同步可能就不再是问题蓑衣网小编2022了,可扩展性问题可能就解决了。

Vitalik发布关于轻客户端欺诈证明问题的论文 | 分享给朋友: