撰文：Yihan Xu@Foresight Ventures皇冠网站
皇冠客服飞机：@seo3687在这篇陈诉中你不错了解到：
EIP-4844；Proto-danksharding；Danksharding；KZG Commitment；KZG Ceremony；Dynamic state sharding；最近社区参与度超标的 KZG Ceremony 齐刷到了吧，这个典礼到底在干什么？
浅近空洞，KZG Ceremony 是达成 EIP-4844 不成绕过的一个启动化才能，而 EIP-4844 是达成以太坊 sharding 过程中的先行版块。
对于喜欢皇冠博彩来说，想赢得胜利，需要足够毅力耐心。一、Sharding: 以太坊扩容的长久之计 Sharding 从数据可用性角度扩容，而 rollup 主要从现实层面扩容，沿途缓解主网拥挤问题；我以为 sharding 可能是冲破区块链不成能三角的一次尝试。底下这张以太坊区块大小的走势图不错从另一个角度证据数据层面扩容的必要性。从创世区块脱手，以太坊从底层架构到表层期骗齐在不断地快速迭代，但平均区块大小仍为 90Kb 附近，最高点也莫得质的冲破。自然 Rollup 从计较层切入，处分以太坊拥挤问题，但性能仍然受制于 layer 1 的数据存储才气。由于达成过程的复杂度和安全性计议，以太坊修复团队将 sharding 分红了多个阶段，其中就包括最近提到的 proto-danksharding 和 danksharding。通盘过程将会是一个历时数年的更新；在咫尺的以太坊的数据存储模式下，只消少数特定高确立的机器不错加入蚁集成为节点，而 full sharding 之后 ethereum 不再需要每个节点齐保存全部数据，在镌汰主网数据存储本钱的同期加强了安全性（成为节点的门槛镌汰，去中心化程度进一步晋升，同期镌汰被膺惩的风险）。二、EIP-4844: 短期高答复，Sharding 的精简先行版 EIP-4844 = Proto-Danksharding；Proto 来自以太坊筹商者的称呼由于达成 danksharding（下一节会分析）的复杂度很高，修复周期至少所以年为单元的。因此 proto-danksharding 是达成 danksharding 前对以太坊的扩容决策，主要达成了 danksharding 中的贸易款式、precompile 等遐想。
1. Proto-danksharding 概述Proto-Danksharding 主要引入了一种新的 transaction type，也即是 blob-carrying transaction。至此，Rollup 的数据通过 blob 的相貌以更低的本钱向 layer 1 传输，并作非长久存储。同期，blob 弘大于咫尺的 calldata，不错更好地营救 rollup 上的高 TPS。
对于 blob：
每个 transaction 最多挂 2 个 blob；每个 block 设想现象包含 8 个 blob，约为 1MB，最多包含 16 个 blob，约为 2MB；Blob 不需要像 calldata 一样作为 history log 被长久存储；比较 danksharding，节点照旧需要对无缺的 DA 进行考证。2. Blob-carrying transaction 解读给 transaction 挂上 blob（数据单元）作用
参考 Vitalik 在提案中给出的图，Data blob 和现时的 calldata 相似，rollup 不错将贸易、证据等数据通过 blob 上传到 layer 1 来保证 data availability。
本钱
Data blob 的遐想初志是营救 rollup高通量的贸易，比较同等大小的 calldata（使用链上存储），blob 的本钱将会镌汰许多（不需要长久存储）。因此，rollup 在保管数据可用性上破钞的 gas 比较之前会权贵镌汰。
www.crownbet365zonehomehub.com容量
每个 blob 的大小约为 125kB（fact: 现时平均 block size 只消～90kB）。
3. Blob-carrying transaction 的价值和挑战价值
不错把 blob 当作一种缓存，rollup 提交的贸易数据从此以缓存的相貌存在。镌汰对存储硬件的条目，为以太坊提供独特的数据扩容并镌汰 gas 本钱。
挑战：对以太坊节点硬件性能的条目
Ethereum 现时平均区块大小只消～90kB，然则一个 blob 就有～125kB
笔据 EIP-4844 的遐想，每个 slot 平淡情况下约为 1 MB，因此每年加多的数据量为：
1 MB/block * 5 block/min * 43200 min/month * 12 month/year = 2.47 TB per year
每年加多的数据大小远向上了以太坊数据总量，这么的存储决策光显是不高效的。
处分决策从短期扩容后果看，由于每个节点仍然需要储存全量历史数据，在达成 EIP-4844 的同期，对一段时候窗除外的 blob（具体的 limit time 还莫得最终细目，可能是 1 个月或是 1 年）进行自动删除；从 sharding 的恒久利益看，达成 EIP-4444，即节点不需要存储全量历史数据，而是只需要参照 history expiry，存储特定时候之后的数据；这两种处分决策从不同程度上缓解了 blob-carrying transaction 在存储空间上的 tradeoff。
4. KZG CommitmentKZG Commitment 是 EIP-4844 中聘任的多项式应允决策判辨 KZG commitment
KZG 是作家 Aniket Kate, Gregory M. Zaverucha 和 Ian Goldberg 姓氏的缩写，他们在 2010 年发表了多项式应允决策论文「Constant-Size Commitments to Polynomials and Their Applications」，况且这个决策在 plonk-style 的 zk-snark 条约中有很泛泛的期骗。
参考 Dankrad Feist 演讲中的暗示图，KZG root 类似 Merkle root，区别在于 KZG root 应允一个多项式，即系数 position 齐在这个多项式上。基于 proto-danksharding 的场景，KZG root 应允了一堆数据，其中的任何一个数据齐不错被考证属于这个举座。
这亦然为什么 KZG commitment 在兼容性上对背面达成 DAS 更友好。
KZG commitment 的经由如下：
Prover：提供证据，计较 data 的 commitment，prover 无法改动给定的多项式，况且用于证据的 commitment 只对现时这一个多项式有用；Verifier：继承 prover 发送的 commitment value 并进行考证，确保 prover 提供了有用的证据。KZG Commitment 的上风
我以为主要出于对本钱和安全性的念念考，不错归纳但不局限于以下几点：
本钱
全讯网皇冠新2网址KZG commitment 具备快速考证、复杂度相对更低、浮松的特色；不需要提交独特的 proof，因此本钱更低、更省 bandwidth；数据触达所需的 Point evaluation precompile 不错获取更低的本钱。安全
假定出现了 failure，也只会影响 commitment 对应的 blob 中的数据，而不会其他真切的影响。更兼容
纵不雅 sharding 的举座决策，KZG commitment 对 DAS 决策兼容，幸免了类似修复的本钱。5. KZG Ceremony(trusted setup)KZG Ceremony 是为 KZG Commitment 提供 trust setup，咫尺眩惑了向上 20,000 participants 的参与和孝敬，也曾成为历史上最大界限的 trust setup。
最近社区参与体恤热潮的 KZG Ceremony 即是为 EIP-4844 聘任的 KZG commitment 提供 trust setup。
KZG Ceremony 的经由
山东产区：山东栖霞库内老富士基本结束，剩余货源基本不可交易，主要发往客商自己渠道，目前栖霞80#一二级条纹主流价格6.0元/斤左右。红将军方面：毕郭市场上货量较为稳定，市场差货较多成交困难，而好货极少，成交较快。价格方面：80#统货成交价格2.5-2.6元/斤（颜色稍好），一般货2.1-2.5元/斤（偏绿），三级1.7-1.8元/斤，成交方式：倒桶。部分客商近期转移至蓬莱产区收红将军的现象较多，主要原因为蓬莱红将军上色较好。
注：趋势强度取值范围为【-2,2】区间整数。强弱程度分类如下：弱、偏弱、中性、偏强、强，-2表示最看空，2表示最看多。
参考 Vitalik 的经由图，任何东说念主齐不错作为 participants 孝敬 secret 并与之前的扫尾进行混杂产生一个新的 result，依此类推，通过套娃的相貌获取最终的 SRS，并协助完成 KZG commitment 的 trust setup
火博士trust setup
EIP-4844 中聘任了一种常见的 multi-participant trust setup，即 powers-of-tau；罢职 1-of-N 真正模子，不论几许东说念主参与 generating setup 的过程，只消有一个东说念主不知道我方的生成方式，真正启动化即是有用的；必要性
KZG commitment 的 trust setup 不错浅近领略为：生成一个在每次现实 cryptographic protocol 时需要依赖的一个参数，类似于 zk-snark 需要真正启动化；Prover 在提供证据时，KZG commitment C = f(s)g1。其中 f 是评估函数，s 即是 KZG trusted setup 最终获取的 final secret；不错看出 final secret 是生成多项式应允的中枢参数，而作为获取这个中枢参数的真正经由，此次 KZG Ceremony 对于通盘 sharding 的达成特别迫切。6. EIP-4844 带来的变化Rollup
参考 ethresear 上给出的暗示图，rollup 需要将 state delta、KZG commitment 的 versioned hash 包含在 calldata 中进行提交（zk-rollup 还需要提交 zk proof）
不错发现不同的是，calldata 只包含一些数据量小的，比如 state delta、KZG commitment，而将包含无数贸易数据的 transaction batch 放到了 blob 里。
有用镌汰本钱，放 calldata 里很贵；镌汰对区块空间的占用安全性
天下足球葡萄牙欧洲杯Data availability: Blob 存储在信标链上，等同于 layer 1 的安全性；历史数据：节点不会只会将 blob 存储一段时候，需要 layer 2 rollup 作念长久数据存储，因此安全性依赖于 rollup。本钱
Proto-Danksharding 引入了新的贸易类型，低本钱数据款式 blob 的加入无疑会让 rollup 的本钱进一步镌汰，取决于骨子链上期骗和达成发扬，优化后 rollup 的本钱可能镌汰 x10 以致 x50；
同期 EIP-4844 引入了 blob fee；
Gas 和 blob 将会分别有可转化的 gas price 和 limit；Blob 的收费单元照旧 gas，gas amount 随 traffic 变动，以此保管每个 block 平均挂 8 个 blob 的策画（规则独特加多的数据量）Precompile 的达成
Blob 中的数据自己无法被直走动达，EVM 只可获取 data blob 的 commitment。因此需要 rollup 提供 precompile 来考证 commitment 的有用性。
皇冠账号底下分析两种 EIP-4844 中提到的 precompile 算法
Point evaluation precompile（对数学旨趣感风趣参考 vitalik 的判辨）
美高梅官网证据多个 commitments 指向归拢数据；主要针对 zk-rollup，rollup 需要提供 2 种 commitments: 1. KZG commitment; 2. zk-rollup 自己的 commitment；对于 optimistic rollup，大多数也曾聘任了 multi-round fraud proof 的机制，final round fraud proof 所需的数据量较小。因此，聘任 point evaluation precompile 能达到更低的本钱Blob verification precompile
证据 versioned hash 和 blob 是有用对应的；optimistic rollup 在提交诈骗证据时需要 access 全量数据，因此先考证 versioned hash 和 blob 正当，再进行 fraud proof verification三、Danksharding: 迈向 full sharding 的迫切一步Danksharding 的定名来自以太坊筹商员 Dankrad Feist
1. 扩容：进一步引申 Rollup 的缓存空间在 proto-danksharding 达成后，由于新的贸易款式引入了 blob，每个区块不错平均独特获取 1MB 的缓存空间。Danksharking 达成后，每个区块独特 16MB，最大允许 32MB。
2. Data availability：存储和考证战略更高效比较 proto-danksharding 条目全节点下载全量数据，Danksharking 达成后以太坊节点只需要对 blob 抽样。Sampling 后的数据会分散在全网节点中，并不错构成完成的 data blob。
DAS：高效抽样查验
通过纠缠码（erasure coding）匡助全网节点不才载部分数据的情况下更容易发现原始数据的丢失的概率，从而晋升安全性3. 安全性：基本不变由于每个节点不再保存全量历史数据，从数据可用性、备份和抽样查验的角度启程，安全性由至少一个节点保存全量数据变为多个节点存储部分数据，并最终规复无缺数据。
自然乍一看对单点的依赖安全性远高于对多点的依赖，但所以太坊汇麇集的节点数目够多，齐备不错保证数据备份的需求，因此安全性并不会有很大变化。
4. 新的挑战：对 block builder 的条目晋升自然考证者不需要下载并保留全量历史数据，对 bandwidth 和存储硬件的条目得到了缓解，然则区块创建者仍然需要上传包含全量 transaction data 的 blob 数据。
这里浅近先容一下 PBS(proposer/builder separation)，参考 Dankrad 给出 PBS 在 danksharding 决策中的期骗图：
将厚爱出块厚爱东说念主的变装拆分为 proposer 和 builder。启程点是为了作念 anti-MEV 遐想的提案，在 danksharding 的遐想中为了镌汰区块创建时对bandwidth 的条目。四、其他 sharding 决策：Shardeum 的动态分片Shardeum 是 EVM 兼容的 layer 1 公链, 与以太坊的 static sharding 决策不同，shardeum 通过dynamic state sharding的决策晋升底层可彭胀性和安全性，同期，自然地保证较高的去中心化程度；
博彩心理1. Dynamic state sharding上风
Dynamic state sharding 带来最直不雅的上风在于 linear scaling，接入蚁集的节点不错特别高效的被 sharding 算法动态分组，并快速反应，晋升区块链蚁集的 TPS。在 dynamic state sharding 的遐想中，每个节点会遮蔽不同 range 的 address，况且遮蔽范围又会有冗余遐想以保证高效的 sharding 和安全性。
场景内达成
抛开生态的复杂度，单从两种时代达成的角度看，dynamic state sharding 的难度大于 static sharding。不错看出 Shardeum 的时代团队在 sharding 的时代层面有很深的蓄积，团队之前在 Shardus technology 上的研发也对这条公链的底层时代作念出了很大孝敬，以致在姿色早期阶段很好的展示了 dynamic state sharding 所带来的 linear scaling。
2. Shardeum 综合归纳居品
将节点辨认到不同的 group，参考 divide and conquer 的念念路，把计较和存储的 workload 进行分流，从而允许更高程度的并行处理。因此，不错容纳更多节点加入，进一步晋升公链的 throughput 和去中心化程度。
团队
市集教授丰富，叙事才气超强，对动态分片筹商很深。
时代
针对我方的场景遐想了合适的 sharding 决策 (dynamic state sharding) 和共鸣的遐想 (Proof of Stake+ Proof of Quorum)，以晋升可彭胀性为第一策画，保证更高程度的去中心化和安全性。
进程
将在 2023-02-02 launch betanet，值得关注。
五、对 sharding 的念念考和瞻望 Sharding 所以太坊扩容的长久之计，亦然一个价值巨大、真谛真谛真切的恒久决策。达成 sharding 的过程中，现存系数决策齐可能被不断迭代，包括咫尺提到的 proto-danksharding、danksharding 等，值得合手续关注；对 sharding 大标的的领略很迫切，然则每一个达成 full sharding 过程中的提案所继承的时代决策（PBS、DAS、multidimensional fee market）相同值得关注，况且我敬佩也会披露许多关系的优秀团队和姿色；Sharding 是对一种扩容时代的统称，但具体落地的决策并不是只消一种。需要意识到不同的公链会有顺应我方场景的 sharding 决策。比如 danksharding 中的一些遐想也只顺应以太坊蚁集，安全性的 tradeoff 需要无数的节点来对消；Sharding 和其他扩容决策的合理酌量对于可彭胀性的晋升 1+1>2。咫尺的 Danksharding 并不是自成一片的扩容决策，而是和以太坊生态的其他达成相反相成的。比如 Danksharding 和 rollup 沿途，为以太坊扩容达成更好的后果。Reference
https://notes.ethereum.org/@dankrad/kzg_commitments_in_proofs
皇冠hg86a
https://notes.ethereum.org/@dankrad/new_sharding
https://vitalik.ca/general/2022/03/14/trustedsetup.html
https://notes.ethereum.org/@vbuterin/proto_danksharding_faq#Why-use-the-hash-of-the-KZG-instead-of-the-KZG-directly
https://ethresear.ch/t/easy-proof-of-equivalence-between-multiple-polynomial-commitment-schemes-to-the-same-data/8188
https://dankradfeist.de/ethereum/2020/06/16/kate-polynomial-commitments.html
https://notes.ethereum.org/@dankrad/new_sharding
https://eips.ethereum.org/EIPS/eip-4844
https://www.eip4844.com/
https://biquanlibai.notion.site/Data-Availability-caa896aae59d489b98f2448f17b01640
https://docs.google.com/presentation/d/1-pe9TMF1ld185GL-5HSWMAsaZLbEqgfU1sYsHGdD0Vw/edit#slide=id.g1150d91b32e_0_474
https://ethresear.ch/t/a-design-of-decentralized-zk-rollups-based-on-eip-4844/12434皇冠网站