Vitalik Buterin, Ethereum 的天才,投下震撼彈——他發佈了 Circle STARKs,全新的加密協議。預計徹底改變區塊鏈的安全與效率。
Buterin 在他最新的部落格文章詳細闡述了這項協議。該協議使用像 Mersenne31 這種較小的數域,大大提升了證明速度,同時保持安全性。
Buterin 寫道:「過去兩年STARK協議設計中最重要的趨勢,就是轉向使用小數域。」
傳統的STARKs會用256位元的數域,安全但效率低下。Circle STARKs則打破這點,大幅減低運算成本,證明速度激增。
成效令人驚艷。一部M3手提電腦每秒可驗證62萬個Poseidon2雜湊,相當可觀。
但也有挑戰。小數域容易被暴力破解。不過Buterin有對策,Circle STARKs會進行多次隨機檢查,並運用延伸數域。
這對攻擊者來說是一大難題,計算門檻極高,協議因此更安全。
Buterin 解釋問題:「當STARKs用在較小的數域時,只有大約二十億個可選的x值,攻擊者若要製造假證明,只需嘗試二十億次——很辛苦但不是做不到!」
Circle STARKs 引入新方法Circle FRI,確保加密完整性。非多項式輸入無法通過證明,這是很聰明的措施。
結論是?Circle STARKs 更具成本效益,既彈性又多用途,為區塊鏈計算效能帶來重大躍進。

