Filecoin 公式: 信頼できる構成の第 2 フェーズが正常に完了しました

昨年末、信頼できる構成プロセスの第 1 フェーズである「Powers of Tau」を正常に完了しました。今年 7 月には、信頼できる構成の第 2 フェーズ、つまりメインネットワークで使用される 6 つのロジック回路のセキュリティパラメータの生成を完了しました。ご参加いただいた皆様のおかげで、信頼できる構成の両方のフェーズで Filecoin メインネットの最終パラメータが利用できるようになりました。

フェーズ1のレビュー

簡単に確認すると、信頼できる構成プロセスは 2 つの段階に分かれています。最初のフェーズは「Powers of Tau」フェーズとも呼ばれ、Groth16 zk-SNARK によって証明可能なすべての計算と、可能な限り最大の計算に適用されます。 SNARK によって証明される計算は、論理回路と呼ばれるモデルを使用して表現されます。回路内の計算の基本単位は制約と呼ばれます。制約の数は計算のサイズを表します。私たちのセッションでは、1 億 3000 万以下の制約を持つ Groth 16 回路のパラメータを生成します。

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

フェーズ2のレビュー

6 月中旬に、信頼できる構成フェーズの第 2 フェーズを開始しました。このフェーズでは、主にメインネットで使用される 6 つのロジック回路のセキュリティパラメータが生成されました。最初のフェーズと同様に、チェーン上のいずれかの当事者が正直である限り、第 2 フェーズの出力は信頼できます。同様に、世界中の参加者が、Filecoin の証明のための安全で検証可能なパラメータの生成に参加しました。フェーズ 2 の参加者の皆様、Filecoin のメインネットへの道のりの重要な部分をサポートしていただき、ありがとうございます。

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

どちらのフェーズでも、転記された部分が検証可能であり、少なくとも 1 人の参加者が自分の貢献のランダム性を漏らしていないと信頼できる場合、出力は信頼できます。したがって、両方のフェーズで、Filecoin エコシステム内の貢献者、競合するマイナー、Web3 コミュニティ外のチームや個人など、さまざまなタイプの参加者を集めるように努めました。

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