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