【Filecoin】新出FIP-0013提案，有望进一步减少链上Gas费消耗及链上拥堵问题
【Filecoin】FIP-0013提案
2月24日，Filecoin官方已在Github发布更新提案,添加批量提交ProveCommitSector方法以减少链上拥堵。该提案降低了提交新扇区到Filecoin网络的总成本，总体上降低矿工成本，减少对链式交易带宽的负担。该提案尚处于草案阶段，具体上线时间待定。
FIP- -0013提案提出，有望进一步减少链上Gas费消耗及链上拥堵问题。
矿工的ProveCommitSector方法一次只支持提交一个扇区，导致执行频率高且费用大。FIP-0013提案增加了一个ProveCommitSectorAggregated方法，以分摊多个扇区的成本，删除一些冗余且成本高昂的检查，并利用一种新的加密结果，大幅减少每个扇区的证明大小和验证时间。
此前，【重大】Filecoin网络将于3月3日强制性升级V1.5.0，FIP-0010有望降低Gas费，
据官方消息，分布式存储网络Filecoin客户端Lotus团队公布下一次强制性升级LotusV1.5.0的具体实施时间表，计划于3月3日（epoch为550321时）将网络升级到V1.5.0，在此之前将于2月23日发布V1.5.0版本，目前已发布候选版本LotusV1.5.0-rc1和V1.5.0-rc2。LotusV1.5包含两个FIP提案，分别为FIP-0007和FIP-0010，其中，FIP-0007能够从性能和安全性方面改进FilecoinHAMT和AMT，FIP-0010能减少SubmittedWindowedPost消息的gas消耗量。此次升级是强制性的，节点运营商和矿工必须升级其客户端。
官方在Filecoin网络下一步工作重点在两方面：
第一、有效数据的建设和引导，不断完善生态发展；
第二、Gas费过高问题的解决。
从2020年11月开始出现的gas费较高（这个官方已经十分重视并在积极解决，向全球公开犒赏有效方案，给出了极高的奖励，在全球顶级大脑的参与下，这只是时间问题）。
简单总结
为矿工添加一种方法，以在单个消息中提交多个部门证明提交消息。
抽象的
链上证明随着网络的增长呈线性增长。这导致（1）区块链大多数时候都处于容量限制状态，从而导致较高的基本费用；（2）链容量当前正在限制网络的增长。
矿工ProveCommitSector方法仅支持一次提交单个扇区。它既执行频繁又昂贵。该提议增加了ProveCommitSectorAggregated一种摊销多个部门中某些成本的方法，消除了一些多余但昂贵的检查，并利用新颖的密码学结果极大地减少了每个部门的证明大小和验证时间。
改变动机
矿工ProveCommitSector方法仅支持一次提交单个扇区。它是目前在链上观察到的两种最高频率的方法之一（另一种是PreCommitSector）。高增长的矿工以每个时代超过1个的速度交付行业。这也是一种相对昂贵的方法，具有多个内部发送以及状态加载和存储。
汇总的证明验证可以在更少的时间内证明更多的部门承诺，这将减少处理时间，从而减少每次证明承诺的气体成本。
除了这种主要的优化之外，还有许多次要的机会可以改善与批处理相关的处理时间和气体成本，许多机会可一次完成：
使用位域在
ProveCommitSector参数中指定扇区号可以减小消息大小PreCommits的装载开销可以每批执行一次
Power Actor声明验证可以每批完成一次
ComputeDataCommitment可以批量调用市场参与者的电话
另外，该ProveCommitSectorAggregated方法可以消除当前用于验证单个证明提交的临时存储和cron分批处理。这提供了进一步降低成本的机会：
PreCommit信息可以在每个证明提交中加载一次，而不是一次用于记录，然后再次用于批验证中。
经过验证的部门
ProveCommitSectorAggregated将不需要存储和从功率参与者ProofValidationBatch图中读取
如果矿工运营商实施了相对较短的汇总期（一天），则该ProveCommitAggregated方法有可能降低以下方面的天然气成本：
国家运营：上面列出的某些成本可以在多个部门中摊销
证明验证：使用新颖的证明聚合方案，证明所使用的气体可以随着网络的增长而逐步缩小规模。
规格
演员变更
添加一种ProveCommitSectorAggregated支持矿工一次证明多个部门的新方法。此方法的参数是证明提交信息的列表：
type ProveCommitSectorAggregatedParams {
SectorsNumbers bitfield.BitField
}
语义将ProveCommitSector与以下提议的更改类似：
扇区号位域代替单个abi.SectorNumber在参数中
汇总证明代替参数的单项证明
MaxProveCommitSize参数将更改
将强制执行已验证的最小和最大扇区数
批量读取PreCommitInfos
批量构造SealVerifyInfos
市场参与者ComputeDataCommittment方法已更改为可计算commD的批次
用于验证的天然气成本将被更新，现在根据汇总的部门数量进行计算
在时代结束时，没有将证明信息存储在power actor中以进行批量验证。
ProveCommitSectorAggregated将调用新的运行时syscallAggregateVerifySeals代替power actorBatchVerifySeals调用。ConfirmSectorProofsValid逻辑将复制到的后半部分
ProveCommitSectorAggregated。
故障处理
如果参数上的任何谓词失败，则调用将中止（不保留任何更改）。
如果矿工没有足够的余额来履行所有承诺承诺，则呼叫将中止。
规模和限制
单个聚合中可能预先承诺的扇区数从50（TODO）开始，最大为819（TODO）
证明方案变更
Protocol Labs研究小组与外部研究人员合作，致力于改善Bunz等人的内部产品配对结果。。
从高层次上讲，这个想法是这样的：给定一些Groth16证明，一个人可以生成一个证明它们已经正确聚合的证明。
请注意，这种类型的聚合位于我们执行的现有SNARK之上。换句话说，不需要新的受信任设置。
有关新结构的更详细的技术报告可在此处（TODO）找到。
证明API
去做
可信设置更改
设计原理
现有的ProveCommitSector方法将不会变得多余，因为就气体成本而言，小批量的汇总可能不是有效的方法（证明太大或太昂贵而无法验证）。完整保留该方法以在升级期间支持平稳运行。
故障处理
为简单起见，选择在任何先决条件失败后中止。提交无效的预先承诺没有充分的理由，因此，对于运行正常的矿工来说，绝对不应发生这种情况。中止失败将提供明确的指示，表明出了点问题，否则操作员可能会忽略。
另一种选择是允许聚合中的扇区独立地成功或失败。在这种情况下，该方法应返回一个值，该值指示成功的扇区和失败的扇区。尽管不是很不适当，但这会使参与者和节点的实现复杂化。
规模和限制
聚合大小的界限并不是要真正限制矿工的行为，而是要限制潜在的错误或恶意行为的影响。矿工可以在一个时期内提交多个批次，以便更快地成长。
向后兼容
该建议引入了新的导出的矿工actor方法，从而更改了导出的方法API。尽管添加方法在逻辑上似乎是向后兼容的，但是在方法存在之前，很难保留对（未分配的）方法编号的调用的精确行为。因此，必须通过主要版本升级将这些更改交付给参与者。
该建议保留了现有的非批处理ProveCommitSector方法，因此，由于该建议，采矿作业无需更改工作流程（但应享受减少的天然气成本）。
测试用例
测试用例将伴随实施。
安全注意事项
所有重大的实施更改都会带来风险。
所使用的密码学是新颖的，并已通过TODO审核。
使用的受信任设置是Tau的Filecoin Powers和Tau的ZCash Powers（TODO：添加链接）
激励因素
该提议分摊高增长矿工的每部门成本，从而实现规模经济。增长缓慢的矿工无法享受相同的经济。
这可能会产生较小的动机，以防止将单个物理操作拆分为多个矿工（也称为Sybils）。
产品注意事项
该提议降低了将新部门提交到Filecoin网络的总成本。
这将总体上降低矿工成本，并减少对链式交易带宽的争用，因为带宽争用带宽可能挤出其他消息。
执行
遵循该提案的讨论和接受进行实施。
版权
通过CC0放弃版权和相关权。
早前的内容：
【重大】Filecoin网络将于3月3日强制性升级V1.5.0，FIP-0010有望降低Gas费
https://mp.weixin.qq.com/s/KcPrjipMjHPEjUh2HYp3_Q
Filecoin网络即将强制升级，FIP-0010提案有望成为降低gas费的“试验场”
https://mp.weixin.qq.com/s/X9XKn5Qeg8B8n3qlo3lYOA
【重磅】Filecoin最新64G方案已通过测试！可有效降低Gas费超50%以上；FIP-10提案有望降低GAS费，提升TPS
https://mp.weixin.qq.com/s/cFIQ3hlQRFLrWueGYxoKqg
——————————————————
关于Gas费官方采取的措施一览：
Filecoin网络即将强制升级，FIP-0010提案有望成为降低gas费的“试验场”
https://mp.weixin.qq.com/s/X9XKn5Qeg8B8n3qlo3lYOA
【重磅】Filecoin最新64G方案已通过测试！可有效降低Gas费超50%以上；FIP-10提案有望降低GAS费，提升TPS
https://mp.weixin.qq.com/s/cFIQ3hlQRFLrWueGYxoKqg
【Filecoin热点关注】FIL币价波动+Gas费持续高位的理解和战略布局
https://mp.weixin.qq.com/s/TTQxLErNGlkGNZnEnajzFA
【官方】EIP-1559已在Filecoin主网实施并上线；解决Gas费问题！还有这些热议提案
https://mp.weixin.qq.com/s/dXSbPZAPOC_YB4r41oE5nw
【Filecoin周报】Lotus团队本周回归开发；解决Gas费过高等问题
https://mp.weixin.qq.com/s/XaNViW5ZevrhPEXGpvwCfg
质押币和Gas费持续高位，挖矿收益如何？数据说明一切！
https://mp.weixin.qq.com/s/uUn0W1-oMsvpYs-agVYy4Q
【持续跟踪】代码已合并，Gas费有望下降，只等Filecoin团队优化
https://mp.weixin.qq.com/s/U86_062ZWylUmpZNmFBuHA
【官方】Filecoin 时讯；积极解决包括Gas费高等痛点问题
https://mp.weixin.qq.com/s/EB4vosEYU5sZHUZKsW40Bg
【官方】执行FIP-0009；将进一步解决Gas费高的问题，包括将WindowPoSt验证完全转移到链下的想法
https://mp.weixin.qq.com/s/ZezPyopOBwHuF8-G3ZC8iw
【持续跟踪】高昂Gas费来袭，Filecoin矿工何去何从？
https://mp.weixin.qq.com/s/nZAsB8E_lqyPg1VTqJHeRw
（详细的分析）
Gas费依旧过高？FIL币价下跌，方吗？信仰和信心！Filecoin是主流代币性价比最高的项目；买机器比买币一年多42%的收益
https://mp.weixin.qq.com/s/F-RMrA6_StNzHW2E75QuVw
最新动态 | Slingshot开启2.2阶段比赛；TPS消息吞吐量和Gas费的协调性
https://mp.weixin.qq.com/s/gKngw4hPhFUksQ5Z56GZkg
【事件跟踪】Filecoin主网已恢复！官方宣称：“WindowPoSt将不再燃烧Gas费”！
https://mp.weixin.qq.com/s/G8Lvcvt3PVl9qDdFNvTOlw
Filcoin全球共识度超高！Gas费上涨和Filecoin生态！Lotus团队12月21日到1月4日休假
https://mp.weixin.qq.com/s/0xN4LNpNZxs6WRLSmd0-vg
（有分析）
执行FIP-9提案降低Gas费，Filecoin网络将升级
https://mp.weixin.qq.com/s/wnouwU99t9rW_J-lHRDA2A
（有十分详细的Gas费计算方法）
胡安：Filecoin跟以太坊合作降低Gas费，使用EIP-1559
https://mp.weixin.qq.com/s/E12l6on-KZh_WowTMmL4Iw
【Filecoin周报】协议实验室在讨论更多降低gas费的方案；FIP-08提案的批量提交扇区能否降低网络拥堵？
https://mp.weixin.qq.com/s/X1mmLbrdLj3KjE5XDvbQPg
【官方】Filecoin的循环供应；Gas费高时区块奖励也会提高作为补偿；Filecoin Plus推出10倍存储奖励
https://mp.weixin.qq.com/s/Hd8E1I06hfDJW7NQWxU2tg
【官方】针对Filecoin GAS费暴涨，官方给出建议，将推出FIL +以提供10倍的存储能力
https://mp.weixin.qq.com/s/5967CWy8DQryGOdTzsxbfw
【官方】Filecoin将升级至Lotus v1.2.0版本，可大幅降低GAS费用！降低矿工成本，维护生态发展
https://mp.weixin.qq.com/s/2TRxD6MWi-JCLiTNgD-4fQ
（有较详细的Gas费计算方法）
Filecoin官方：Gas费实用指南
https://mp.weixin.qq.com/s/JMsCgm4aLUjRy9iKgnbc1w