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