Vitalik Buterin 發文《探索 circle STARKs》

Odaily星球日報訊 Vitalik Buterin 發文《探索 circle STARKs》，其指出，Starkware 能夠在 M3 筆記本上每秒證明 620,000 個 Poseidon2 哈希值，這意味著如果我們願意信任 Poseidon2 作為哈希函數，那麼制作高效 ZK-EVM 的最難部分之一實際上已經解決瞭。Vitalik 認為，結合 Mersenne31、BabyBear 和像 Binius 這樣的二進制域技術，感覺正在接近 STARKs “基礎層”的效率極限；預計 STARK 優化的前沿將轉向對哈希函數和簽名等原語進行最有效的算術化（並優化這些原語本身以實現這一目的）、制作遞歸結構以實現更多並行化、對虛擬機進行算術化以改善開發者體驗，以及其他更高級別的任務。