總結
Vitalik Buterin 推出了Circle STARKs，這是一種新的加密貨幣協議，它透過使用較小的數學領域來提高區塊鏈的效率和安全性。 新協議允許在M3 筆記型電腦上每秒驗證多達620,000 個Poseidon2 雜湊值，從而降低計算成本並提高證明速度。 Circle STARKs 由於字段較小而面臨安全挑戰，但透過多次隨機檢查和擴展字段可以緩解這些挑戰。
以太坊聯合創始人Vitalik Buterin 推出了一項名為Circle STARKs 的創新加密貨幣協議，旨在提高區塊鏈的效率和安全性。這項技術進步透過採用更小的數學領域來優化加密貨幣證明性能，標誌著區塊鏈領域的重大進步。
在最近的一篇文章中，Vitalik 詳細介紹了Circle STARKs 如何使用較小的欄位（例如Mersenne31），而不是傳統STARKs 中使用的傳統256 位元欄位。這種轉變可以顯著提高證明速度並大幅降低計算成本。例如，新協議可以使用M3 筆記型電腦每秒驗證多達620,000 個Poseidon2 雜湊值，與先前的實作相比，這是一個相當大的改進。
探索圈STARKshttps://t.co/WoVeucLXS6
感謝@StarkwareLtd 朋友們對我們理解這些概念的支持
另請參閱我的實作https://t.co/qJP3lnaS8m
— vitalik.eth (@VitalikButerin) 2024 年7 月23 日
儘管有其優勢，但使用較小的欄位也會帶來一定的安全挑戰。小字段的可能值數量有限，這使得它們容易受到暴力攻擊。為了抵消這種漏洞，Circle STARKs 實施了多次隨機檢查，並使用擴展字段來擴展攻擊者需要猜測的值集。這種方法創建了一個計算障礙，使攻擊嘗試變得複雜，從而保持了協定的完整性。
Vitalik 闡述STARK 的限制與挑戰
Vitalik 還指出，先前的STARK 實作使較小的欄位「自然地與驗證基於橢圓曲線的簽名相容”，儘管這有時會因涉及大量數字而導致效率低下。使用Circle STARK，這項限制已被克服，它使證明更加高效，同時又不損害安全性。
Circle STARKs 協議還引入了快速Reed-Solomon 互動式預言機鄰近性證明(FRI) 的概念，該證明可確保函數是特定次數的多項式。此功能對於維護加密貨幣過程的完整性至關重要，可確保非多項式輸入不會通過證明。
Vitalik 表示，Circle STARKs 預計將透過利用更小的欄位和新的數學結構來優化運算效能，為區塊鏈技術提供更高的效率和更強大的安全性。這項創新代表了產業必不可少的進步，對安全的未來有潛在影響。
資訊來源：由0x資訊編譯自CRYPTO-ECONOMY。版權歸原作者所有，未經許可，不得轉載
