ビタリック・ブテリン、「サークルSTARKsを探る」を投稿

Vitalik Buterinが投稿した記事 "Exploring circle STARKs "によると、過去2年間のSTARKプロトコル設計における最も重要なトレンドは、小規模での運用へのシフトであり、このシフトによって証明速度が大幅に向上し、Starkwareは現在、M3ラップトップで1秒間に620,000個のPoseidon2ハッシュ値を証明できるという。つまり、ハッシュ関数としてPoseidon2を信頼するのであれば、効率的なZK-EVMを作る上で最も困難な部分は事実上解決されたことになる。 Vitalikは、Mersenne31、BabyBear、Biniusのようなバイナリフィールド技術を組み合わせることで、STARKの "ベースレイヤー "の効率の限界に近づいていると感じていると考えている。この時点で、STARKの最適化のフロンティアは、ハッシュ関数や署名などのプリミティブに対する最も効率的な算術演算（およびこの目的のためのプリミティブ自体の最適化）、より並列化するための再帰的構成要素、開発者のエクスペリエンスを向上させるためのVMに対する算術演算、およびその他の高レベルのタスクにシフトすると予想しています。