Foresight News によると、Vitalik Buterin 氏は「Circle STARK の探索」と題した記事を公開し、この分野における大きな進歩を強調しています。Buterin 氏は、Starkware は M3 ラップトップで 1 秒あたり 620,000 個の Poseidon2 ハッシュを証明できると述べています。この機能は、Poseidon2 がハッシュ関数として信頼できる場合、効率的な ZK-EVM を作成する上で最も困難な側面の 1 つが解決されたことを示唆しています。

Buterin 氏は、従来の STARK と比較して、circle STARK は開発者にとってそれほど複雑ではないと説明しています。circle FRI によって操作される「多項式」の背後にある数学は直感に反しており、理解するには時間がかかります。ただし、この複雑さはカプセル化されて開発者から隠されているため、開発者がシステムで作業しやすくなります。

彼は、Mersenne31、BabyBear などのテクノロジーと Binius などのバイナリ フィールド テクニックを組み合わせることで、STARK の効率の限界を基礎レベルで押し上げることができると考えています。STARK 最適化の将来は、ハッシュ関数や署名などのプリミティブの最も効率的な算術化、より多くの並列化のための再帰構造の作成、開発者のエクスペリエンスを向上させるための仮想マシンの算術化、およびその他の高レベルのタスクに重点が置かれると予想されます。