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