• Circle STARK 使用更小的字段來提高證明速度和效率，從而顯著提高區塊鏈的安全性。

  • Circle STARK 通過多重隨機檢查和擴展字段來緩解暴力攻擊，從而增強協議完整性。

  • Circle STARK 能夠在 M3 筆記本電腦上每秒驗證 620,000 個 Poseidon2 哈希值，從而降低計算成本。

Circle STARKs 是以太坊聯合創始人 Vitalik Buterin 推出的一種新型加密系統，旨在徹底改變區塊鏈的安全性和效率。在最近的文章中，Buterin 詳細闡述了這項創新如何利用 Mersenne31 等較小的字段來提高證明速度，同時又不損害安全措施。

Buterin 解釋稱，過去兩年 STARK 協議設計中最重要的趨勢是轉向更小的字段。傳統的 STARK 以 256 位字段爲基礎，雖然安全，但效率低下。

另一方面，Circle STARK 利用較小的字段，降低計算成本並提高證明速度。例如，它們可以在 M3 筆記本電腦上每秒驗證 620,000 個 Poseidon2 哈希值。

Vitalik 發表了一篇討論 STARK 圈的文章：過去兩年中，STARK 協議設計中最重要的趨勢是轉向在小字段上工作。這一轉變已經導致證明速度的巨大提升，最顯著的是……

— Wu Blockchain (@WuBlockchain) 2024 年 7 月 23 日

解決安全問題

之前的 STARK 實現使較小的字段自然地與驗證基於橢圓曲線的簽名兼容，但由於數字太大而導致效率低下。傳統的小字段的可能值有限，因此容易受到暴力攻擊。

Circle STARK 通過執行多次隨機檢查和使用擴展字段來應對這一漏洞。這擴大了攻擊者需要猜測的值集，從而創建了計算上禁止的屏障並保持了協議的完整性。

Buterin 指出，在較小域上使用 STARK 時，攻擊者可以利用 x 的有限值。爲了解決這個問題，Circle STARK 採用了快速 Reed-Solomon 交互式 Oracle 鄰近性證明 (FRI)。這一關鍵方面證明了函數是一定程度的多項式。引入 Circle FRI 可確保非多項式輸入無法通過證明，從而維護加密過程的完整性。

未來的影響和應用

Circle STARK 利用小字段和這種新的數學結構，爲高效的計算性能提供了更大的靈活性和多功能性。因此，它們代表了加密技術的一次飛躍。因此，這項創新不僅增強了區塊鏈的安全性，還使其更加高效和可擴展。

Buterin 的 Circle STARK 體現了加密協議的持續發展，旨在解決區塊鏈技術中的世界挑戰。隨着轉向更小的領域，Circle STARK 有望使區塊鏈操作更快、更安全。此外，這一發展符合提高區塊鏈可擴展性和效率的更廣泛趨勢。

另請閱讀：

  • Nic Carter 爲幣安辯護，反駁前 SEC 官員的長篇大論

  • 前美國證券交易委員會官員認爲 CBDC 是金融史上“最荒謬的”

  • 前美國證券交易委員會主席談論比特幣現貨 ETF 獲批的可能性

  • 前美國證券交易委員會主席預測美國證券交易委員會將拒絕比特幣現貨 ETF

  • 前 SEC 主席承認，如果 SEC 對 XRP 裁決提出上訴，可能會敗訴

Vitalik Buterin 推出 Circle STARKs 來增強區塊鏈安全性和效率一文最先出現在 Crypto News Land 上。

#ETH