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 優化的前沿將轉向對哈希函數和簽名等原語進行最有效的算術化(並優化這些原語本身以實現這一目的)、製作遞歸結構以實現更多並行化、對虛擬機進行算術化以改善開發者體驗,以及其他更高級別的任務。
關聯標籤
鏈捕手ChainCatcher提醒,請廣大讀者理性看待區塊鏈,切實提高風險意識,警惕各類虛擬代幣發行與炒作,站內所有內容僅係市場信息或相關方觀點,不構成任何形式投資建議。如發現站內內容含敏感信息,可點擊“舉報”,我們會及時處理。
關聯標籤