サークルスタークを探索する
近年、STARKsプロトコルの設計トレンドは、より小さなフィールドの使用にシフトしています。最初のSTARKsの実装では256ビットフィールドが使用されており、これは大きな数に対してモジュラー演算を行うもので、これによりこれらのプロトコルは楕円曲線に基づく署名と互換性があります。しかし、この設計の効率は低く、一般的にこれらの大きな数を計算することには実際の用途がなく、多くの計算能力を浪費してしまいます。この問題を解決するために、STARKsはより小さなフィールドの使用にシフトし始めました:最初はGoldilocks、その後Mersenne31とBabyBearです。
この変化は証明速度を向上させました。例えば、StarkwareはM3ノートパソコンで毎秒620,000個のPoseidon2ハッシュ値を証明することができます。これは、私たちがPoseidon2を信頼することを望む限り、意味します。