合约解读--ProveCommitSector/Aggregate

扇区是协议实验室官方存储的基本单元，目前协议支持封装32GiB和64GiB扇区。存储提供者获取订单数据后，会把数据分成一个个扇区，需要经过PreCommit1，PreCommit2，Commit1，Commit2四个阶段对扇区进行密封，才能形成有效算力。

我们将详细解读合约ProveCommitSector、ProveCommitSectorBatch。这是扇区预提交成功后，提交扇区证明信息生成算力，对应状态机中的状态如下：

SectorNumber为一个扇区的ID，以int64形式表示，Proof为扇区的零知识证明。

·getVerifyInfo获取验证信息

·调用合约Power.SubmitPoRepForBulkVerify方法·提交证明，更新链上状态

·如果st.ProofValidationBatch不为空，则加载证明的批量集合，否则创建一个空的验证集合

·获取存储提供者的密封验证信息，在一个Epoch中每个存储提供者PreCommit的数量不能超过200

·将证明插入到批次中并刷新批次

·支付Gas费，OnSubmitVerifySeal的Gas数量为34721069

SectorNumbers使用bitfield表示，并通过RLE+编码压缩，减少了占用链上数据空间。

AggregateProof聚合了证明需要的信息，包括每个扇区的扇区号、随机数信息、CommR、CommD、密封类型、聚合类型和C2生成的零知识证明。

将被替换扇区的到期时间设置为它的下一个deadline。

对于每个有效的PreCommit，确认扇区的过期时间超过180天，计算其对应的算力，存储质押和初始质押，以及替换数据扇区对应的质押和奖励，最后构建所有新的的扇区信息并提交到链上。

修改链上状态信息，放入新的扇区，删除PreCommited扇区，分配新的扇区deadlines，释放PreCommit的押金，增加初始质押，确认余额足以支付押金。

为了量化扇区中不同部分对网络共识的贡献，设置了如下几个参数：

交易权重(Deal Weight): 交易占用时空转换的算力，已验证客户交易的权重称为已验证交易权重，将大于常规交易权重

交易质量乘数(Sector Quality Multiplier)：分别给承诺容量、常规交易和已验证交易乘数分别为10，10，100

根据代码可知，扇区质量(Sector Quality)=1 + 9*验证交易时空/扇区时空，常见的扇区质量大小如下：

最后提供的算力=扇区质量*扇区大小，经过PreCommitSector和PreCommitSectorBatch后，扇区质量会被计算出并存储在扇区信息中提交到链上。

其中BatchBalancer为2nanoFIL，EstimatedSingleProofGasUsage为65733297，BatchDiscount为1/20。

当BaseFee<batchbalancer*batchdiscount时，提交单个证明比较划算，反之批量提交证明较划算。

- END-