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 優化的前沿將轉向對哈希函數和簽名等原語進行最有效的算術化（並優化這些原語本身以實現這一目的）、製作遞歸結構以實現更多並行化、對虛擬機進行算術化以改善開發者體驗，以及其他更高級別的任務。