a16z:关于数据可用性抽样和 danksharding 的概述及改进建议_WEB:web3.0币龙头

Danksharding?是一种用于扩展未来版本以太坊链上数据量的方法。这次升级的目标是确保链上的数据在首次发布时就能被归档方访问。它通过一种叫做数据可用性采样的技术来实现这一目标。

在这篇文章中,我们将研究Danksharding中的数据可用性是如何工作的,并对底层技术提出一些修改建议。特别地,我们探讨了一种可能改进数据恢复的小改动:当前的方案需要75%的份额来恢复一个区块,而这项修改可能将此界限降低到25%。

Protodanksharding

Danksharding计划在Protodanksharding之后推出。Protodanksharding将通过引入一种名为“携带数据块交易”的新交易类型,使客户端能够将更多数据写入区块链。最初,这种新交易类型将携带多达四个数据块,每个数据块最大为128KB,每个区块可添加多达512KB的额外数据,而目前以太坊的区块大小平均为100KB。

a16z crypto引入Lasso和Jolt工具来增强零知识证明:金色财经报道,风险投资公司 Andreessen Horowitz 的加密货币部门 a16z crypto 推出了 Lasso 和 Jolt,这是一对基于简洁非交互式知识论证(SNARK)的新工具。SNARK 是一种零知识证明,有可能促进第 2 层空间中的可扩展 ZK Rollup,这通常被视为计算密集型。Lasso 是 a16z 两篇研究论文的主要创新,它采用了“查找参数”机制,有利于更快的零知识证明。它将特定的输入与相应的输出相匹配,而不泄露额外的信息。该团队指出,Lasso 引入了一种简化的方法来验证 SNARK,通过对大量结构化表执行查找来避免繁琐的手动优化电路。[2023/8/11 16:18:58]

这些数据块将被处理得不同:

Web3公司ContentFi推出首个基于a16z Can't be Evil的NFT许可解决方案:12月27日消息,Web3 公司 ContentFi 推出首个基于 a16z Can't be Evil」Licenses 的 NFT 许可解决方案Can't Be Vil 许可工具包(CBE License Toolkit),旨在简化 IP 许可流程,降低进入 NFT 生态系统的准入门槛,以开放方式获得许可权限检查、发布和展示 NFT,并且使用户可以轻松指定对 NFT 项目的所有权。

此前报道,8月31日,a16z推出开源Can't be Evil NFT 许可,旨在推动 NFT 行业发展。[2022/12/28 22:11:23]

它们只会被存储一段有限的时间,比如30-60天;

a16z合伙人:a16z的加密基金仍有数十亿美元可供部署:金色财经报道,a16z合伙人Chris Dixon表示,a16z最近的加密基金大部分仍有待部署。最新的45亿美元基金被称为 \"Crypto Fund 4\"于5月推出,并将15亿美元用于种子投资,30亿美元用于风险投资。他还指出了加密对冲基金的区别,他说加密对冲基金没有同样的灵活性来扩展部署。(the block)[2022/12/20 21:54:59]

尽管这些数据是交易数据的一部分,但智能合约无法直接访问这些数据。相反,智能合约只能访问到数据块数据的一个简短承诺,称为DATAHASH。验证者承担的额外负担似乎是可以接受的:验证者目前存储不到100GB的数据以维护区块链的状态。在protodanksharding之后,他们将不得不额外存储50-100GB的数据。

硅谷风险投资公司a16z公布五名新员工:硅谷风险投资公司a16z本周公布了五名新员工,旨在帮助该公司为潜在的投资组合提供应对监管能力以及提供加密原生数据科学和研究服务。

他们分别是:

Bill Hinman,美国证券交易委员会公司财务部的前任主管。现已作为顾问加入 a16z ;

Tomicah Tillemann,?乔·拜登总统的前顾问蒂勒曼。在希拉里担任国务卿期间,他曾担任希拉里克林顿的演讲稿撰稿人。现担任a16z全球政策主管;

Brent McIntosh,曾担任负责国际事务的财政部副部长。现已作为顾问加入 a16z ;

Rachael Horwitz,曾在 Twitter、谷歌、Facebook 和 Coinbase 担任营销和沟通职务,是Coinbase 的第一位通信副总裁。?现已加入 a16z负责营销和传播;

Alex Price,是家贸易公司 Qu Capital 的共同创始人。现已作为顾问加入 a16z 。[2021/6/27 0:09:10]

紧接着将推出Danksharding。它将通过增加每个区块的数据块数量上限,将客户端可用的数据提高60倍。区块将从每个区块0.5MB增长到30MB。但是,因为验证者不能被迫存储60倍的数据,数据将在它们之间分散,使得每个验证者只存储一小部分数据。然而,他们可以通过数据可用性采样协议就他们是否共同存储所有数据达成共识。

这些数据块的定价将通过类似于EIP-1559的机制进行,并且将以每字节约1个数据-gas为目标。当前最便宜的替代品Calldata的价格为每字节16gas。但由于有两个不同的费用市场,这些费用无法直接比较。Roll-up客户端将从这些升级中受益,因为目前超过90%的客户端费用用于支付以太坊数据费。

其他项目,如Celestia和EigenLayer,也采用DAS技术来增加可用的数据空间。这些设计比完全分片的以太坊网络要简单得多。

数据可用性采样的目标

我们描述这个方案,假设采用了提议者-构建者分离设计:

客户端将其携带数据块的交易提交给区块构建者。区块构建者通过选择N个客户端数据块来形成一个区块B。数据块编号为i,附带一个由发送它的客户端签名的简短承诺Ci。让C=是区块B中所有N个签名承诺的列表。区块构建者将他们提议的区块提交给当前的区块提议者。区块提议者选择其中一个区块并将其原样发布到网络上。

挑战在于确保稍后可以重建区块B。为此,构建者将区块在V个验证者的大型网络中进行复制。可以要求每个验证者都存储整个区块,但这被认为太昂贵。相反,区块构建者:

使用纠删码将区块B编码成更大的区块E;将区块E分成V个重叠的片段P1,...,PV;将一对发送给编号为i的验证者。每个验证者检查它接收到的片段Pi是否与签名承诺列表C一致。区块构建者为验证者提供证明以方便这些检查。

有了这个设置,数据可用性采样方案有两个协议:

采样协议在采样验证者和验证者集之间运行。采样验证者将列表C作为输入,并从验证者集合中随机请求区块E的元素。如果采样验证者收到了所有请求的元素,并且都与C一致,它将输出成功。重构协议在重构代理和验证者集之间运行。重构代理将C作为输入,从验证者集请求区块E的元素。一旦收集到超过75%的元素,且所有元素都有效,重构代理计算并输出区块B。要求是,如果采样验证者输出成功,那么只要输入超过四分之三的元素,重构代理将输出区块B。只要提供足够的元素,即使提供的元素是对抗性选择的,重构也应该成功。

总之,以下各方参与到Danksharding中:

客户端:将数据块发送给构建者。构建者:创建区块并将此区块的片段发送给验证者。区块提议者:将区块发布到网络。采样验证者:运行采样协议,如果协议输出成功,则对区块头进行签名。重构代理:在需要时与整个验证者集合进行交互以重构先前发布的区块。如果验证者回应超过四分之三的有效元素,重构将成功。

纠删编码和多项式承诺

接下来我们解释该方案的两个构建模块:纠删编码和多项式承诺。

构建模块#1:纠删编码

纠删编码可以追溯到20世纪60年代,它的产生是为了满足在损耗信道上传输信息的需求。在danksharding中,它被用来防止验证者丢失数据片段。该技术将数据从N个元素扩展到M个元素,以便可以从扩展数据的任何完整的N个元素中重建原始数据。想象一下,将N个元素编码成M=2N个元素,并将一个编码元素分给2N个验证者。如果大多数验证者都是诚实的,他们就可以共同重建原始数据。这种技术可以防止任何一半验证者的崩溃故障。通过在下一节中讨论的多项式承诺,可以扩展以防止一半验证者的拜占庭行为。

以下是扩展的详细过程。要将数据从N个字段元素d1、d2、...、dN∈

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金宝趣谈

[0:15ms0-6:925ms