以太坊聯合創始人 Vitalik Buterin 推出了一種名爲 Circle STARKs 的新加密協議,承諾增強區塊鏈的安全性和效率。
在他的最新帖子中,Buterin 解釋說,這一技術飛躍利用了像 Mersenne31 這樣的較小字段來顯著提高證明速度,同時又不損害安全措施。
Buterin 指出:“過去兩年來,STARK 協議設計中最重要的趨勢是轉向在小規模領域開展工作。”
傳統的可擴展透明知識論證 (STARK) 在 256 位字段上運行,雖然安全,但通常效率低下。
然而,Circle STARK 利用較小的場,從而降低了計算成本並提高了證明速度。
這項改進帶來了令人印象深刻的收益,例如在 M3 筆記型電腦上每秒驗證 620,000 個 Poseidon2 雜湊。
Buterin 強調,先前的 STARK 實現使較小的字段“自然地與驗證基於橢圓曲線的簽名兼容”,但由於涉及大量數據而“導致效率低下”。
了解更多:亞洲首個比特幣期貨反向 ETF 在香港推出
傳統的小域的可能值有限,因此容易受到暴力攻擊。
Circle STARK 透過執行多次隨機檢查和使用擴展字段來抵消此漏洞,擴展字段擴展了攻擊者需要猜測的值集。
這為攻擊者創造了計算上的障礙,並保持了協定的完整性。
「對於較小領域的STARK,我們遇到了一個問題:只有大約20 億個可能的x 值可供選擇,因此想要做出虛假證明的攻擊者只需要嘗試20 億次——大量的工作,但相當對於堅定的攻擊者來說是可行的!布特林說。
Circle STARKs 的一個重要面向是快速里德-所羅門互動預言鄰近證明 (FRI),它證明函數是一定次數的多項式。
Circle STARK 引入了 Circle FRI(一種保持加密過程完整性的方法),可確保非多項式輸入無法通過證明。
透過利用小域和這種新的數學結構,Circle STARK 提供了更大的靈活性和多功能性,以實現高效的運算效能。
這項創新協議標誌著區塊鏈技術的發展向前邁出了重要一步,將增強的安全措施與提高的效率結合起來。
若要提交加密新聞稿 (PR),請發送電子郵件至 sales@cryptointelligence.co.uk。