Vitalik：circle STARKs は開発者にあまり多くの追加の複雑さをもたらさない。

ChainCatcher のメッセージ、Vitalik Buterin が最新の記事『circle STARKs の探求』を発表しました。この記事では、Starkware が M3 チップのノートパソコン上で毎秒 620,000 の Poseidon2 ハッシュ値を証明できることが指摘されています。これは、Poseidon2 をハッシュ関数として信頼するならば、高効率の ZK-EVM を作成する上で最も難しい部分の一つが実際に解決されたことを意味します。

それは、従来の STARK と比較して、circle STARK は開発者にあまり多くの追加の複雑さをもたらさないと述べています。circle FRI が操作する「多項式」の背後にある数学的原理はかなり直感に反するものであり、理解し把握するまでに時間がかかります。しかし、ちょうどその複雑さが隠されており、開発者はそれに気づくことができません。Circle の数学的原理の複雑さは、システム的ではなく、カプセル化されています。

Vitalik は、Mersenne31、BabyBear、そして Binius のような二進法の技術を組み合わせることで、STARKs の「基盤層」の効率の限界に近づいていると感じています。STARK の最適化の最前線は、ハッシュ関数や署名などの原始的なものを最も効率的に算術化し（その目的のためにこれらの原始的なもの自体を最適化し）、より多くの並列化を実現するための再帰構造を作成し、開発者体験を改善するために仮想マシンを算術化し、その他のより高度なタスクに移行すると予想されています。