7月23日消息， Vitalik Buterin 發文《探索 circle STARKs》，文章表示，過去兩年中，STARK 協議設計中最重要的趨勢是轉向在小范圍運作，這種轉變導致證明速度有了顯著提升，目前 Starkware 能夠在 M3 筆記本上每秒證明 620,000 個 Poseidon2 哈希值，這意味著如果我們愿意信任 Poseidon2 作為哈希函數，那么制作高效 ZK-EVM 的最難的部分就得到了有效解決。 Vitalik 認為，通過 Mersenne31、BabyBear 和 Binius 等二元場技術的結合，我們確實覺得我們正在接近 STARK“基礎層”效率的極限。在這一點上，我預計 STARK 優化的前沿將轉向對哈希函數和簽名等原語進行最有效的算術運算（并為此目的優化這些原語本身），進行遞歸構造以實現更多的并行化，對 VM 進行算術運算以改善開發人員體驗，以及其他更高級別的任務。