編者按：本文來自巴比特資訊（ID：bitcoin8btc）編者按：本文來自

巴比特資訊（ID：bitcoin8btc）
編者按：本文來自

巴比特資訊（ID：bitcoin8btc）

巴比特資訊（ID：bitcoin8btc）

編者按：本文來自

巴比特資訊（ID：bitcoin8btc）

StarkWare預計將在近幾個月內部署階段一，並在2021年底之前順利進入階段二和階段三。 StarkWare構建的StarkNet是一種由STARK驅動的去中心化二層ZK Rollup，可支持以太坊的通用計算。

，作者：StarkWare，編譯：Kyle，經授權發布。

StarkWare預計將在近幾個月內部署階段一，並在2021年底之前順利進入階段二和階段三。 StarkWare構建的StarkNet是一種由STARK驅動的去中心化二層ZK Rollup，可支持以太坊的通用計算。

介紹

以下是StarkWare發布的公告全文（譯文）：

步驟0——基礎（已完成*）

介紹

步驟II——星座：多應用匯總

介紹

步驟III——宇宙：去中心化匯總

我們預計將在幾個月內部署步驟I，並在2021年底之前順利步入步驟II和III。

Cairo

介紹

我們正在構建StarkNet，這是一種去中心化，無需許可且不受審查的STARK技術，支持L2 ZK-Rollup，可支持以太坊的一般計算。它基於圖靈完備的Cairo語言。

開發人員，用戶和StarkNet節點將能夠完成對無許可L2匯總方案所期望的一切：開發人員可以構建實現自己的業務邏輯的應用，並將其部署在StarkNet上。用戶可以將交易發送給StarkNet來執行，就像今天與以太坊進行交互一樣。 StarkNet節點和參與者將享受加密經濟的激勵，以確保網絡高效，公平地運行。

所有StarkNet交易將定期進行批處理，其有效性將通過一種STARK證明加以證明，並在以太坊上進行驗證。與驗證的計算相比，驗證STARK證明所需的計算量小得多，因此StarkNet將以太坊擴展幾個數量級。

由於所有StarkNet狀態轉換都將經過STARK驗證，以太坊網絡僅接受有效的轉換。重構完整StarkNet狀態所需的所有數據將在鏈上發布。任何人都可以運行自己的StarkNet節點。這些屬性將使StarkNet像以太坊一樣安全和無需許可。

我們已經開發了三年，並且在將“ Moon Math”轉變為在以太坊上運行的生產級高效軟件方面已經取得了一些非凡的里程碑。我們做事的方式是首先解決難題，建立核心技術，然後將其逐步投入生產。隨著StarkNet的完成，我們將繼續以這種方式進行構建。

步驟0 —基礎

我們已經為StarkNet奠定了一些重要的基礎。

Cairo是我們的圖靈完備高級語言和框架，用於生成用於常規計算的STARK證明。應用程序開發人員可以使用Cairo定義任何業務邏輯，並在鏈下進行證明和驗證，而無需手工製作複雜的“電路”或AIR。 Cairo已經上線主網，開發人員也可以使用。

在幾週內，我們將在公開的以太坊測試網上啟動Alpha版本的Cairo通用證明服務（GPS）。這將使開發人員可以使用Cairo構建自己的應用程序，實現他們想要的任何業務邏輯。他們可以將自己的Cairo代碼發送到GPS進行驗證，然後在鏈上進行驗證。

StarkEx

GPS實現了單個證明來確認完全分離和獨立的應用程序的執行完整性，從而使這些應用程序能夠攤銷證明驗證所消耗的gas費用。

Cairo和GPS是StarkNet的基礎——我們將開發人員外部化的決定使他們可以儘早接觸該技術，不僅使他們可以開始在此技術上構建，而且還可能影響StarkNet的發展。

我們將根據開發人員社區的需求和反饋繼續開發Cairo。我們將通過新功能，語法和內置插件來增強該語言，以提高其可用性，並繼續開發和改進Cairo工具：編譯器，跟踪器/調試器以及與通用IDE的集成。

StarkNet將讓Cairo在後台運行。

STARK軟件堆棧

我們已經開發了生態系統中功能最強大的證明系統，並且已經在主網上運行了幾個月。我們還開發了開源證明程序ethSTARK，該速度比其他證明程序快20倍； 它既提供零知識簽名，又提供量子後安全簽名。

我們的擴展標準包括在主網上的一次證明中處理30萬筆交易，在匯總吞吐量方面達到了世界紀錄：300000 tps。在此過程中，我們已經取得了匯總gas效率的世界紀錄：315gas/tx，比以太坊L1的交易便宜幾個數量級。

這項技術將成為StarkNet去中心化驗證層的基石，因此，作為StarkNet開發的一部分，我們將發布更多和增強的證明（有關更多信息，請參見即將發表的博客文章）。

StarkEx是我們的L2擴展引擎。自2020年6月以來，它一直為DeversiFi的客戶提供主網服務。它將在未來幾週內為dYdX和ImmutableX提供動力。 StarkEx可以處理複雜的交易邏輯（現貨交易，衍生產品，NFT）以及付款。

開發StarkEx是我們擴展工具鏈並針對實際需求進行測試的方式。實際應用程序和實際用戶需求最能幫助工具成熟和發展。它還可以幫助我們了解為更好地服務於生態系統而需要解決的元素，例如與錢包和區塊瀏覽器的集成。

StarkEx是使用基於STARK的ZK-Rollup擴展應用程序功能的實時示例，並且是Cairo在主網上編寫的第一個生產應用程序。因此，它也將是StarkNet上運行的應用程序之一。

未來發展路線

步驟I——行星：單一應用匯總

此步驟將使開發人員能夠在StarkNet上構建和部署自己的可擴展應用程序。

此時，每個StarkNet實例將能夠運行一個應用程序。不同的實例可以運行不同的應用程序。

StarkNet框架將包括以下內容：

生成用於任意Cairo邏輯的STARK證明，然後在以太坊上提交和驗證的機制。

與L1以太坊的交互：L1代幣的存入，提取，鏈上數據的發布，保護StarkNet用戶免受惡意StarkNet運營商侵害的逃逸機制等。

L2用戶餘額以及應用程序的存儲和內存的管理。

開發人員將能夠完全專注於構建應用程序的業務邏輯，然後進入生產環境：在StarkNet上大規模部署和運行它。

使我們能夠構建通用的可擴展ZK-Rollup的原因在於：

Cairo，這是一種通用的圖靈完備的編程語言

我們強大的STARK堆棧（證明者和驗證者），可將大量計算捆綁到一個證明中

步驟II——星座：多應用匯總

下一步將支持在同一StarkNet實例上運行並訪問相同的全局L2狀態的多個應用程序。這將實現不同應用程序之間的互操作性，並由於規模經濟的改善而降低gas成本。

Cairo，強大的STARK堆棧和GPS增強了StarkNet在支持多應用程序匯總中的競爭優勢。