加密貨幣交易所 加密貨幣交易所
Ctrl+D 加密貨幣交易所
ads
首頁 > ADA > Info

Starknet Alpha v0.11.0:開啟向 Cairo 1.0 過渡_STA:ARK

Author:

Time:1900/1/1 0:00:00

TL;DR

●?Starknetalphav0.11.0已經發布并在測試網上線。

●?你現在可以在Starknet測試網上部署Cairo1.0合約并與之交互。

●?Starknet上的計算成本便宜5倍。

●?主網升級到Starknetalphav0.11.0將首次進行治理投票,

●?這標志著過渡期的開始。

●?只有在測試網上運行幾周后,我們才能確保新系統順利運行,才能在主網上部署Cairo1.0合約。

介紹

我們很高興地宣布,期待已久的Starknetalphav0.11.0已在測試網上上線!為什么說這是Starknet邁出的一大步?在Starknetv0.11.0中,你可以部署和運行Cairo1.0智能合約。我們還引入了一個新的系統調用,允許將現有合約平穩過渡到Cairo1.0運行。

Cairo1.0在兩個不同方面改進了Starknet。首先,它通過提供更豐富的編程語言改善了開發體驗,該語言向Cairo引入了類型/泛型/特征/錯誤處理。其次,Cairo1.0在Starknet的去中心化進程中發揮了關鍵作用:Starknetalphav0.11.0中發送的Cairo1.0合約編譯為Sierra。Sierra保證每個合約的執行都是可證明的,這是實現去中心化Starknet的一個重要步驟。

安全公司:上周發生的15起安全事件造成約550萬美元的損失:金色財經報道,據CertiK官方推特發布消息稱,自上周五以來,記錄了15起安全事件,造成約550萬美元的損失。到目前為止,共發生17起Discord黑客攻擊事件、16起網絡釣魚攻擊事件和2起Twitter黑客攻擊事件。[2023/7/16 10:57:46]

此版本中的另一項重要改進是計算成本降低了5倍。這將使Starknet對計算密集型應用程序更加友好。詳情如下。

為Regenesis做好準備

Starknetalphav0.11.0標志著過渡時期的開始,這將為Starknet的Regenesis做準備。Starknet的Regenesis計劃是在幾個月前發布的,它的重點是從基于Cairo0的系統過渡到基于Cairo1.0的系統。

在過渡期間,現有的Cairo0合約(如果它們是可升級的)有機會維護它們的地址和存儲,并無縫地將它們的實現過渡到Cairo1.0(請參閱下一節)。

作為一個Starknet用戶,這意味著你只需要在你的賬戶的新Cairo1.0實現發布時升級你的錢包(你可以在任何時間升級到Regenesis本身)。預計不會出現停機,系統中的所有dapp將繼續正常運行。

HT短線上漲,1小時漲幅超8%:金色財經報道,行情顯示,HT短線上漲,1小時漲幅超8%,現報2.94美元,最高達2.96美元,日內由跌轉漲。行情波動較大,請做好風險控制。金色財經此前報道,孫宇晨今日發文稱李林弟弟李偉多次通過不正常手段大量獲取零成本HT并拋售,李林回應稱,希望火必提供證據,如果確認屬實個人賠付10倍的HT給火必公司。[2023/5/16 15:06:36]

在Regenesis之后,Starknet將在整個系統中停止支持剩余的Cairo0合約。這將提前進行溝通,開發者將有足夠的時間來遷移他們的合約。預計過渡期將持續幾個月,dapp開發人員已經可以開始將他們的實現遷移到Cairo1.0。在過渡時期結束時,Regenesis將會啟動。

順利遷移至Cairo1.0

隨著向Cairo1.0過渡,現有的Cairo0合約將被棄用,并且在Regenesis時將不再受支持。為了允許可升級的Cairo0合約繼續運行,并保持構建狀態,我們添加了一個新的系統調用-'replace_class'。可升級的合約升級到Cairo1.0沒有問題,但是底層代理(持有實際狀態的合約)將仍然停留在Cairo0。'replace_class'系統調用通過允許代理合約替換其底層類來解決這個問題,即保持相同的地址和存儲,但替換實現。

高盛:比特幣將是2023年全球表現最好的資產:金色財經報道,據blockworks在社交媒體發文披露高盛內部文件顯示,比特幣將會是2023年全球范圍內表現最好的資產,超過黃金、能源、標準普爾500指數、房地產、納斯達克100指數、以及10年期美國國債。[2023/1/26 11:30:55]

計算成本便宜了5倍!

目前,Starknet的交易費用有兩個主要組成部分:計算和鏈上數據。Starknet交易費用的計算元素是由在L1上驗證其證明的邊際成本決定的(詳情請參閱文檔)。

最初,我們認為2億Cairo合約證明步驟需要500萬Gas驗證,這導致我們天真的以為Cairo每個合約步驟需要0.05Gas。自此,我們轉向遞歸證明,這將大幅減少L1驗證成本(只有遞歸樹的根到達L1)。現在是時候更新我們原來的估算了-L2上的每個合約步驟成本將降低5倍,現在將花費0.01Gas。

這種成本的降低對于計算密集型應用程序來說意義重大,例如具有非本地簽名的帳戶合約。簡單交易的成本會略有降低(約5%)。在未來的版本中,我們將處理第二個組件:鏈上數據成本。一旦Starknet(又名Volition)引入鏈上數據的替代方案,將全面實現成本降低。

Web3游戲社區平臺AQUA獲得DIGITA 1000萬美元投資:9月28日消息,基于 Immutable X 的 Web3 游戲社區平臺 AQUA 宣布獲得來自對沖基金億萬富翁 Steve Cohen 旗下投資公司 DIGITA 的 1000 萬美元投資,該社區目前已推出了由社區驅動的 Web3 游戲資產交易市場。[2022/9/28 5:59:17]

Starknet治理首次投票

Starknet治理的第一階段已經啟動(更多細節在這里)。社區成員現在可以通過一個額外的渠道,即對協議更改進行投票,參與優化Starknet。

Starknet治理第一階段將集中于Starknet協議升級。每一次Starknet版本升級都將首先部署在測試網上;投票者將有6天的時間來檢查和測試在Goerli上運行的升級版本。在此期間,將開放一個Snapshot提案,社區可以投票決定是否批準主網部署新版本。

如果提案在6天的投票期間獲得多數“贊成”票,則提案通過,Starknet主網將相應升級。

Starknetalphav0.11.0是Starknet第一個進行投票的版本。Starknetalphav0.11.0的投票將從測試網部署開始時計算,開放6天。

報告:中東北非地區加密市場增長全球最快,阿聯酋一年翻10倍:10月11日消息,Chainanalysis報告顯示,中東和北非地區的加密貨幣市場是世界上增長最快的市場。2021年7月到2022年6月之間,中東和北非地區擁有超過9%的全球加密貨幣交易份額。阿聯酋是該區域增長最為迅猛的國家,該國加密貨幣市場今年增長了10倍。(bitcoinist)[2022/10/11 10:31:10]

Cairo1.0和Sierra

Sierra是一種可以編譯為Cairo字節碼(CASM)的中間表示層。在Starknetalphav0.11.0之前,開發者會將Cairo0編譯到CASM中,并將結果發送到Starknet測序器。在Cairo1.0中,開發者將其代碼編譯到Sierra,并將這個中間表示發送到排序器。隨后,定序器將其編譯到CASM。Sierra被保證編譯為“安全的CASM”,即CASM的一個子集,它不會失敗,每一次執行都是可證明的。這保證了排序器將能夠收取費用,即使是恢復的交易,防止DOS。有關更多信息,請參閱文檔。

Starknetalpha0.11.0將使用Cairo1.0alpha.6版本。該版本接近Cairo0的特性,所有的Starknet系統調用都已經存在。

請注意,Starknet排序器使用固定的編譯器版本,這意味著語言改進可能不會立即在Starknet中可用,只有在Starknet版本更新后才可用。具體來說,雖然影響Cairo1.0→Sierra編譯的改進可能會立即生效,但Sierra→CASM編譯器的更改(更多細節請參閱文檔)只會在等待Starknet升級后才會更新。

還有什么新進展?

新交易類型-Declarev2

我們為Cairo1.0類添加了一個新的交易類型。這個新的'declare'交易版本類似于現有的'declare',但有兩個重要的區別:

現在發送的類對象表示Sierra而不是CASM,即類的語義由Sierra表示定義。

用戶還對編譯后的類哈希進行簽名。在Sierra→CASM編譯被證明是Starknet操作系統的一部分之前,這是至關重要的一步。

要了解更多細節,請參閱文檔。

從開發者的角度來看,體驗還是一樣的。編寫完Cairo1.0代碼后,可以使用CLI聲明該類。

請注意,最初,'declarev2'交易將不被Starknet主網接受。在測試網上試用一段時間后,新的交易類型將在主網上啟用,Cairo1.0類也將可用。

Poseidon來了

Poseidon是一個系列哈希函數,設計用于非常有效的代數電路。因此,它們可能在ZK證明系統(如stark和SNARKs)中非常有用。從Starknetalphav0.11.0開始,開發者將能夠使用Poseidon。此外,作為Starknet協議一部分的一些哈希計算將過渡到Poseidon(具體來說,類哈希,編譯類哈希,以及部分狀態承諾將使用Poseidon,詳情請參閱文檔)。在未來,更多的內部組件將過渡到使用Poseidon哈希函數。

在Starknet中使用的確切版本和參數可以在這里找到。

各種各樣的變化

像之前的Starknet版本一樣,升級也會對我們的api和其他低級組件產生影響。下面我們列出了這些,并說明了所做的具體更改:

●?不再支持v0調用/發起交易

●?L1→L2消息現在需要費用。也就是說,Starknetsequencer不會處理零費用發送的消息

●?鏈上數據格式改變

●?API更改:

●?添加了一個新的`get_compiled_class_by_class_hash`端點

●?`get_class_by_hash`返回Cairo0/Cairo1.0類

●?`get_state_update`有一個用于替換類的新部分,并且聲明分為Cairo0和Cairo1類。

●?`estimate_fee`和`simulate_tx`現在可以跳過驗證

●?新的StarknetJSON-RPC版本

接下來會發生什么?

現在所有與Cairo1.0相關的基礎設施都已就緒,你可以期待:

對Cairo1.0語言的進一步改進;

性能改進:正如承諾的那樣,我們繼續朝著顯著提高TPS的方向前進。路線圖中的下一步是過渡到Rust序列器,它是在Apache2.0許可下開發的。新的排序器將使用RustCairoVM和Papyrus全節點,形成性能三重奏;

OffchainDA!在該版本中,我們處理了交易成本的計算組件。在即將推出的版本中,我們將處理鏈上數據成本,這是目前平均交易的主要成本。

Tags:STAARKSTARKSTAR星鏈幣starl未來價格Ark Of The UniverseSTARK價格ARCSTAR

ADA
深入了解Polygon zkEVM:整體架構與交易執行流程_ROLL:polkadotjsplus

PolygonzkEVM系列文章的第一篇,簡要的闡述了polygonzkEVM的的整體架構和交易執行流程,并且分析了polygonzkEVM是如何實現計算擴容的同時繼承以太坊的安全性的.

1900/1/1 0:00:00
新設計:基于ordinals的銘文穩定幣系統_穩定幣:DIN

1前言 穩定幣一直是數字貨幣的一個重要的需求點,錨定法幣的穩定幣,由于背后抵押物存在風險,例如近期usdc的不穩定,硅谷銀行的破產,直接導致了usdc脫錨.

1900/1/1 0:00:00
淺析BTC Stamps:比特幣NFT的新風口_AMP:STAMP

比特幣NFT的世界里出現了一股新的風向。一種叫作BTCStamps的全新比特幣NFT實現方式已經誕生,且在其問世的頭20天內,通過該方式所鑄造的NFT數量要遠遠超過我們已較為熟悉的?Ordina.

1900/1/1 0:00:00
MarsBit投融資周報 | 總資金額超3億美元,再質押協議EigenLayer完成5000萬美元_TUR:Rentible

據MarsBit統計,3月25日至3月31日期間,加密市場共發生29筆投融資事件,其中基礎設施領域6筆、DeFi領域5筆、資管領域2筆、鏈游和NFT領域3筆、Web3領域6筆.

1900/1/1 0:00:00
零知識證明正在改變以太坊的游戲規則_以太坊:TYPE

從區塊鏈層面出發,以太坊生命的初始階段是單一的。這意味著在最初的幾年里,Layer1以太坊主網全權負責執行自己的交易,促進自己的網絡安全,并為自己的數據可用性提供服務.

1900/1/1 0:00:00
拆解Web3護照(錢包)組件模塊堆棧_WEB:web3域名值錢嗎

在過去的幾個月里,我一直在深入研究Web3護照,并盡可能多地測試。我開始意識到它們在構建上的一個共同模式,并一直試圖弄清楚哪些組件構成了護照/錢包.

1900/1/1 0:00:00
ads