上述FIP的核心在于要求集成以及缩减多个证明验证(以SNARKs形式上链)以形成占用链带宽更少的集成消息,截至目前,Filecoin网络是最大的运行中的SNARK系统,每天可生成并验证(大约)超过1300万SNARK证明。为满足迫切的可扩展性需求,CryptoNetLab隆重推出SnarkPack,利用聚合扩容SNARK证明的新策略。SnarkPack基于Bünz et al的Inner Pairing Product,并迅速实现产品化以服务于Filecoin证明系统。除了明显的性能优化,SnarkPack还使用创新承诺方案,无需额外可信配置就可以实现集成——是可轻松部署在运行中的Filecoin网络上的更新!SnarkPack为FIP0013提供了一个解决方案——添加ProveCommitAggregate方法,让节点将多个扇区ProveCommit收据集成为一条链上消息。新方法无需一些冗余且昂贵的检查,Gas费可由多个扇区摊销,显著减少每个扇区的证明大小和验证时间。为确保小型节点也能从优化中受益,提交PreCommit和ProveCommit消息的窗口期将被延长 ,这样小型节点可集成窗口期内所有证明,生成一条链上消息。截至目前,性能指标表现良好——使用 32核和64线程AMD锐龙 Threadripper CPU运行时SnarkPack可在8秒内集成8192个SNARK证明,生成的证明大小是原来的1/38,验证只需33毫秒,包含反序列化在内!通过这个新功能,节点可以为819个扇区的证明承诺提交一条ProveCommitAggregate消息。除了FIP0013,FIP0008也会融入HyperDrive网络升级,节点能够为多个扇区提交批量预承诺。这一新增PreCommitSectorBatch方法可省去一些冗余且昂贵的检查,让多个扇区分摊成本。
3. 升级的时间线和其他特点
除了FIP0013和FIP0008, Actors v5(在HyperDrive网络升级中同时更新)还包括FIP-0012: DataCap Top up for FIL+ Client Addresses等有用的改进,这使得Filecoin Plus验证的用户可以继续申请DataCap。以前,每个新的DataCap分配请求都需要针对一个独特的地址,在更新该计划开始以来所服务的数百个DataCap分配请求时产生了操作费用。有了FIP0012,FIL+ clients将能够收到他们现有地址的额外DataCap,这将改善用户和节点的交易体验。由于正在努力将FIL+的DataCap分配扩展到大规模的数据集——这些改进将会持续使Filecoin成为更有用的存储网络,来存储人类依赖的所有重要数据。主网实施的核心开发人员- lotus(v1.10.0)、venus和forest都在全力冲刺HyperDrive网络的升级行动,目前计划在6月中旬进行(具体升级时间待定)。这是Filecoin网络的一次大规模(且高度令人期待)升级,需要彻底地进行端到端测试以确保平稳进行。