ARK:又一個L2解決方案將上線，StarkWare推出ZK Rollup擴容解決方案StarkNet

零知識證明研發機構StarkWare表示，其二層擴容解決方案ZKRollup“StarkNet”目前已經完成基礎構建，即圖靈完備框架Cairo、STARK軟件堆棧和二層擴容引擎StarkEx，之后將進行構建階段一至階段三。其中，階段一將支持單一應用Rollup“Single-AppRollup”，將使開發人員能夠在StarkNet上構建和部署自己的可擴展性應用程序；階段二將支持多應用Rollup“Multi-AppRollup”，支持在同一StarkNet實例上運行并訪問多個應用程序，這將實現不同應用程序之間的互操作性，以及降低Gas成本；階段三將支持去中心化Rollup“DecentralizedRollup”。

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

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

ARK基金創始人：比特幣是1600年代以來又一個新的資產類別:ARK基金創始人Cathiewood最近在MSCI主辦、CFAInstitute和萬得3C協辦的直播中表示，在互聯網發展的早期階段，很少有人想到它會和商業聯系在一起，因為早期的互聯網主要是為情報部門、國防部門和學術界服務的，直到1991年之前，大眾還不允許被使用互聯網。所以最初的互聯網理所當然的不存在支付系統，我們認為區塊鏈技術就是互聯網內生的支付平臺，而比特幣就是所有加密貨幣中的儲備貨幣，我們認為區塊鏈技術大部分的價值會在向少數幾種加密貨幣匯聚。至于以區塊鏈技術為核心的去中心化的金融幾乎已經發展出一個平行的金融服務生態系統，包括投資、租賃、衍生品，幾乎包含傳統金融服務的方方面面。區塊鏈技術還處于發展的初期，它風險很大，但我們相信對其生態系統的管控治理已經得到很大程度的改善，因為疫情之后加密資產的崩潰，以及很多投資者破產，使得對區塊鏈的管控更加完善。我們也看到越來越多的機構投資者開始投資比特幣，我們也知道比特幣的總體供應只有2100萬枚，而現在已經到了1900萬，所以它具備稀缺性的特征，使之可以被看成是數字黃金。我們認為機構投資者的介入是一劑強心劑，而且比特幣的價格跟其他加密資產并沒有什么相關性。因此，我們相信，比特幣是1600年代以來，我們發現的又一個新的資產類別。過去六個月，最讓我們驚訝的就是像特斯拉這樣的公司開始買入比特幣以分散持有現金的風險，這有可能是因為這些公司想在非洲拓展業務，而這些地區由于本國貨幣幣值不穩定，很難進行交易。[2021/3/26 19:19:28]

我們正在分四個步驟構建StarkNet：

動態 | PeckShield 安全播報: “假EOS”攻擊再出現 又一EOS競猜類游戲遭黑客攻擊:據 PeckShield 態勢感知平臺11月21日數據顯示：今天15:43 - 18:31之間，黑客（kuybupeykieh）向EOS競猜游戲合約（vegasgame111）發起攻擊，共計獲利數百個EOS，追蹤鏈上數據發現，為了防止資金流向被追蹤，該黑客采用多達幾十次的創建子賬號操作來順序轉移所獲資產。PeckShield 安全人員分析發現，該黑客利用的是“假EOS”漏洞實施攻擊，這一漏洞在10月份較為普遍，不過隨著多數開發者合約開發趨于規范，類似攻擊事件已經很少。一些較小規模的游戲還可能還存在類似漏洞，PeckShield在此提醒廣大游戲開發者和游戲玩家，警惕安全風險。[2018/11/21]

步驟0——基礎

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

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

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

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

日本又一交易所宣布延期業務:日本繼DMM Bitcoin加密貨幣交易所之后，DMM集團的加密貨幣交易所也宣布將延期其原定2018年春開始的業務，時間未定。其公告稱，該交易所正為在金融廳申請注冊做準備。[2018/5/10]

介紹

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

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

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

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

北卡羅來納州向又一家在美國出售未注冊證券的加密貨幣公司發出停止令:3月2日，自兩月前對Bitconnect簽署了停止令后，北卡羅來納州國務卿證券部對歐洲加密貨幣公司PowerMining Pool發布了臨時停止令，該公司同樣被認為在美國出售未經注冊的證券。據官方文件，PowerMining Pool采用了有問題的銷售策略，其在北卡羅來納州的活動違反了國家的“證券法”，其商業行為“直接威脅，并造成無法挽回的公共傷害”。PMP聲稱為比特幣出售“股份”，并代表其股東挖掘七種不同的加密貨幣。該公司的北卡羅來納州分支機構還使用了一系列方法來推銷這一銷售，其中包括在社交媒體平臺YouTube，Facebook，Instagram，甚至是本地渠道發布廣告，向投資者許以高額回報。[2018/3/7]

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

又一個區塊鏈相關ETF今日上市紐約證交所:Innovation Shares LLC公司的NextGen Protocol ETF（股票代碼：KOIN）今日在紐約證券交易所Arca交易所上市。截止到美國東部時間上午9:46（國內晚10:46），交易量達到2,100，價格為每股24.88美元。[2018/1/31]

步驟0—基礎

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

Cairo

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

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

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

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

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

StarkNet將讓Cairo在后臺運行。

STARK軟件堆棧

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

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

這項技術將成為StarkNet去中心化驗證層的基石，因此，作為StarkNet開發的一部分，我們將發布更多和增強的證明。

StarkEx

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

開發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在支持多應用程序匯總中的競爭優勢。

在此階段，StarkNet將是一個功能完整的框架，用于運行以太坊之上具有任意業務邏輯的多個應用程序，每個實例均由一個運營商運行。

運營商現在可以啟動StarkNet節點，應用程序開發人員可以在其上部署合同。從用戶的角度來看，StarkNet現在看起來和感覺都像以太坊，但規模更大。

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

StarkNet演進的最后一步是實現去中心化運營。

我們現在正在解決的，影響該階段的有意義的研發問題包括使用ZK-Rollups改善達成共識的機制，以及設計加密經濟機制以激勵去中心化StarkNet貢獻者和運營商以高效，公平，安全地運行。

結語

我們正在構建StarkNet，一種以太坊上的基于STARK的去中心化無許可L2ZK-Rollup產品，并且支持基于Cairo語言的通用計算。

StarkNet將使應用程序能夠在不損害安全性的前提下進行擴展，用戶支付合理的交易費，并且整個生態系統可以大幅增長并兌現其承諾。

Tags：ARKSTASTARSTARKark幣怎么樣future-starstarryskyStarkMeta

以太坊交易所