サークルスタークを探索する
近年、STARKsプロトコル設計のトレンドは、より小さなフィールドの使用に移行しています。最初のSTARKsの実装では256ビットフィールドが使用されており、これは大きな数字に対してモジュラ算術を行います。しかし、この設計は効率が低く、大きな数字を処理する際に多くの計算能力を浪費します。この問題を解決するために、STARKsはより小さなフィールドの使用を始めました。最初はGoldilocks、その後Mersenne31とBabyBearが続きました。
この変化は、証明速度を大幅に向上させました。例えば、Starkwareは現在、M3ノートパソコンで毎秒620,000のPoseidon2ハッシュを証明できるようになりました。これは、Poseidon2をハッシュ関数として信頼する限り、効率的なZK-EVM開発の課題を解決できることを意味します。では、これらの技術はどのように機能しているのでしょうか?小さなフィールド上の証明はどのように構築されるのでしょうか?