通过以单元为中心的擦除/网络编码改进列传播

本文为机器翻译
展示原文

Fusaka分叉将引入一维、基于列的数据可用性采样,其中每个样本是由来自所有blob的单元格和证明组成的。在Fusaka之后,改进列的传播是进一步提高blob吞吐量的主要途径之一,目前提出的工具包括从基于推送的gossip转向公告和拉取/推送混合模式,并引入某种形式的编码,如RS或RLNC。在这篇文章中,我们探索了实现后者的各种方法,同时使单个单元格成为传播的基本单位。感谢@asn@dankrad@potuz@MarcoPolo@vbuterin的讨论和反馈。

我们原则上可以避免在每个节点重复计算。kzg_commitmentsHeaderSidecar中可以包含*所有*承诺,包括扩展的承诺。这些需要与原始承诺进行一致性验证,但可以通过选择随机标量向量r并检查r^TC' = (r^T M_{RS}) \cdot C来更快地完成,这只需要在G1中进行两个128点的多标量乘法(MSM),大约需要2毫秒。权衡的代价当然是带宽,因为这意味着HeaderSidecar中会增加约6千字节。

RLNC + KZG

我们可以利用 KZG承诺和证明的线性特性,在保持重组块与原始KZG行承诺可验证性的同时,实现列传播的随机线性网络编码(RLNC):

相关赛道:
来源
免责声明:以上内容仅为作者观点,不代表Followin的任何立场,不构成与Followin相关的任何投资建议。
喜欢
2
收藏
评论