最近Filecoin官方更新:現已完成可信配置環節。正舵者團隊兩個階段都參與其中,幫助官方生成重要引數。
可信配置環節完成情況
去年年底
完成了可信配置環節的第一階段,也就是“Powers of Tau”。
今年7月
完成了可信配置的第二階段——為主網將要使用的6個邏輯電路生成安全引數。
現在
可信配置的兩個階段都可以使用Filecoin主網的最終引數。
回顧第一階段
簡要回顧一下,可信配置環節分為兩個階段。第一階段,也稱為“Powers of Tau”環節。適用於Groth26 zk-SNARKs可證明的所有計算以及最大的計算量。由SNARK證明的計算用被稱為邏輯電路的模型來表示。電路內計算的基本單位稱為約束,約束的數量代表計算的大小。在此環節中,參與者為任何不超過1.3億個約束的Groth 16電路生成引數。
相關連結:https://eprint.iacr.org/2016/260.pdf
在兩個多月的時間裡,正舵者團隊同來自世界各地的貢獻者參與了生成用於Filecoin證明的安全可驗證引數。再一次對所有參與和幫助可信配置第一階段順利完成的人們表示衷心地感謝!
回顧第二階段
6月中旬,Filecoin專案方開始了可信配置環節的第二階段。該階段主要為將要用於主網的6條邏輯電路生成安全引數。與第一階段類似,第二階段的輸出只要鏈上其中一方是誠實的,其輸出結果就是可信的。同樣,來自世界各地的參與者參與了為Filecoin的證明生成安全可驗證引數。對於第二階段的參與者,感謝您對Filecoin臨近主網中的關鍵部分作出的支援。
這些輸出是可信的嗎?
對於兩個階段來說,如果轉錄的部分是可驗證的那輸出結果就是可信的,可以相信至少有一位參與者沒有洩露其貢獻的隨機性。因此,對於這兩個階段,專案方都嘗試聚集了各種不同型別的參與者——來自Filecoin生態內部的貢獻者、相互競爭的礦工以及Web3社羣外部的團隊和個人。此過程旨在降低串通風險並提高每個邏輯電路至少有一個貢獻者是可信的可能性,從而保證輸出的引數完整性。要驗證主網邏輯電路的引數是否與參與者的輸出相同,您可以按照此處的說明操作。
相關連結:https://github.com/filecoin-project/phase2-attestations/tree/a5f58bc31efbfdcd93f0207efe475c62a50ae13c/b288702#phase-2-validation
下一步發展
對於主網,不需要任何其他操作——Filecoin的證明部分隨時可以使用!但是,Filecoin團隊已經在考慮未來升級證明以提高協議的效能和可用性。當升級進行時,我們將開始可信配置第二階段的迭代以為新的邏輯電路生成安全引數。