イーサリアム共同創設者のヴィタリック・ブテリン氏は、ブロックチェーンのセキュリティと効率を向上させる新しい暗号プロトコル「Circle STARKs」を導入した。
小さなフィールドで大きな成果
ブテリン氏の最新の投稿によると、Circle STARKsは小さなフィールドを利用して、セキュリティを損なうことなく証明速度を大幅に改善する。
この技術革新により、従来の256ビットフィールドを使用するSTARKに比べて、計算コストが削減され、証明速度が向上する。
「過去2年間のSTARKプロトコル設計における最も重要なトレンドは、小さなフィールドでの作業への切り替えである」とブテリン氏は述べている。
Circle STARKのセキュリティ
従来の小さなフィールドには、ブルートフォース攻撃に対する脆弱性があるが、Circle STARKsはこれを複数のランダムチェックと拡張フィールドを使用することで対抗する。
このセキュリティ対策により、攻撃者が推測する必要のある値のセットが拡大し、プロトコルの整合性が維持される。
「小さなフィールドを使用するSTARKsでは、rの選択可能な値が約20億しかないため、攻撃者は偽の証明を作成するために20億回試行するだけで済む。しかし、これは決意を持った攻撃者にとって十分可能な作業である。」
実用的な影響
Circle STARKsは、Fast Reed-Solomon Interactive Oracle Proofs of Proximity（FRI）を導入しており、これにより関数が特定の次数の多項式であることを証明する。
Circle FRIアプローチは、暗号プロセスの整合性を維持し、非多項式入力が証明に失敗することを保証する。
Circle STARKsは、小さなフィールドと新しい数学的構造を利用することで、効率的な計算性能を提供し、より柔軟で汎用性の高いソリューションを実現する。
＼discordを使って／