深度解析StarkWare：欲構建ZK「宇宙」？_ARK:STA

StarkWare是一家ZK公司，專注于為以太坊規模化構建基于ZK的rollup解決方案。他們的第一款產品StarkEx于2020年推出，并于2021年11月發布了具有更多功能的StarkNet。StarkEx是一個獨立的ZK-rollupSaaS產品，通過智能合約為某些應用提供特定的用例，如交易(dYdX)、NFT(ImmutableX,Sorare)和DeFi(DiversiFi)。StarkNet是下一個迭代，是一個無需權限、去中心化和完全可組合的網絡。可組合性指的是應用程序相互連接、協調和構建在彼此之上的能力。

技術

StarkWare構建了一個新技術，將數千筆交易壓縮成一個名為STARK的單一有效性證明，并提交給以太坊L1。與SNARK相比，STARK主要有兩個優勢：它不需要初始信任設置。有比SNARK更快的計算時間。由于所需的計算量更少，它可以將以太坊的可擴展性提高幾個數量級。

央行上海總部黨委副書記：深度參與數據安全、數字貨幣等領域國際規則標準制定:12月4日，在第三屆上海金融科技國際論壇暨首屆長三角金融科技大會上，中國人民銀行上海總部黨委副書記、副主任兼上海分行行長金鵬輝表示，加快推進金融機構數字化轉型，從決策運營、服務能力、用戶體驗多方面發力，打造數字核心競爭力，推動長三角數字生態協同共建，同時主動融入全球創新網絡，深度參與數據安全、數字貨幣等領域國際規則標準制定。他還表示，積極發展綠色金融服務，依托金融科技深化綠色金融產品和服務創新，聚焦當前綠色金融展業痛點，加強金融科技創新應用，比如探索應用型科技、科學核算碳排放，豐富和完善綠色信息體系。（澎湃新聞）[2021/12/4 12:50:53]

體系結構

幣記Bitget與啟航資本達成深度合作關系:據官方消息，幣記Bitget與啟航資本達成深度合作關系，共同拓展市場。

啟航資本于2019年進入區塊鏈市場，主要專攻ETH合約 ，BTC合約，FIL現貨，數字貨幣量化（現貨、合約）。致力于技術分析，資金分配 ，風險控制管理。自2021年2月份深入合作以來，跟單人數已超千人，日交易量上千萬usdt。管理資金更是超百萬u，實現利潤與風險雙向控制。所有策略都是實時更新，保障合作用戶實時跟上操作。

幣記Bitget總部位于新加坡，是一家擁有四國牌照的專注于衍生品的全球數字資產交易平臺，在日本、韓國、越南、加拿大等地設有辦事處。幣記Bitget的標桿產品為一鍵跟單，累計跟單數超過360萬，全球擁有150多萬注冊用戶，合約交易量位居世界前五。[2021/4/30 21:12:38]

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

廈門市將建數字疾控聯合實驗室 借助區塊鏈等加快數字技術與疾病防控業務深度融合:4月15日消息，近日，廈門市疾病預防控制中心與中國科學院計算技術研究所廈門數據智能研究院簽署戰略合作協議。雙方將共同建立“數字疾控聯合實驗室”，開展疾病預防控制和公共衛生領域的科學研究。據悉，“數字疾控聯合實驗室”將借助云計算、大數據、物聯網、人工智能、移動互聯、區塊鏈等新一代信息技術，加快數字技術與疾病防控業務的深度融合，推進疾控應用性科研高質量、快速發展，實現廈門市公共衛生服務安全保障體系以及防控模式的創新。（廈門日報）[2020/4/15]

StarkNet的L2節點(序列器)將執行每一筆交易，并定期向以太坊主網更新狀態。需要注意的是，StarkNet的交易最終性與L1綁定，這意味著L2節點必須同時驗證StarkNet和以太坊。StarkNet引入了一個涉及到以太坊主網檢查點的解決方案，使其能夠非常快速地在rollup端實現有效的終結。因此，所有L2節點都包含一個L1完整節點。此外，由于狀態轉換是由序列器「STARK-approved」的，從加密的角度來說，欺詐交易不可能在以太坊主網上被接受。這消除了存在于OR中的「挑戰」周期的必要性。所有重建StarkNet狀態所需的完整數據都發布在鏈上。數據可用性

油氣基金4月來最高漲23% 整體仍深度虧損:據Wind數據顯示，4月份以來，合格境內機構投資者（QDII）基金全線收漲，超九成基金實現正收益，其中，油氣基金表現最突出，在收益排名前十的QDII基金中，有7只是油氣基金，前四名均為油氣基金。表現最好的華寶標普油氣4月份以來大漲23%。盡管近期有所反彈，但是，油氣基金今年以來整體依然處于深度虧損中，多只QDII的凈值下跌超30%，更有基金跌幅達50%。（證券時報）[2020/4/14]

StarkNet使用Validium機制來實現數據可用性。它與ZK-rollup幾乎相同，只是它保持數據在鏈下，而ZK-rollup和OptimisticRollup(OR)保持數據在鏈上。Validium只在L1上發布有效性證明，同時保持數據在鏈下。這使得Validium能夠實現相當高的吞吐量，并降低每個交易的成本。在鏈下存儲數據的代價是，它需要對第三方的信任，這可能會阻止用戶訪問他們的余額。StarkWare的目標是通過數據可用性委員會(DAC)解決這個問題，該委員會由8個獨立成員組成，他們擁有交易的副本。他們還需要通過使數據在任何時候都可用來維護這些數據。如果運營者阻止用戶使用他們的資金，委員會成員將確認他們的請求是否有效。StarkWare還計劃實施一種Volition機制，用戶可以選擇是否需要在鏈上發送數據。它將數據可用性的決策從應用程序級別轉移到用戶級別，甚至對于單個交易也是如此。如果用戶想要在鏈上發送一個包含所有數據的高價值NFT，他們可以支付額外的成本來將其轉移到鏈上。這將通過ImmutableX和Sorare來實現。

動態 | 區塊鏈深度融入雄安新區建設發展 區塊鏈在雄安新區已有四大應用:中國雄安官網今日發布文章《動圖解丨看！區塊鏈在雄安“初顯身手”》，目前區塊鏈技術在雄安新趨已有四大應用，分別是：

1、工程項目資金管理，實現工程進度及合同透明管理、資金撥付穿透式管理、多銀行系統直聯等功能；

2、勞務工資實現穿透式發放，實現了建設者工資透明撥付，如果項目參與方未按約定按時發放建設者工資，區塊鏈智能合約會自動觸發代付機制，保障金會自動穿透式撥付至建設者工資卡中，實現建設者無感狀態下的智能支付保障。截至今年10月，區塊鏈資金管理平臺累計已為11萬人次建設者按時發放工資；

3、白洋淀水體污染治理，白洋淀水專項區塊鏈科研資金管理平臺實現項目可研經費的全流程穿透式管理；

4、政務服務創新實踐，各政府部門建立數據調用互信共認機制；區塊鏈非對稱式加密技術、公私鑰機制，確保公眾及政府部門數據資產安全。[2019/11/17]

Cairo編程語言

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

與OR的7天等待時間相比，StarkNet不僅有更快的提款窗口，而且底層架構也有所不同。StarkNet使用的是「無狀態」，你只需要在L1上存儲整個狀態的狀態根，用戶需要提供Merkle證明來訪問特定的狀態項。OR遵循一個「有狀態」的解決方案，其中每個狀態項都被記錄在鏈上。這將導致更大的狀態膨脹，并可能在未來被采用時會被證明不能很好地擴展。就從可擴展性的角度來看，ZK-rollup比OR的性能更高，因為它們更有效地壓縮數據，這意味著提交給L1時，它們的「批次大小」更小。OR的每筆交易都將數據發布到以太坊L1上，StarkEx只發布到以太坊L1以反映每個賬戶余額。由于這種方法，dYdX與L1的交互僅為Optimism的20%，相當于大約減少了90%的費用。生態系統

StarkWare生態系統正在成長。隨著在StarkNet上部署無需許可，許多開發者都表現出了興趣。StarkEx的開放生態系統和豐富的文檔使開發人員很容易實現它。在StarkNet上進行DeFiPooling是可能的。它允許用戶在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提供有效的解決方案來擴展以太坊。這是一個值得期待的項目。原地址

Tags：ARKSTARSTASTARKLympo Market TokenStarterCoinFireStarterstarknet幣價分析

DOT