对付主网,不需要任何其他操纵——Filecoin的证明部门随时可以利用!
对付两个阶段来说,,假如转录的部门是可验证的那输出功效就是可信的,可以相信 至少 有一位参加者没有泄露其孝敬的随机性。因此,对付这两个阶段,我们都实验聚积了各类差异范例的参加者——来自Filecoin生态内部的孝敬者、彼此竞争的矿工以及Web3社区外部的团队和小我私家。
回首第二阶段这些输出是可信的吗?
去年年底,我们圆满地完成了可信设置环节的第一阶段,也就是“Powers of Tau”。本年7月我们完成了可信设置的第二阶段——为主网将要利用的6个逻辑电路生成安详参数。此刻,我们可信设置的两个阶段都可以利用Filecoin主网的最终参数了,感激所有参加的人!
可是,Filecoin团队已经在思量将来进级我们的证明以提高协议的机能和可用性。当进级举办时,我们将开始可信设置第二阶段的迭代觉得新的逻辑电路生成安详参数。
在此进程中,我们旨在低落勾串风险并提高每个逻辑电路至少有一个孝敬者是可信的大概性,从而担保输出的参数完整性。
在两个多月的时间里,来自世界各地的孝敬者参加了生成用于Filecoin证明的安详可验证参数。我们再一次对所有参加和辅佐可信设置第一阶段顺利完成的人们暗示衷心地感激!
扼要回首一下,可信设置环节分为两个阶段。第一阶段,也称为“Powers of Tau”环节,合用于Groth16 zk-SNARKs可证明的所有计较以及最大的计较劲。由SNARK证明的计较用被称为逻辑电路的模子来暗示。电路内计较的根基单元称为约束。约束的数量代表计较的巨细。在我们的环节中,我们为任何不高出1.3亿个约束的Groth 16电路生成参数。
假如您想插手参加者列表,请插手我们Slack channel的#fil-trustedsetup频道以跟踪最新动态。
郑重声明:本文版权归原作者所有,转载文章仅为传播更多信息之目的,如作者信息标记有误,请第一时间联系我们修改或删除,多谢。