STA:StarkNet：基于 STARK 的免許可型 L2 ZK-Rollup方案_ARK

我們的StarkNet開發分為4個階段：

筑基行星：只支持單一App的Rollup星群：支持多App的Rollup宇宙：去中心化的Rollup我們預計在幾個月內部署好“行星”，并在2021年底之前完成“星群”和“宇宙”的構建。

介紹

我們正在構建的StarkNet是一個基于Stark技術的去中心化L2ZK-Rollup方案，支持在以太坊上的通用計算，具有免許可性和抗審查性。該方案是使用圖靈完備的Cairo語言編寫的。一個免許可型L2Rollup可以滿足開發者、用戶和StarkNet節點的所有期望：開發者可以根據自己的商業邏輯構建應用并部署到StarkNet上。用戶可以發送交易到StarkNet上執行，就像和以太坊交互那樣。StarkEx的節點和參與者將受到密碼學貨幣的經濟激勵，來確保網絡高效公平地運行。所有StarkNet交易將會被定期打包處理，提供STARK證明來證明其有效性，并在以太坊上進行驗證。與驗證以太坊事務的計算成本相比，驗證STARK證明所需的計算成本要小得多。因此，StarkNet可以將以太坊的可擴展性提升好幾個數量級。由于所有StarkNet狀態轉換都將由STARK證明來證明，只有有效的狀態轉換會被以太坊接受。重構完整StarkNet狀態所需的全部數據都將在鏈上發布。任何人都能運行他們自己的StarkNet節點。這些特性會讓StarkNet獲得堪比以太坊的安全性和免許可性。我們的開發工作持續了3年，并且在將“月亮數學”轉化為以太坊上高效的生產級軟件方面取得了一些重要里程碑。我們的做法是先解決難題，構建核心技術，然后逐步投入生產。我們將繼續通過這種方式構建StarkNet，直至最后階段。

觀點：比特幣挖礦有可能將多余的能源貨幣化:金色財經報道，Satoshi Action Fund創始人Dennis Porter在社交媒體上表示，自2012年以來，負電價已呈爆炸式增長。隨著可再生能源并入電網，這一問題將繼續惡化。比特幣挖礦有可能將多余的能源貨幣化，從而為納稅人提供更便宜、更可靠的電力。[2023/8/13 16:23:27]

筑基

我們已經為StarkNet打下了一些基礎。

Cairo

Cairo是圖靈完備的高級編程語言和框架，可以為通用計算生成STARK證明。應用開發者可以使用Cairo定義任何商業邏輯，在鏈下生成證明，并在鏈上進行驗證，而無需自己編寫復雜的“電路”或AIR。Cairo已在主網上線，向所有開發者開放。近幾周內，我們將在以太坊公共測試網上發布Cairo的通用證明服務的alpha版本。通過該服務，開發者可以使用Cairo構建自己的應用，實現他們想要的一切商業邏輯。他們會將自己的Cairo代碼發送至GPS來生成證明，再在鏈上進行驗證。GPS可以使用單個證明來證明多個獨立應用的執行完整性，讓這些應用可以分攤證明驗證的gas成本。Cairo和GPS都是StarkNet的基礎。我們決定將二者開放給外部開發者，讓他們早些接觸StarkNet技術。這樣一來，開發者不僅可以開始在StarkNet的基礎上進行構建，還能影響StarkNet的發展。我們會基于開發者社區的需求和反饋繼續開發Cairo。我們會引入新的功能、語法和能夠提高其可用性的內部插件來強化該語言。我們會繼續開發并改進Cairo工具：編譯器、跟蹤器/調試器以及與通用IDE的集成。StarkNet也會在底層運行Cairo。

加密交易平臺提供商WonderFi明年將通過Bitbuy提供股票交易服務:9月29日消息，加密交易平臺提供商 WonderFi 計劃通過其收購的加密交易平臺Bitbuy為客戶提供股票交易。Bitbuy預計將于2023年第一季度投入使用，將提供對美國股票、交易所上市證券和ETF的部分交易和投資。此前報道，WonderFi在1月份以2.06億加元（1.618億美元）的現金和股票收購了Bitbuy。[2022/9/29 6:02:40]

STARK軟件棧

我們已經開發了整個生態系統中最強大的證明系統。這個系統已經在主網上線數月之久。我們還開發了開源證明器ethSTARK。ethSTARK不僅在速度上比任何證明器都要快20倍，而且提供抗量子計算的零知識簽名。我們的可擴展性實效包括，在主網上使用單個證明處理30萬筆交易，在Rollup吞吐量上創下了高達3000tps的世界記錄。在此過程中，我們同樣在Rollup的gas效率上創下每筆交易315gas的世界紀錄，比以太坊L1上的交易便宜幾個數量級。ethSTARK將成為StarkNet去中心化證明層的基石。因此，作為StarkNet開發的一部分，我們還將發布更多增強型證明器。

香港證監會：支持元宇宙、NFT、GameFi創新，積極探索適當的代幣化資產監管框架:金色財經報道，CrossSpace創始人0xLeon發推稱，在香港金融科技周活動中，香港證券及期貨事務監察委員會（SFC）副行政總裁兼中介機構部執行董事梁鳳儀表示，SFC因為從2018年采取了嚴謹的監管架構，避免了很多負面事件在香港發生，但SFC會支持創新與發展，尤其在元宇宙、NFT（藝術）、GameFi方面，香港要明確的支持，香港也在積極探索適當的代幣化資產監管框架。

最初SFC覺得行業很不成熟所以限定只有專業投資者可以交易虛擬資產。4年過去了，投資者有了更多的知識和經驗。整個生態也更成熟，很多國際金融機構都已經進入這個生態。監管也更有經驗去監管交易所和其他相關機構。所以是時間去review是否可以逐漸向個人投資者開放。

據此前報道，香港特區政府發表虛擬資產政策宣言。香港證券及期貨事務監察委員會將會就新發牌制度下零售投資者可買賣虛擬資產的適當程度展開公眾諮詢。對于可否在香港引入虛擬資產交易所買賣基金（ETF），政府抱持歡迎態度。政府對于日后檢討代幣化資產的產權和智能合約的合法性，抱持開放態度，以便利其在香港的發展。香港金融管理局稍后會就穩定幣的監管制度發布諮詢結果和下一步工作。[2022/10/31 12:00:50]

StarkEx

基于Cosmos的互操作協議Persistence與Axelar Network合作實施跨鏈消息傳遞:9月15日消息，基于Cosmos的互操作協議Persistence與通用互操作性平臺Axelar Network達成合作，以實施跨鏈消息傳遞，允許DApp用戶與其它數字資產或協議無縫交互。[2022/9/15 6:57:30]

StarkEx是我們的L2可擴展性引擎。2020年6月以來，StarkEx就一直在為主網上的DeversiFi用戶提供服務。接下來幾周，StarkEx將開始支持dYdX和ImmutableX。StarkEx可以處理復雜的交易邏輯以及付款。在StarkEx的開發過程中，我們也親自試用了自己開發的工具，并測試了其是否能滿足現實世界的需求。沒有什么比實際需求和用戶更能推動工具不斷走向成熟。這也幫助我們了解了生態需要我們去解決什么問題，如，與錢包和區塊瀏覽器的集成。StarkEx是使用基于STARK的ZK-Rollup提高應用可擴展性的活生生的例子，也是第一個在主網上線的采用Cairo語言編寫的應用。另外，它也是運行在StarkNet上的應用之一。

專家：5G技術將推動區塊鏈和元宇宙行業發展:8月13日消息，印度將于本月開始推出5G，該技術必將對向消費者和企業提供服務的方式產生重大影響。

專家們認為，5G將成為在貿易融資、物流、醫療、教育等多個方面廣泛采用區塊鏈技術的潛在推動者。區塊鏈Infra自動化平臺首席執行官和聯合創始人Ravi Chamria表示：“4G不能完全滿足這個生態系統對延遲和密度的要求。5G不僅旨在提高速度和延遲，還允許以接近驅動的方法來幫助分布式和去中心化的應用生態系統。”例如，在區塊鏈中使用5G的一個實例可能涉及車輛網絡，以實現交通信息的共享。

專家表示，區塊鏈加上5G有可能顛覆電信行業。加密貨幣投資平臺Mudrex首席執行官兼聯合創始人Edul Patel表示：“區塊鏈以透明度為基礎，可以防止跨境結算帶來的消費者成本上升，5G將確保國際漫游和跨境手機網絡的兼容和有效。”

此外，元宇宙行業發展也將受益于5G技術。（Indian Express）[2022/8/13 12:23:42]

展望未來

行星：只支持單一App的Rollup

在該階段，開發者可以在StarkNet上構建并部署他們自己的可擴展應用。每個StarkNet實例都能運行一個應用。不同的實例可能會運行不同的應用。StarkNet架構包含以下部分：

為任意Cairo邏輯生成STARK證明、然后提交證明并在以太坊上驗證所需的機制與L1以太坊交互：L1代幣的存取、鏈上數據的發布、保護用戶免受惡意StarkNet運營者攻擊的逃跑機制L2用戶余額以及應用存儲項的管理開發者只需專注于根據自己的商業邏輯構建應用，然后正式上線：在StarkNet上部署并大規模運行。我們之所以能構建通用計算可擴展ZK-Rollup，主要依賴于以下兩點：

通用型圖靈完備的編程語言Cairo我們強大的STARK技術，可以將大量計算捆綁到一個證明中

星群：支持多App的Rollup

該階段將支持多個應用在同一個StarkNet實例上運行，并訪問同一個的全局L2狀態。這樣一來，不同應用之間將具有互操作性，而且規模經濟也有助于降低gas成本。強大的STARK棧Cairo和GPS增強了StarkNet在支持多AppRollup方面的競爭優勢。在這一階段，StarkNet將成為一個功能完備的框架，可以在以太坊的基礎上運行多個商業邏輯不同的應用，每個實例都由一個單獨的運營者來運行。運營者可以運行StarkNet節點，應用開發者可以在上面部署自己的合約。從用戶的角度來說，StarkNet感覺上跟以太坊差不多，但是在可擴展性上強于以太坊。

宇宙：去中心化Rollup

StarkNet發展的最后一步是實現去中心化運營。關于該階段，我們現在正在解決一些有趣的研發問題，包括：使用ZK-Rollups來改進共識機制，以及設計密碼學經濟機制來激勵去中心化StarkNet貢獻者和運營者高效、公平且安全地運行。

總結

我們正在構建StarkNet。StarkNet是一個基于Stark技術的去中心化L2ZK-Rollup方案，具有免許可性，支持基于Cairo語言的通用計算。StarkNet可以在不損害安全性的情況下提高應用的可擴展性，幫助用戶節省交易費用，并促進整個生態系統迅猛發展、實現其承諾。我們誠摯邀請開發者社區與我們一起踏上這一征程。

Tags：STASTARKSTARARKQuantum Resistant LedgerSTARK價格cut幣跟starl幣ARKM幣

以太坊交易