詳解 Circle STARK 和 Stwo:證明器性能提升百倍

發表於 2024-03-18 15:28 作者: StarkNet 中文

來源:Starknet 中文

引言

本文中間三段(如下)解釋 Circle STARK 數學原理及公式,未翻譯,詳情請閱讀原文:

  • STARK 效率意味着小數字

  • 效率意味着優化乘法結構

  • 走出思維定勢(域)

Circle STARK 和 Stwo 爲什么令人振奮?

自以太坊推出 STARK 以來,上個月發表的研究成果是最令人興奮的擴容技術突破之一。這項研究的數學原理很復雜,但使用了經典的圓形 circle(見圖 1),將 STARK 的證明能力提高了 100 倍甚至更多。

該研究是由 Polygon Labs 的 Ulrich Haböck 以及 StarkWare 的 David Levit 和 Shahar Papini 合作完成,並將被廣泛應用。StarkWare 也很榮幸能通過構建和开源 Stwo 證明器,迅速將其投入實際應用。在本文中,我將盡我所能地以最簡單的方式來解釋其中的數學原理及其重要性。

STARK 的可擴展性與透明性

我在 2017 年的斯坦福區塊鏈會議上首次介紹了 STARK 一詞。STARK 定義了一套確保計算完整性的協議,特別強調了可擴展性和透明性 — 分別對應 STARK 中的 S 和 T。可擴展性包括快速、低成本地生成和驗證計算完整性證明,使公共使用無需依賴大量或昂貴的流程。這一特性對於在不同實體間應用完整性檢查至關重要,並推動了 StarkWare 在區塊鏈計算方面的改進。

STARK 的透明性意味着消除「可信設置」;所有程序都基於公开隨機性,從而減少了信任假設。這對於維護計算的完整性至關重要,尤其針對那些可能利用系統參數的有影響力的實體。

可擴展性和透明性共同定義了 STARK 技術的核心,提供了安全、可擴展、透明且公开的驗證方法。確保證明系統遵循這些原則對於維持有效、可靠的運行至關重要。無論你稱呼你的系統爲 STARK 還是其他名稱,都請留意「可擴展性」和「透明性」雙管齊下帶來的顯著優勢,並詢問你的本地證明提供者,其證明系統是否同時具備這兩個特性。

從 Circle STARK 到 Stwo?

Stwo(即 STARK Two)是 Starknet 新一代證明器,旨在增強、加速,並最終取代當前的證明器 — Stone(即 STARK One)。Stwo 的效率預計將是 Stone 的 100 倍,將會使用基於 M31 的 Circle STARK 技術(如上所述)以及更多其他技術。其他的創新還包括 log-up 和總求和檢查協議(如 Haböck 和 Papini 的最新研究成果)、同時處理多個不同次數的多項式(「混合次數」)以及用於編碼電路和虛擬機的新基礎設施。因此,除了預期 STARK 證明規模將提升至 Stone 的 100 倍之外,我們還能期待 Stwo 帶來的更多其他優勢,如更靈活地採用新編譯器和虛擬機,從而提高开發速度。點擊了解有關 Stwo 的更多信息。

網絡成本大幅降低的計劃藍圖涉及降低交易費用的機制,其中部分機制將立即生效。該計劃包含多個步驟,其中部分步驟正同步推進中,將從多個方面解決交易費用昂貴的問題。

KZG 承諾與基於配對的 SNARK?

KZG 承諾是 Stone、Stwo 以及其他 STARK 使用的 FRI 協議的主要競爭對手,也是許多基於配對的 SNARK 的數學基礎。其主要優勢在於最終證明的極致簡潔性,僅需要約 200 字節(而 FRI 和當前的 STARK 則需要好千字節)。其另一個優勢是,通過針對特定 KZG 參數設置的預編譯形式,在以太坊上獲得優化支持,並通過 DankSharding 集成到核心以太坊協議中。這些優化支持解釋了爲什么許多 STARK 系統(如 Polygon、RiscZero 和 ZKsync 所使用的)最終會被封裝在一個 SNARK 內部 — 目的是爲了利用以太坊特定的預編譯優化支持。只要對某些證明系統存在特定的優化支持,團隊就會考慮將他們的 STARK 封裝在 SNARK 內部,可以預期會有更多類似的情況發生。但是,與 KZG 安全素數相比(當前最佳實踐要求這種素數超過 380 字節!),M31 的乘法運算速度要比其快 100 倍甚至更多,因此 KZG 和基於配對的系統在規模和吞吐量方面不太可能像 Stwo 那樣高效。雖然橢圓曲线數學領域和基於配對的 SNARK 的創新範圍之美令人嘆爲觀止,但我們應該記住,這種 SNARK 不僅效率低下,而且需要可信設置,容易受到量子計算機的攻擊。換句話說,就效率、安全性以及對未來的適應性方面,基於小型有限域的 STARK 是更好的選擇。

最後的一些感想

Circle STARK 標志着 STARK 技術領域取得了激動人心的進步,已從理論走向實踐。Circle STARK 也是日益復雜的 STARK 證明不斷發展的最新裏程碑。隨着我們向前發展,這些證明將面臨新的挑战,並將开啓我們所未曾設想的應用領域。

看到深奧且魅力十足的數學被應用於系統中,爲區塊鏈的擴容帶來指數級的增長,真是令人感到格外興奮。區塊鏈領域中的 ZK 技術不止一次地採用了前沿的「月亮數學」,並以此打造出創新產品。例如,Zcash 部署了首個爲通用電路部署的 ZK-SNARK 系統,可在區塊鏈上提供金融隱私;STARK 是以太坊上第一種最高效的未來證明擴容技術;Cairo 是用於編寫可證明代碼的新一代智能合約語言。因此,對於見證 Circle STARK 和 Stwo 還將解鎖出哪些超出預期的奇妙應用和新穎數學,我感到非常期待!

標題:詳解 Circle STARK 和 Stwo:證明器性能提升百倍

地址:https://www.coinsdeep.com/article/105543.html

鄭重聲明:本文版權歸原作者所有,轉載文章僅為傳播信息之目的,不構成任何投資建議,如有侵權行為,請第一時間聯絡我們修改或刪除,多謝。

你可能還喜歡
熱門資訊