STA:StarkWare：欲構建ZK“宇宙”

StarkWare是一家ZK公司，專注于為以太坊規模化構建基于ZK的rollup解決方案。他們的第一款產品StarkEx于2020年推出，并于2021年11月發布了具有更多功能的StarkNet。

StarkEx是一個獨立的ZK-rollup SaaS產品，通過智能合約為某些應用提供特定的用例，如交易(dYdX)、NFT (ImmutableX, Sorare)和DeFi (DiversiFi)。StarkNet是下一個迭代，是一個無需權限、去中心化和完全可組合的網絡。可組合性指的是應用程序相互連接、協調和構建在彼此之上的能力。

StarkWare構建了一個新技術，將數千筆交易壓縮成一個名為STARK的單一有效性證明，并提交給以太坊L1。與SNARK相比，STARK主要有兩個優勢：

Web3娛樂公司Toonstar將發布由NFT驅動的動畫片《Space Junk》:金色財經報道，Web3 娛樂公司 Toonstar 將發布由 NFT 驅動的動畫片《Space Junk》（太空垃圾），該系列講述了太空垃圾收集者的故事，由《工作狂》制片人 Dominic Russo 編劇，主演有《拿破侖炸藥》演員 Jon Heder 和《搖滾校園》演員 Tony Cavalero。粉絲將能夠在 Theta 區塊鏈上鑄造太空垃圾 NFT，還有機會通過構建節目的敘事、創造角色和參與僅限代幣持有者的體驗來參與該項目的知識產權（IP）。[2023/4/25 14:26:30]

它不需要初始信任設置。

有比SNARK更快的計算時間。由于所需的計算量更少，它可以將以太坊的可擴展性提高幾個數量級。

Octopus Network正在Cosmos和Astar Network之間部署首個橋接:1月25日消息，據官方消息，Octopus Network正在Cosmos和Astar Network之間部署首個橋接。據悉，Astar Network的目標是成為Polkadot上連接多個L1區塊鏈的多鏈、多虛擬機智能合約中心。

Octopus Network是Astar Builders Program的grant獲贈者。Astar核心團隊和Octopus團隊共同努力，實現了Polkadot和Cosmos互操作，雙方計劃在2022年第一季度交付該橋接。

此前，Astar Network已經與基于Cosmos SDK的區塊鏈Secret Network實現了一個測試網橋接。然而，這個測試網橋接是基于EVM的，這意味著只有同時支持EVM和Cosmos SDK的區塊鏈才與其兼容。

目前Octopus團隊正在Astar Network上建造一個更多功能的橋接，允許所有基于Cosmos SDK的區塊鏈與Astar Network交互，并通過Astar與Polkadot生態系統連接。[2022/1/25 9:11:02]

StarkWare堆棧主要由共享證明者(SHARP)和驗證者(存在于L1上)組成。SHARP捆綁了來自不同dapp的多個交易，并生成一個證明。然后它與L1上的驗證者共享證明。這節省了成本，因為計算是在不同的應用程序之間共享的。驗證者檢查SHARP證明是否有效。如果是有效，那么它們將在Fact Registry 共享。該應用程序可以與StarkEx接口或直接與SHARP (StarkNet應用程序)連接。

以太坊二層擴容方案StarkEx 3.0主網上線 包含L1 Vaults和SHARP功能:以太坊二層擴容方案StarkEx 3.0主網正式上線，包含L1 Vaults和SHARP兩大新功能。通過L1 Vaults，StarkEx用戶可與以太坊地址特別是智能合約地址進行資產交互， L1 Vaults允許通過智能合約將資金存入任何以太坊地址、發布限價單交易并提取資金；SHARP（SHARed Prover）則從數個StarkEx驅動的應用中收集交易，然后將它們打包成一個證明，從而提高了每筆交易的Gas使用率并實現了更快的交易確認速度。[2021/7/28 1:20:00]

StarkNet的L2節點(序列器)將執行每一筆交易，并定期向以太坊主網更新狀態。需要注意的是，StarkNet的交易最終性與L1綁定，這意味著L2節點必須同時驗證StarkNet和以太坊。StarkNet引入了一個涉及到以太坊主網檢查點的解決方案，使其能夠非常快速地在rollup端實現有效的終結。因此，所有L2節點都包含一個L1完整節點。

動態 | StarkWare稱可為加密交易所解決安全性和可擴展性:金色財經報道，零知識證明技術開發公司StarkWare稱，它可以解決加密交易所最緊迫的問題：中心化交易所固有的脆弱性和去中心化交易所的低交易能力。?Starkware工程副總裁Oren Katz解釋稱，該公司基本上為交易所提供了可擴展性引擎。交易所保存訂單并進行匹配，用戶向交易所發布訂單，交易所匹配訂單并將需要結算的訂單發送給Starkware，Starkware將大量的交易放在一起，并準備一個完整的證明以證明整個批次的有效性。證明將被發送到鏈上驗證器(例如每15分鐘一次)，一旦驗證，(所有用戶余額的)根狀態將在鏈上更新。[2020/2/26]

此外，由于狀態轉換是由序列器“STARK-approved”的，從加密的角度來說，欺詐交易不可能在以太坊主網上被接受。這消除了存在于OR中的“挑戰”周期的必要性。所有重建StarkNet狀態所需的完整數據都發布在鏈上。

動態 | 一未知地址向Bitstamp轉入近5000萬枚XRP:據Whale Alert監測，北京時間10月8日16點02分，一未知地址（rQUted開頭的地址）向Bitstamp交易所轉入49,999,996 枚XRP。[2019/10/8]

StarkNet使用Validium機制來實現數據可用性。它與ZK-rollup幾乎相同，只是它保持數據在鏈下，而ZK-rollup和Optimistic Rollup (OR)保持數據在鏈上。Validium只在L1上發布有效性證明，同時保持數據在鏈下。這使得Validium能夠實現相當高的吞吐量，并降低每個交易的成本。

在鏈下存儲數據的代價是，它需要對第三方的信任，這可能會阻止用戶訪問他們的余額。StarkWare的目標是通過數據可用性委員會(DAC)解決這個問題，該委員會由8個獨立成員組成，他們擁有交易的副本。他們還需要通過使數據在任何時候都可用來維護這些數據。如果運營者阻止用戶使用他們的資金，委員會成員將確認他們的請求是否有效。

StarkWare還計劃實施一種Volition機制，用戶可以選擇是否需要在鏈上發送數據。它將數據可用性的決策從應用程序級別轉移到用戶級別，甚至對于單個交易也是如此。如果用戶想要在鏈上發送一個包含所有數據的高價值NFT，他們可以支付額外的成本來將其轉移到鏈上。這將通過ImmutableX和Sorare來實現。

新技術帶來新要求。Cairo是專門為STARK構建的一種圖靈完備的編程語言。它在性能和可擴展性方面更好，但這是非常新的。許多開發人員不熟悉它，這使得現有的應用程序很難遷移到StarkNet上。由Nethermind開發的Warp是Cairo transpiler的EVM。Warp允許將Solidity合約無縫轉換為Cairo。

Cairo語言的一個突破在于，它只允許一個驗證者使用一個證明來確認許多不同程序執行的完整性。

與OR的7天等待時間相比，StarkNet不僅有更快的提款窗口，而且底層架構也有所不同。StarkNet使用的是“無狀態”，你只需要在L1上存儲整個狀態的狀態根，用戶需要提供Merkle證明來訪問特定的狀態項。OR遵循一個“有狀態”的解決方案，其中每個狀態項都被記錄在鏈上。這將導致更大的狀態膨脹，并可能在未來被采用時會被證明不能很好地擴展。

就從可擴展性的角度來看，ZK - rollup比OR的性能更高，因為它們更有效地壓縮數據，這意味著提交給L1時，它們的“批次大小”更小。OR的每筆交易都將數據發布到以太坊L1上， StarkEx只發布到以太坊L1以反映每個賬戶余額。由于這種方法，dYdX與L1的交互僅為Optimism的20%，相當于大約減少了90%的費用。

StarkWare生態系統正在成長。隨著在StarkNet上部署無需許可，許多開發者都表現出了興趣。StarkEx的開放生態系統和豐富的文檔使開發人員很容易實現它。在StarkNet上進行DeFi Pooling是可能的。它允許用戶在L2上存在，而DeFI仍然在它誕生的L1上，許多令人興奮的東西正在被構建。StarkNet上已經出現了許多游戲和NFT游戲項目。

StarkNet將遵循與Optimism類似的路線：用一個序列器和有限的dapp白名單盡早啟動網絡，以控制啟動和限制風險。最終，StarkWare希望將生態系統發展成一個StarkNet“宇宙”，同時還將網絡、節點和基礎設施去中心化。多個L3會在L2之上。此外，額外的層(L4等)可以建立在L3上的分形分層解決方案。

StarkNet似乎解決了區塊鏈的三難困境：可擴展性、去中心化和安全；三者可同時發生。它展示了使用ZK -rollup擴展以太坊的前景。以太坊已經擁抱了一個以rollup為中心的未來，用戶在L2上交易，L1作為結算層。EIP-4488將進一步降低rollup的交易成本。擁有大量支持的StarkNet似乎是一個強大的L2未來競爭者，由于Cairo是一種不太受開發者歡迎的新語言，StarkWare能吸引多少人才還有待觀察。對于Validium，我們必須信任L2的數據可用性。盡管存在這些挑戰，StarkWare已經展示了如何使用STARK提供有效的解決方案來擴展以太坊。這是一個值得期待的項目。

Source：https://medium.com/coinmonks/starkware-building-zero-knowledge-scaling-solution-c0b930faab6a

Tags：STASTARARKSTARKstake幣值得長期持有嗎STARP價格Park StarStark Chain

SHIB