Vitalik Buterin 發文《探索circle STARKs》

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