ARK:StarkWare：探索低成本計算的用例_stars幣最新消息

Starknet帶來哪些新用例，開發者應如何善加利用？

高昂的計算成本阻礙區塊鏈的普及和用例以太坊L2RollupStarknet可實現低成本計算新用例：日常交易、改進的預言機、全鏈游戲等Starknet已在主網上線，處理了數百萬筆交易EIP-4844集成有望進一步改進和降低成本Realms、Influence和Dojo等項目致力于在Starknet上開發區塊鏈游戲AI機器學習與可驗證推理、鏈上模型集成和可驗證訓練集成的可能性Starknet的未來專注于性能、用戶體驗、提升吞吐量、減少延遲和降低費用開發人員可以通過Starknet之書來了解Cairo并在Starknet上進行構建2021年牛市每個人都在討論加密貨幣并在以太坊上發起數百萬筆交易時，gas價格高達200gwei甚至更高。也就是說，如果你要在以太坊上轉賬10USDC，gas費用可能就需要花費50多美元。這并不劃算。

隨著越來越多新用戶進入區塊鏈，區塊空間的需求猛增。以太坊上的gas價格飆升，暴露了單體區塊鏈的局限性。大眾需要更好的解決方案，但技術還沒有準備好。

為解決這個問題，「二層」解決方案出現了向模塊化設計的轉變，這是一組建立在基礎區塊鏈上的技術，可以提高可擴展性和成本效益。Polynya的文章稱，「所有有價值的區塊鏈在未來幾年都會以某種方式擺脫純粹的單體鏈，比特幣這種不需要擴展性的除外。」

某巨鯨地址10小時前將32700枚USDC換成23700枚LBR:金色財經報道，據Spot On Chain監測，據稱是LBR最大的個人持有者0x130，10小時前以1.38美元的價格將3.27萬枚USDC換成了2.37萬的LBR。其他交易者進行了許多拋售，因此價格下跌了12%[2023/6/25 21:58:32]

Starknet有效性證明Rollup大大降低了計算成本，是L2解決方案的領軍者。在本文中將探討高昂的計算成本如何阻礙了區塊鏈，再詳細研究通過Starknet的低廉計算成本可能實現的幾個新用例。

以太坊L2

在以太坊上已經開發出各式各樣的L2，主要劃分成三種解決方案：樂觀證明、零知識證明和狀態通道。

擴容證明的優勢在于這些方案的安全性源自以太坊L1。但它們同時提供比主網更快的交易速度和更低的執行成本。通過在L1鏈下完成計算實現該優勢，只需要定期將L2狀態打包發送到主網上。

什么是Starknet？?

由StarkWare開發的Starknet是采用STARK加密系統降低計算成本的有效性證明方案。

目前，Starknet主網的交易成本已經遠低于以太坊。在v0.13.0版本中引入Volition有望進一步降低Starknet交易成本。目前Starknet主要交易成本的95%來自以太坊L1交易成本。除引入Volition外，一旦完成EIP-4844在L1實現，團隊也將盡快推進升級調整。鑒于上述兩項升級。預計交易成本將顯著降低。

香港SFC要求DeFi項目需要持牌并受監管，DEX涉及虛擬資產也需要申請牌照:4月12日消息，香港證券及期貨事務檢查委員會中介機構部臨時主管蔡鐘輝在今天的“2023香港Web3嘉年華”上表示，DeFi項目需要受到SFC的監管，自動交易服務也是屬于SFC監管之列，去中心交易平臺如果涉及到虛擬資產，也需要申請牌照；一些DeFi協議名義上是去中心化的，現實中少量開發方持有大量治理Token，需要分析其實質性而不是表面的說法。[2023/4/12 13:58:10]

高昂計算成本帶來的局限性

除了代幣轉賬費用高得離譜之外，高昂計算成本還伴隨著其它問題。現如今仍有許多應用程序因高昂計算成本而受到限制。且隨著區塊鏈技術不斷發展，復雜計算的需求也在增加。高昂計算成本限制了去中心化應用的增長和采用。例如：

日常交易：「加密貨幣即現金」的期望尚未實現。拋開監管不確定性外，缺乏主流日常采用的關鍵原因之一是高昂的交易費用，沒人愿意為一杯2美元的咖啡支付1美元交易費用。預言機：鑒于其自身固定的設計和原則，區塊鏈無法檢索鏈下現實生活的數據。為了獲取諸如股票價格、天氣、體育比賽結果等數據，采用了稱為預言機的特殊應用程序。預言機定期在鏈上發布數據，智能合約可以檢索這些數據。但由于過高的交易成本，預言機無法定期在鏈上發布數據，通常要間隔很長時間發布。獲取的鏈上數據變得過時，并可能導致智能合約做出錯誤決策。這就造成無法提供與Web2相媲美的交易體驗。此外，由于高昂的執行成本也讓任何類型的數據聚合或額外計算都變得難以企及。治理：鏈上治理或鏈上投票有效地讓決策過程變得透明和去中心化。目前來說，要進行鏈上投票，選民需要通過發送交易來投票。然而，要實現去中心化治理，就必須頻繁且迅速地做出有效決策。而由于計算成本高昂，投票太貴了，所以大家都不投票。鏈上投票成了一種低效的投票系統。許多項目也因此選擇了鏈下治理，破壞了區塊鏈原本的目的。游戲：說到鏈游，就會想到曾風靡一時的AxieInfinity。在SkyMavis開發的這款游戲中，游戲角色Axie以NFT的形式出現。然而，游戲邏輯的運行方式和傳統游戲類似，都是在中心化的服務器上。游戲要求玩家在短時間內做出許多決定，每個決定都代表著某種交易。而根據玩家的決定，游戲情節會發生變化，這需要大量的計算。這種昂貴計算的限制導致像CryptoKitties和AxieInfinity這樣的游戲只具有有限的鏈上組件。然而，這些游戲通過將自己宣傳為「Web3鏈游」，在巔峰時期實現了數十億美元的市值，但其實不能代表真正的區塊鏈游戲。通過低成本計算成本打開新用例的大門

Coinbase要求47萬美元支付內幕交易案的費用和成本:金色財經報道，在一封日期為 4 月 3 日的信中，代表 Coinbase 的律師要求提供 47 萬美元，以支付對 Coinbase 前雇員 Ishan Wahi 和他的兄弟兼同伙 Nikhil 進行調查所產生的成本和費用。兩人都被指控犯有內幕交易和電信欺詐。總金額將屬于《強制性受害者賠償法》的范疇，該法規定受害者有權獲得參與某些犯罪行為包括電信欺詐-的調查所產生的費用和收入損失。

其中，超過40萬美元將用于支付司法部調查的大陪審團向 Coinbase 發出的 5 張傳票，共要求提供 65 份文件和信息（包括子部分）。此外，該交易所還要求為不得不與司法部特別調查和安全部門一起工作的員工賠償 6 萬美元的工資損失。[2023/4/8 13:51:12]

然而，如果可以實現低成本計算，就可以開啟一組新的區塊鏈用例。Starknet已在主網上線，每天處理數萬筆交易。如前所述，一旦集成了EIP-4844，交易成本還會下降幾個數量級。

來看看Starknet上的低成本計算所支持的一些用例。

負擔得起的交易和帳戶抽象

隨著低成本鏈上計算的引入，預言機與現在相比會大不相同。

首先，頻繁更新預言機喂價變得可行，因為單個交易的成本降低了很多。數據投送更加準確，且為用戶提供更多用例，以根據這些數據建立市場。

Bitwise致投資者信十大預測：加密市場復蘇將呈“U 型”而非“V 型”:金色財經報道，Bitwise發布致投資者信對2023年進行了10項預測：

1. 加密市場復蘇將呈“U 型”而非“V 型”。

2. 加密貨幣最初承諾的（有效）免費和（極）快速交易最終將在2023年成為現實。

3. Coinbase的市值將比2022年底的水平增長100%。

4. 在“上海升級”（最終允許質押的ETH提款）之后，質押的ETH數量將增加50%或更多。\u2028

5. ETH將在2023年通縮，總流通供應量將至少下降1%。\u2028\u2028

6. 加密貨幣與股票市場的相關性將急劇下降，降至0.5以下（并可能降至0.25）。\u2028\u2028

7. 至少一項重要的加密立法將在2023年通過美國國會。\u2028

8. USDC將超過USDT（Tether）成為世界上最大的穩定幣。\u2028\u2028

9. 一家加密貨幣獨角獸公司（10億美元估值以上）今年將倒閉。\u2028\u2028

10. Uniswap的交易量將在2023年第四季度超過Coinbase。[2023/1/13 11:08:59]

由于Starknet是一條Rollup鏈，需要定期在以太坊主網上發送承諾來更新Rollup的狀態。這種承諾是用戶在L2上支付交易費用時的主要成本。但Rollup必須只把最新狀態提交給L1。在單個區塊中多次覆蓋同一個存儲槽不會產生高存儲成本。在預言機的用例中，如果某些變量在同一承諾內頻繁更新，L1成本仍等同于單次寫入，因為只有最終狀態作為調用數據發布到主網。

比特幣礦工儲備跌至191萬枚BTC，創12年新低:金色財經報道，IntoTheBlock披露截至10月12日下午的數據顯示，比特幣礦工儲備跌至191萬枚BTC，創近12年以來新低。

此外，自2022年初以來，比特幣礦工儲備僅有46天高于200萬枚BTC。比特幣礦工儲備于2010年2月19日首次超過200萬枚。（Decrypt）[2022/10/13 10:33:14]

由于執行成本較低，計算信息流變得可行。在傳統的金融領域，金融應用程序需要利用復雜的數據流，包括風險、收益率和波動率。像Pragma這樣的團隊正在努力將這些數據流引入Web3。Pragma已經在Starknet測試網上有兩個計算數據流，一個波動率指數和一個收益率曲線。

存儲證明的應用也將改變預言機的格局。存儲證明是一種跟蹤存儲的密碼學方法。使用這些加密承諾，就有可能無需信任地證明某個特定狀態在某個時間存在。驗證這些證明，就需要計算，而低廉的計算成本會提高用戶體驗。有了存儲證明，就有可以去中心化的方式在不同的鏈之間傳輸信息，提供區塊鏈的歷史數據以及更多信息。想要深入了解存儲證明，請看這篇文章。

轉向全鏈游戲邏輯

游戲市場巨大。美國是最大的游戲業市場，每年從游戲從獲得的收入高達540億美元。區塊鏈游戲最近成為了焦點，但正如之前討論的，這些游戲還是「Web2.5」，而不是真正的「Web3」游戲。

區塊鏈游戲應該滿足：

游戲邏輯完全上鏈，低廉的執行成本至關重要。

對于Web3游戲來說，一個最基本的「試金石」是，如果游戲背后的開發者突然消失了，游戲是否可以繼續生存。這與智能合約在鏈上的生存方式非常相似；無論智能合約的開發者是否仍然活躍，游戲都會繼續。如果基本的游戲機制和規則都在鏈上，就可以在游戲邏輯上建立不同的界面。另一方面，激勵開發者使用游戲特定的代幣來構建。盡管目前沒有大型游戲完全建立在鏈上，但Starknet上多個項目都在朝著正確的方向努力，例如Realms和Influence。

像Dojo這樣的生態系統開發者正在努力為Starknet生態系統提供開源的實體組件系統框架。ECS框架是一種基本的設計模式，用于以模塊化的方式構建游戲。例如，就《馬里奧卡丁車》而言，馬里奧和汽車是實體，汽車的位置和速度是組件，汽車碰撞的邏輯作為一個系統來實現。游戲開發者將使用這些組件來構建游戲。隨著生態系統的發展，就需要更多這樣的項目和游戲開發者加入到Starknet中。

透明的AI應用

隨著最近人工智能的熱議，似乎人工智能很快就可能集成到數字化實體中。雖然將AI模型部署到鏈上并不是一種確定性的選擇，但這種做法有許多好處。對于這些應用場景，低成本計算是必不可少的。

可驗證推理意味著模型是在中心化服務器上預訓練的。訓練一旦完成，模型權重就可以在鏈上發布。完成此操作后，輸入可以傳遞到鏈上模型，并且輸出會保持透明，用戶可以證明模型生成了特定輸出。如果計算成本足夠低，模型就可以在鏈上運行并生成輸出，鏈上模型集合得以實現。匯總多個模型的輸出，形成機器學習應用中常用的「集合」模型。可驗證訓練意味著模型可以進行鏈上訓練，保持可驗證的良性訓練證明，而不受外部因素的影響。這可能是上述中計算量最大，也是最不可能快速投入使用的應用。現如今，使用巨大的計算資源在GPU上訓練大型AI和ML模型需要數天。與此同時，訓練時所生成?SNARK/STARK證明也是一筆開銷。此外，Cairo專門在CPU上運行。

數據來源：https://www.moduluslabs.xyz

Giza和ModulusLabs是主要研究團隊，致力于采用ZK證明將AI引入鏈上。

Starknet的未來是什么？

在短期內，Starknet路線圖將側重于性能和更優用戶體驗。預計到2023年第三季度提高吞吐量、減少延遲、降低交易成本。關于發展路線圖的詳細內容，請參考路線圖博客。

為STARK證明設計的Cairo不僅是適配代數證明系統優勢的最佳選擇，同時確保高效的計算和驗證過程。

為可擴展性而設計的Starknet能夠確保在不犧牲安全性或去中心化的前提下適應指數級別的增長。

結論

隨著圍繞「模塊化區塊鏈」領域的深入研究，「引入十億用戶」的目標也越來越近。有了Starknet，計算成本變得低廉，而且會越來越便宜。

不斷更新的Starknet之書為開發者開啟Cairo之旅提供的絕佳的起點，第0至2章介紹了各種各樣的主題。

Tags：ARKSTARSTASTARKark幣價格STAR1stars幣最新消息StarkNet

BNB