Filecoin 公式: 信頼できる構成が正常に完了しました

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

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

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

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

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

したがって、両方のフェーズで、Filecoin エコシステム内の貢献者、競合するマイナー、Web3 コミュニティ外のチームや個人など、さまざまなタイプの参加者を集めるように努めました。そうすることで、共謀のリスクを減らし、各ロジック回路の少なくとも 1 つの貢献者が信頼できる確率を高め、出力のパラメータ整合性を保証することを目指します。

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

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

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

参加者リストに追加されたい場合は、このフォームに記入し、 Slack チャンネルの #fil-trustedsetup チャンネルに参加して最新情報をフォローしてください。