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

#BNB金鏟子