サークルスタークを探索する
近年、STARKsプロトコルの設計はより小さなフィールドの使用に向かっています。最初のSTARKs実装は256ビットフィールドを使用し、大きな数に対して剰余演算を行い、楕円曲線ベースの署名と互換性がありました。しかし、この設計は効率が低く、大きな数の処理に計算能力を浪費しました。この問題を解決するために、STARKsはより小さなフィールド、Goldilocks、Mersenne31、BabyBearを使用し始めました。
この変化は、証明速度を向上させました。例えば、StarkwareはM3ノートパソコンで毎秒620,000個のPoseidon2ハッシュ値を証明できます。Poseidon2をハッシュ関数として信頼する限り、高効率ZK-EVM開発の課題を解決できます。では、これらの技術はどのように機能するのでしょうか?小さなフィールドでどのように証明を構築するのでしょうか?この記事では、これらの詳細を探求し、特にCircleに焦点を当てます。