ZK-STARKsの概要： ZK-STARKのホワイトペーパーは2018年に公開されました（同時にFRIという主要なコンポーネントも発表されました）。当時、楕円曲線ベースのZK-SNARKsがブロックチェーンのプライバシーを実現できることをすでに認識しており、それが世界が期待するすべてのように思われました。 それでは、なぜまったく新しい構造が必要だったのでしょうか？ 当時、私たちが最も重視していた点は以下の通りです： ZK-STARKsの主な利点は以下の通りです： ・透明性（STARKの「T」）— これは、SNARKsに必要な「トキシック廃棄物」のセットアップが不要であることを意味します。これは信頼性にとって非常に重要です。 説明すると、信頼されたセットアップが不要であるため、たとえダース・ベイダーが使用しても、透明なZK-STARKsは信頼できます。 ・量子耐性— 2018年当時、量子脅威やそれが楕円曲線暗号を破壊する可能性について語る人はそれほど多くありませんでした。しかし、ZK-STARKsは量子耐性を持ち、実際には安全なハッシュ関数の存在のみを必要とします。 これは、RSA、DH、ECDSA、格子ベースの構造など、従来の難解性仮定を脅かす超知能の時代において、非常に重要であることがわかりました。 ・フィールド非依存— ZcashのZK-SNARKsは非常に特定の代数構造（有限体）を必要とし、しかも大きなものでした。一方、STARKsはバイナリ体や小さな素体を含むあらゆる有限体で動作します。これは計算効率の面で優れています。 数学に詳しくない方のために説明すると、これははるかに高速でスケーラブルであることを意味します。たとえば、最新のSTARK証明者S-twoで使用されるM31体の算術処理は、最初の世代の証明者が必要とした256ビット体の算術処理よりも100倍速いことが確認されています（！）。 ・スケーラビリティ— あらゆるフィールドで動作し、信頼されたセットアップが不要であるという事実により、処理する計算量を拡大し続けても、オンチェーン検証者を変更する必要がありませんでした。 まとめると—2018年時点で、ZK-STARKsが世界に提供した大きな利点は、透明性、量子耐性、効率性、スケーラビリティでした。現在では、これらが安全なZKスケーリングとプライバシーのゴールドスタンダードとなっています。 終わり