去年年底,我们圆满地完成了可信配置环节的第一阶段,也就是“Powers of Tau”。今年7月我们完成了可信配置的第二阶段——为主网将要使用的 6 个逻辑电路生成安全参数。现在,我们可信配置的两个阶段都可以使用 Filecoin 主网的最终参数了!感谢所有参与的人!
简要回顾一下,可信配置环节分为两个阶段。第一阶段,也称为“Powers of Tau”环节,适用于 Groth16 zk-SNARKs 可证明的所有计算以及最大的计算量。由SNARK证明的计算用被称为逻辑电路的模型来表示。电路内计算的基本单位称为约束。约束的数量代表计算的大小。在我们的环节中,我们为任何不超过 1.3 亿个约束的 Groth 16 电路生成参数。
在两个多月的时间里,来自世界各地的贡献者参与了生成用于 Filecoin 证明的安全可验证参数。我们再一次对所有参与和帮助可信配置第一阶段顺利完成的人们表示衷心地感谢!
6 月中旬,我们开始了可信配置环节的第二阶段——该阶段主要为将要用于主网的 6 条逻辑电路生成安全参数。与第一阶段类似,第二阶段的输出只要链上其中一方是诚实的,其输出结果就是可信的。同样,来自世界各地的参与者参与了为Filecoin的证明生成安全可验证参数。对于第二阶段的参与者,感谢您对 Filecoin 临近主网中的关键部分作出的支持。
对于两个阶段来说,如果转录的部分是可验证的那输出结果就是可信的,可以相信 至少 有一位参与者没有泄露其贡献的随机性。因此,对于这两个阶段,我们都尝试聚集了各种不同类型的参与者——来自 Filecoin 生态内部的贡献者、相互竞争的矿工以及 Web3 社区外部的团队和个人。在此过程中,我们旨在降低串通风险并提高每个逻辑电路至少有一个贡献者是可信的可能性,从而保证输出的参数完整性。
要验证我们主网逻辑电路的参数是否与参与者的输出相同,您可以按照此处的说明操作。
对于主网,不需要任何其他操作——Filecoin 的证明部分随时可以使用!
但是,Filecoin 团队已经在考虑未来升级我们的证明以提高协议的性能和可用性。当升级进行时,我们将开始可信配置第二阶段的迭代以为新的逻辑电路生成安全参数。
如果您想加入参与者列表,请填写此表和加入我们 Slack channel 的#fil-trustedsetup 频道以跟踪最新动态。
End
非常感谢您对 IPFS&Filecoin 项目的持续支持。我们很高兴继续与您一起,为人类信息建立一个强大的,去中心化和高效的基础。
FilCloud 帮你迅速了解 IPFS 领域的热点技术和应用公众号:filcloud