昨年末、Filecoin は信頼できる構成リンクの第 1 フェーズである「Powers of Tau」を正式に完了しました。今年 7 月、Filecoin は信頼できる構成の第 2 段階を正式に完了し、メインネットで使用される 6 つの論理回路のセキュリティ パラメーターを生成しました。これで、信頼できる構成の両方のフェーズで、Filecoin メインネットの最終パラメータを使用する準備が整いました。

最初のステージを復習する

簡単にまとめると、信頼できるプロビジョニング フェーズは 2 つのフェーズに分かれています。 「タウの累乗」リンクとしても知られる最初のステージは、Groth16 zk-SNARK によって証明可能なすべての計算と最大量の計算に適用されます。 SNARK によって証明される計算は、論理回路と呼ばれるモデルで表現されます。回路内の計算の基本単位は制約と呼ばれます。制約の数は計算のサイズを表します。設定部分では、公式は 1 億 3,000 万以下の制約を持つ Groth 16 回路のパラメーターを生成します。

2 か月にわたって、世界中の貢献者が Filecoin プルーフ用の安全な検証可能なパラメータの生成に参加しました。参加していただき、Trusted Provisioning のフェーズ 1 の成功にご協力いただいた皆様に、改めて心から感謝いたします。

第 2 フェーズを確認する

6 月中旬、当局は信頼できる構成リンクの第 2 段階を開始しました。この段階では主に、メイン ネットワークで使用される 6 つの論理回路のセキュリティ パラメーターが生成されます。第 1 段階と同様に、チェーン内のいずれかの当事者が誠実である限り、第 2 段階の出力は信頼できます。同様に、世界中の参加者が、Filecoin のプルーフ用の安全な検証可能なパラメーターの生成に参加しています。

ステージリンクからのこれらの出力は信頼できるものですか?

今後の展望

今後の展望

Filecoin メインネットの場合、他に何も必要ありません。組み込みのコンセンサス証明部分はすぐに使用できます。ただし、Filecoin チームは、プロトコルのパフォーマンスと使いやすさを向上させるために、証明の将来のアップグレードをすでに検討しています。アップグレードの進行中に、信頼できる構成の第 2 段階の反復を開始して、新しい論理回路のセキュリティ パラメーターを生成します。