據 Foresight News 報道，Vitalik Buterin 發表了一篇題爲《探索 Circle STARKs》的文章，重點介紹了該領域的重大進展。Buterin 指出，Starkware 可以在一臺 M3 筆記本電腦上每秒驗證 620,000 個 Poseidon2 哈希值。這一能力表明，如果 Poseidon2 被信任爲哈希函數，那麼創建高效 ZK-EVM 最具挑戰性的方面之一就已得到解決。

Buterin 解釋說，與傳統的 STARK 相比，circle STARK 不會給開發人員增加太多複雜性。circle FRI 操作的“多項式”背後的數學是違反直覺的，需要花時間去理解。然而，這種複雜性被封裝起來並隱藏在開發人員面前，使他們更容易使用系統。

他認爲，將 Mersenne31、BabyBear 等技術與 Binius 等二進制域技術相結合，正在從基礎層面突破 STARK 的效率極限。STARK 優化的未來預計將專注於最有效地對哈希函數和簽名等原語進行算術運算，創建遞歸結構以實現更多的並行化，對虛擬機進行算術運算以改善開發人員的體驗，以及其他更高級別的任務。