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讓你花更少、得到更多,具高度靈活性與多功能性,是區塊鏈計算效能的重大躍進。

