去年年底,我们成功完成了可信配置的第一阶段,即Powers of Tau。今年7月,我们完成了可信配置的第二阶段——主网络将使用的六个逻辑电路生成安全参数。现在,我们可以使用可信配置的两个阶段Filecoin感谢所有参与主网的最终参数!
回顾第一阶段
简单回顾一下,可信配置环节分为两个阶段。第一阶段也叫Powers of Tau适用于链接Groth16 zk-SNARKs所有可证计算和最大计算量。由SNARK被称为逻辑电路的模型表示证明的计算。电路中计算的基本单位称为约束。约束的数量代表计算的大小。在我们的环节中,我们对任何不超过1.3亿的约束Groth 16电路生成参数。
两个多月来,来自世界各地的贡献者参与了生成Filecoin证明的安全可验证参数。我们再次衷心感谢所有成功完成可信配置第一阶段的人!
回顾第二阶段
6月中旬,我们开始了可信配置环节的第二阶段——该阶段主要为将要用于主网的6条逻辑电路生成安全参数。与第一阶段类似,只要链上的一方在第二阶段的输出是诚实的,其输出结果就是可信的。同样,来自世界各地的参与者也参与其中Filecoin生成安全可验证参数的证明。对于第二阶段的参与者,感谢您Filecoin支持接近主网的关键部分。
这些输出可信吗?
对于两个阶段,如果转录部分是可验证的,输出结果是可信的,至少有一个参与者没有泄露其贡献的随机性。因此,在这两个阶段,我们都试图聚集来自不同类型的参与者Filecoin生态贡献者、相互竞争的矿工和Web社区外的团队和个人。
在此过程中,我们旨在降低串通风险,提高每个逻辑电路至少一个贡献者的可信度,以确保输出参数的完整性。
下一步发展
主网不需要任何其他操作——Filecoin可随时使用证明部分!
但是,Filecoin该团队正在考虑在未来升级我们的证书,以提高协议的性能和可用性。当升级进行时,我们将开始可信配置迭代,认为新的逻辑电路生成安全参数。
如果您想加入参与者名单,请加入我们Slack channel的#fil-trustedsetup跟踪最新动态的频道。