• Circle STARKs は、攻撃者が推測する必要がある値の数を増やすことでリスクを軽減します。

• 投稿に記載されているように、STARK は非効率的な 256 ビット フィールドで動作することがあります。

イーサリアムの共同創設者であるヴィタリック・ブテリン氏は、ブロックチェーンの効率性とセキュリティを強化することを目的とした新しい暗号化プロトコルである Circle STARKs を発表しました。ブテリン氏は最新の投稿でこの技術的進歩について説明し、セキュリティを犠牲にすることなく証明速度を大幅に向上させるためにメルセンヌ31 などのより小さなフィールドを使用すると説明しています。

安全ではありますが、従来の Scalable Transparent Arguments of Knowledge (STARK) は、投稿に記載されているように、非効率的な 256 ビット フィールドで動作することがあります。

Circle STARK を使用すると、M3 ラップトップで 1 秒あたり 620,000 個の Poseidon2 ハッシュを検証できます。これは、使用するフィールドが小さいため、コンピューティング コストが削減され、証明速度が速くなり、効率が向上します。

以前の STARK 実装では、より小さなフィールドが「楕円曲線ベースの署名の検証と自然に互換性がありました」が、関係する数字が膨大だったため「非効率につながった」と Buterin 氏は指摘しています。

セキュリティの強化

従来の小さなフィールドは、潜在的な値が限られているため、ブルート フォース攻撃に対して脆弱です。Circle STARK は、攻撃者が推測する必要のある値の数を増やすことでこのリスクを軽減します。これは、拡張フィールドと複数のランダム チェックを使用することで実現されます。

さらに、このセキュリティ メカニズムによってプロトコルの整合性が維持され、攻撃者にとって計算上禁止的な障壁が提供されます。また、Circle STARK の重要な部分は、関数が特定の次数の多項式であることを示す Fast Reed-Solomon Interactive Oracle Proofs of Proximity (FRI) です。

暗号化プロセスをそのまま維持する方法である Circle FRI を導入した Circle STARK は、多項式でない入力が証明に失敗するようにします。小さなフィールドとこの新しい数学的構造を利用することで、Circle STARK はコンピューティング パフォーマンスの適応性と効率性を高めます。

今日の注目の暗号通貨ニュース:

ETF 発行者の HODL により、イーサリアムは価格急騰を経験することになるだろうか?