7月23日消息， Vitalik Buterin 發(fā)文《探索 circle STARKs》，文章表示，過去兩年中，STARK 協(xié)議設(shè)計中最重要的趨勢是轉(zhuǎn)向在小范圍運作，這種轉(zhuǎn)變導(dǎo)致證明速度有了顯著提升，目前 Starkware 能夠在 M3 筆記本上每秒證明 620,000 個 Poseidon2 哈希值，這意味著如果我們愿意信任 Poseidon2 作為哈希函數(shù)，那么制作高效 ZK-EVM 的最難的部分就得到了有效解決。 Vitalik 認為，通過 Mersenne31、BabyBear 和 Binius 等二元場技術(shù)的結(jié)合，我們確實覺得我們正在接近 STARK“基礎(chǔ)層”效率的極限。在這一點上，我預(yù)計 STARK 優(yōu)化的前沿將轉(zhuǎn)向?qū)：瘮?shù)和簽名等原語進行最有效的算術(shù)運算（并為此目的優(yōu)化這些原語本身），進行遞歸構(gòu)造以實現(xiàn)更多的并行化，對 VM 進行算術(shù)運算以改善開發(fā)人員體驗，以及其他更高級別的任務(wù)。