永久性分片链(persistent shard chain)的观念将不复存在,相反,每个分片区块都直接就是一个交联(crosslink)。提议人发出提案,交联(crosslink)委员会认真核准,一锤定音。
每条见证动静有 224 字节的根基开销(个中 128 字节是 AttestationData,96 字节是签名数据),再加上见证者字段(attester bitfield)需要少则 32 字节(正常环境),多则 256 字节(最糟糕的环境)的数据。也就是说,一条见证动静需要 256-280 字节的开销。一个区块最多可以有 256 条见证动静,平均则是约 128 条(揣摩),所以单个区块的动静开销在平均条件下是 32768 字节(约 0.03 MB),最糟糕的环境下是 122880 字节(约 0.1 MB)。
在分片 i 上的一个分片区块,应有一个默克尔分支,包括所有其它分片的收据,而这棵默克尔分支就是由其它分片的收据根生成的(因此任意分片 i 都可以知道其它任意分片 j 的收据根)。收到的代价会被分派到其 EE,且 EE 可以会见 msg_has 。
每个分片状态更新动静需要:(i)区块体 chunk 数据根,每 128 kB 的区块数据(或其一部门)就需要一个数据根,所以平均需要 48 字节,最大需要 128 字节;(ii)分片状态根,128 字节;(iii)区块体长度,8 字节;(iv)custody bits,少则 32 字节,多则 256 字节。因此,平均来看需要 216 字节,最大需要 520 字节。单个区块最多可以有 256 条分片状态更新动静,平均是 64 条。因此平均需要 13824 字节(约 0.01 MB),最大需要 133120 字节(约 0.1 MB)。
我们依然在状态中存储一个映射 latest_shard_blocks: shard -> (block_hash, slot) ,差异的是参数由 epoch 变为时隙。在抱负状况下,我们但愿每个时隙这个映射都可以或许获得更新。
-近况(近似)-
对付每个有效且可用的分片区块 B(该区块的祖先区块也必需有效且可用),计较其最新动静支持 B 或 B 的儿女的验证者总权重,暂且将该权重称为分片区块 B 的 “得分”。纵然是空缺的分片区块也可以有得分。
郑重声明:本文版权归原作者所有,转载文章仅为传播更多信息之目的,如作者信息标记有误,请第一时间联系我们修改或删除,多谢。