ポイント
- VitalikButerinは、ブロックチェーンのセキュリティと効率性のための新しい暗号化プロトコルであるCircleSTARKsを紹介します。
- CircleSTARKは、証明速度を向上させ、計算コストを削減するために、Mersenne31のような小さなフィールドを使用します。
- このプロトコルは、複数のランダムチェックと拡張フィールドを通じてセキュリティを強化します。
- CircleSTARKは、効率的な計算パフォーマンスのための実用的なアプリケーションを提供します。
VitalikButerinがブロックチェーン効率を強化するCircle STARKsを発表
イーサリアムの共同創設者ヴィタリック・ブテリン氏は、ブロックチェーンのセキュリティと効率を大幅に向上させるために設計されたCircleSTARKsという新しい暗号プロトコルを導入した。最近の投稿で、Buterin氏は、この技術の進歩により、セキュリティを損なうことなく、より小さなフィールドを活用して証明速度を向上させる方法について説明しました。
より小さなフィールドでより大きな利益
従来のSTARK（ScalableTransparent Arguments ofKnowledge）は256ビットフィールドで動作しますが、安全ではありますが、多くの場合非効率的です。Circle STARKはMersenne31のような小さなフィールドを利用し、計算コストを削減し、証明速度を向上させます。この効率の向上により、M3ラップトップで1秒あたり620,000個のPoseidon2ハッシュを検証できるようになります。
セキュリティ対策の強化
Circle STARKsの主な利点の1つは、セキュリティが強化されていることです。小さいフィールドでは可能な値が制限されているため、ブルートフォース攻撃に対して脆弱になる可能性があります。Circle STARKは、複数のランダムチェックと拡張フィールドの使用によってこのリスクを軽減し、攻撃者が推測する必要がある値のセットを拡張します。このアプローチは、攻撃者に対して計算上の禁止的な障壁を作成し、プロトコルの整合性を維持します。
実用的なアプリケーション
Circle STARKは、効率的な計算パフォーマンスのための柔軟性と多用途性を提供します。FastReed-SolomonInteractive Oracle Proofs of Proximity（FRI）は、関数がある程度の多項式であることを証明します。これは、CircleSTARKの重要な側面です。Circle FRIを導入することにより、プロトコルは非多項式入力が証明に失敗することを保証し、暗号化プロセスの整合性を維持します。
解説
- 暗号の進歩:CircleSTARKsの導入は、効率とセキュリティに焦点を当てた暗号プロトコルの大幅な進歩を表しています。この進歩により、より堅牢でスケーラブルなブロックチェーンアプリケーションが実現される可能性があります。
- セキュリティの強化:CircleSTARKで複数のランダムチェックと拡張フィールドを使用することで、より小さなフィールドに関連する潜在的な脆弱性に対処します。このアプローチにより、ブルートフォース攻撃に対してプロトコルの安全性が確保されます。
- 効率の向上:計算コストの削減と証明速度の向上により、CircleSTARKはさまざまなブロックチェーンアプリケーションにとって実用的な選択肢になります。これらの効率の向上により、ブロックチェーン上でより複雑でリソースを大量に消費する操作をサポートできます。
Vitalik ButerinによるCircle STARKsの導入は、ブロックチェーンの効率とセキュリティの強化を目的とした暗号プロトコルの継続的な進化を浮き彫りにしています。この革新的なアプローチは、スケーラブルで堅牢なブロックチェーンアプリケーションの開発に実用的な利点をもたらします。