Vitalik Buterinは、従来のSTARKの制限に対処し、より小さなフィールドを使用することで効率と速度を向上させる新しい暗号化プロトコルであるCircle STARKを紹介します。
ポイント
- CircleSTARKは、コンピューティングの効率と速度を向上させます。
- CircleSTARKで使用されるフィールドが小さいほど、パフォーマンスが大幅に向上します。
- このプロトコルは攻撃者にとっての計算上の障壁を減らし、セキュリティを強化します。
- CircleFRIは、暗号化システムの完全性を維持する上での基本です。
イーサリアムの共同創設者ヴィタリック・ブテリン氏は、より小さなフィールドを利用することでコンピューティングの効率と速度を向上させるように設計された新しい暗号プロトコルであるCircleSTARKsを発表した。このイノベーションは、安全ではあるものの、256ビットフィールドへの依存により非効率に悩まされることが多い従来のSTARK（ScalableTransparent ARguments ofKnowledge）の制限に対処します。
効率とスピードの向上
Circle STARKは、より小さなフィールドを採用することで従来のSTARKを改良し、パフォーマンスが大幅に向上します。たとえば、Buterin氏は、M3ラップトップでは、CircleSTARKが1秒あたり最大620,000個のPoseidon2ハッシュを検証でき、速度と効率が著しく向上していると述べました。
セキュリティ上の課題を克服する
従来のSTARKは、攻撃者が悪用できる潜在的な値が多数あるため、課題に直面しています。Circle STARKは、いくつかのランダムチェックを実行し、拡張フィールドを適用することで、この問題を軽減します。このアプローチでは、攻撃者が推測する必要があるデータのセットが拡張され、不正行為に対する計算的に非現実的な障壁が作成されます。
Buterin氏は、この機能強化の重要性を次のように強調しました。
「より小さなフィールドに対するSTARKの場合、問題が発生します。選択できるxの値は約20億個しかないため、偽の証明を作成したい攻撃者は20億回試行するだけで済みます。これは多大な作業ですが、決意の強い攻撃者には十分に実行可能です！」
サークルFRIの役割
Circle STARKsの重要なコンポーネントは、FastReed-SolomonInteractive Oracle Proofs of Proximity（CircleFRI）です。この要素は、非多項式入力が証明に失敗することを保証し、それによって暗号システムの整合性を維持します。Circle STARKは、この新しい数学的フレームワークを利用して、処理パフォーマンスのさらなる適応性と効率性を提供します。
###解説
- CircleSTARKsの導入は、堅牢なセキュリティを維持しながら効率と速度を向上させることに焦点を当てた、暗号化プロトコルの大幅な進歩を表しています。
- CircleSTARKでより小さなフィールドを使用することで、従来のSTARKに関連する非効率性に対処し、大幅なパフォーマンスの向上を実現します。
- CircleSTARKは、攻撃者に対する計算の障壁を高めることで、暗号システムのセキュリティと信頼性を強化します。
- CircleFRIの統合は、暗号証明の完全性を維持する上での革新的な数学的フレームワークの重要性を強調します。
- ヴィタリック・ブテリンの暗号研究開発への継続的な貢献は、ブロックチェーン技術とその応用の継続的な進化を浮き彫りにしています。