Vitalik Buterin,Ethereum 的天才少年,投下震撼彈。他公開了 Circle STARKs,一套全新的密碼學協議,有望徹底革新區塊鏈安全與效能。
Buterin 在他最新的部落格文章中詳細說明了這項技術。該協議採用如 Mersenne31 這類較小的數域,大幅提升證明速度,同時安全性也不打折扣。
「過去兩年,STARK 協議設計中最重要的趨勢,就是轉向使用小數域,」Buterin 寫道。
傳統 STARKs 採用 256 位元數域,雖然安全,卻運算緩慢。Circle STARKs 完全改變了這一局面,大幅降低運算成本,證明速度飛快提升。
收穫非常驚人,一台 M3 筆電每秒可驗證 62 萬個 Poseidon2 雜湊,成果斐然。
不過,有個隱憂。小數域容易受到暴力破解攻擊威脅,但 Buterin 也提出了解方,Circle STARKs 會進行多重隨機檢查,也會運用擴展域。
這對潛在攻擊者來說是一大難題,計算門檻高不可攀,協議因此更為安全。
Buterin 解釋問題:「使用小數域的 STARKs 會遇到困難:x 只有約 20 億組可能值,攻擊者只需嘗試 20 億次就能偽造證明——工作量很大,但有心者可能做得到!」
Circle STARKs 導入名為 Circle FRI 的新方法,這對加強密碼學完整性極為重要。非多項式輸入將無法通過證明,機制相當巧妙。
總之,Circle STARKs 讓你花得更少,得到更多,不僅靈活多變,更開創了區塊鏈運算效能的新紀元。

