時間:2023-08-26|瀏覽:212
去年年底,我們圓滿地完成了可信配置環(huán)節(jié)的第一階段,也就是“Powers of Tau”。今年7月我們完成了可信配置的第二階段——為主網(wǎng)將要使用的6個邏輯電路生成安全參數(shù)。現(xiàn)在,我們可信配置的兩個階段都可以使用Filecoin主網(wǎng)的最終參數(shù)了!感謝所有參與的人!
回顧第一階段
簡要回顧一下,可信配置環(huán)節(jié)分為兩個階段。第一階段,也稱為“Powers of Tau”環(huán)節(jié),適用于Groth16 zk-SNARKs可證明的所有計算以及最大的計算量。由SNARK證明的計算用被稱為邏輯電路的模型來表示。電路內(nèi)計算的基本單位稱為約束。約束的數(shù)量代表計算的大小。在我們的環(huán)節(jié)中,我們?yōu)槿魏尾怀^1.3億個約束的Groth16電路生成參數(shù)。
在兩個多月的時間里,來自世界各地的貢獻者參與了生成用于Filecoin證明的安全可驗證參數(shù)。我們再一次對所有參與和幫助可信配置第一階段順利完成的人們表示衷心地感謝!
回顧第二階段
6月中旬,我們開始了可信配置環(huán)節(jié)的第二階段——該階段主要為將要用于主網(wǎng)的6條邏輯電路生成安全參數(shù)。與第一階段類似,第二階段的輸出只要鏈上其中一方是誠實的,其輸出結(jié)果就是可信的。同樣,來自世界各地的參與者參與了為Filecoin的證明生成安全可驗證參數(shù)。對于第二階段的參與者,感謝您對Filecoin臨近主網(wǎng)中的關(guān)鍵部分作出的支持。
Participants: Aztec/Ariel GazibonSigmaPrime/MehdiZeroual iSecbitIPFSMain/Neo Filecoin-vietnam.com DecentralTechFilecoin/Whyrusleeping Filecoin/Nemo BoringWangBenjaminH SupranationalCoinsummer/Cobo/KHashquark/AllenFactor8Solutions/PatrickFilecoin/DrPeterVanNostrandFinalityLabs/KeyvanJustinDrakeFilecoin/PorcuquineConsensys/Joseph ChowGrandhelmsmenDianCunIPFSForce Ocean/AlexCorseru TroelsHenriksen/Athas Vulcanize/A.F.DudleyKikakkz Filecoin/Magik Filecoin/DignifiedquireZcash/Benjamin WinstonJPAumussenJames HansonAngelovConsensys/AlexanderWade
環(huán)節(jié)中的這些輸出是可信的嗎?
對于兩個階段來說,如果轉(zhuǎn)錄的部分是可驗證的那輸出結(jié)果就是可信的,可以相信至少有一位參與者沒有泄露其貢獻的隨機性。因此,對于這兩個階段,我們都嘗試聚集了各種不同類型的參與者——來自Filecoin生態(tài)內(nèi)部的貢獻者、相互競爭的礦工以及Web3社區(qū)外部的團隊和個人。在此過程中,我們旨在降低串通風險并提高每個邏輯電路至少有一個貢獻者是可信的可能性,從而保證輸出的參數(shù)完整性。
要驗證我們主網(wǎng)邏輯電路的參數(shù)是否與參與者的輸出相同,您可以按照此處的說明操作。
下一步發(fā)展
對于主網(wǎng),不需要任何其他操作——Filecoin的證明部分隨時可以使用!
但是,F(xiàn)ilecoin團隊已經(jīng)在考慮未來升級我們的證明以提高協(xié)議的性能和可用性。當升級進行時,我們將開始可信配置第二階段的迭代以為新的邏輯電路生成安全參數(shù)。
如果您想加入?yún)⑴c者列表,請?zhí)顚懘吮砗图尤胛覀僑lackchannel的#fil-trustedsetup頻道以跟蹤最新動態(tài)。
注:本文不投資有風險,入市需謹慎。
來源:全球幣碼翁區(qū)塊鏈研究院
本期編輯:Alice