Filecoin 信頼構成フェーズが正常に完了しました

プロフェッショナリズムと集中力、双方に利益のある協力

免責事項: 技術的な概念をある言語から別の言語に完璧に翻訳することは困難であるため、この翻訳の正確さを保証することはできませんのでご了承ください。

オリジナルリンク:

https://filecoin.io/zh-cn/blog/trusted-setup-complete/

昨年末、信頼できる構成プロセスの第 1 フェーズである「Powers of Tau」を正常に完了しました。

今年 7 月には、信頼できる構成の第 2 フェーズ、つまりメイン ネットワークで使用される 6 つのロジック回路のセキュリティ パラメータの生成を完了しました。

これで、信頼できる構成の両方の段階で、Filecoin メインネットの最終パラメータを使用できるようになりました。

ご参加いただいた皆様ありがとうございました！

フェーズ1のレビュー

簡単に確認すると、信頼できる構成プロセスは 2 つの段階に分かれています。

最初の段階は「タウの力」段階とも呼ばれます。 Groth16 zk-SNARK によって証明可能なすべての計算と、計算の最大量まで適用可能です。

SNARK によって証明される計算は、論理回路と呼ばれるモデルを使用して表現されます。回路内の計算の基本単位は制約と呼ばれます。制約の数は計算のサイズを表します。私たちのセッションでは、1 億 3000 万以下の制約を持つ Groth 16 回路のパラメータを生成します。

2 か月以上にわたり、世界中の貢献者が Filecoin 証明のための安全で検証可能なパラメータの生成に参加しました。改めて、Trusted Configuration の第一フェーズの成功にご協力いただき、ご参加いただいた皆様に心より感謝申し上げます。

フェーズ2のレビュー

6 月中旬に、信頼できる構成プロセスの第 2 フェーズを開始しました。

このフェーズでは、主にメイン ネットワークで使用される 6 つのロジック回路のセキュリティ パラメータを生成します。

最初のフェーズと同様に、チェーン上のいずれかの当事者が正直である限り、第 2 フェーズの出力は信頼できます。

同様に、世界中の参加者が、Filecoin の証明のための安全で検証可能なパラメータの生成に参加しました。フェーズ 2 の参加者の皆様、Filecoin のメインネットへの道のりの重要な部分をサポートしていただき、ありがとうございます。

これらの出力は信頼できるでしょうか?

どちらのフェーズでも、転記された部分が検証可能であり、少なくとも 1 人の参加者が自分の貢献のランダム性を漏らしていないと信頼できる場合、出力は信頼できます。

したがって、両方のフェーズで、Filecoin エコシステム内の貢献者、競合するマイナー、Web3 コミュニティ外のチームや個人など、さまざまなタイプの参加者を集めるように努めました。

そうすることで、共謀のリスクを減らし、各ロジック回路の少なくとも 1 つの貢献者が信頼できる確率を高め、出力のパラメータ整合性を保証することを目指します。

メインネット ロジック回路のパラメータが参加者の出力と同じであることを確認するには、ここの手順に従ってください。

次のステップ

メインネットの場合、追加のアクションは必要ありません。Filecoin の証明部分はすぐに使用できます。

ただし、Filecoin チームは、プロトコルのパフォーマンスと使いやすさを向上させるために、証明の将来のアップグレードをすでに検討しています。アップグレードが進むにつれて、信頼できる構成の 2 回目の反復が開始され、新しいロジック回路のセキュリティ パラメータが生成されます。

参加者リストに追加されたい場合は、該当するフォームに記入し、Slack チャンネルの #fil-trustedsetup チャンネルに参加して最新の開発状況を確認してください。