以太坊交易所 以太坊交易所
Ctrl+D 以太坊交易所
ads
首頁 > 瑞波幣 > Info

詳解Cairo1.0公開版:如何改變StarkWare的編寫范式?_STARK:SHARK

Author:

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

1?月?5?日,StarkWare?宣布正式推出編程語言?Cairo1.0?公開版本,正式取代為期兩年的測試、預覽版本,也標志著使用該語言在?StarkNet?上編寫智能合約已經成為可能,同時也會兼顧高效的執行效率,成為?ZK?系?Layer2Rollup?技術派的里程碑事件。

此次更新的功能可歸納為三點,分別是智能、效率和安全。

更為智能:實現?Sierra?設計,確保?Cairo?代碼可證明,StarkNet?智能合約將在下一個版本中實現。

更加高效:跟進?Rust?語言的強類型、所有權機制和借用等設計思路,兼顧執行效率和編寫規范性;

更為安全:保持圖靈完備性,STARK?機制的安全性由數學證明來保證;

Cairo1.0?公開版的工作流程將與以往有所不同,最主要的開發方向將是在智能合約編寫能力和開發者友好方面進行持續改進。

兩全:走向?ZK-EVM

在本輪的?Layer2?纏斗中,ZK?系中的?STARK?和?SNARK?成為兩大主流路線,但?EVM?兼容性和執行效率也成為各方關注的焦點,更好的兼容性將會獲得以太坊主網的安全性加持,而較高的執行效率則會加快L2自身的執行速度。

Coinbase資助原告就美財政部制裁Tornado Cash一事提交了簡易判決動議:金色財經報道,Coinbase首席法務官paulgrewal.eth發推表示,此前Coinbase宣布資助由六人對美國財政部制裁Tornado Cash的行為提起的訴訟,現在原告提交了一份簡易判決動議,要求法院重新開放TornadoCash。其主要論點包括:Tornado Cash不是外國國民或“人”,而是軟件;根據法律規定,政府只能制裁一個人的財產;制裁違反了第一修正案等。[2023/4/6 13:47:28]

但這其中存在一個悖論:EVM?兼容性和執行效率往往無法兼得,越好的L1兼容性則會降低L2執行效率,反之則存在安全性問題。

因此?StarkWare?希望能使用?Cairo?語言作為兩者之間的黏合劑,通過其編寫的智能合約不僅可在?StarkNet?上全速運行,也可和以太坊主網保持較高的兼容性,這也是?ZK-EVM?的真正含義。

在本次更新中,Cairo?將會支持完整的?Cairo-VM,其中的關鍵就在于中間表示層?Sierra。

Messari:2022年Balancer鎖倉量下降57%:1月10日消息,加密分析公司Messari發布《2022四季度Balancer狀態報告》。數據顯示,四季度Balancer在以太坊上的鎖倉量下降了10%,但是在Polygon、Arbitrum和Optimism上的鎖倉量卻分別增加了42%、71%和20%,這些Layer 2上的鎖倉量增長大部分歸功于來自Lido和Rocket Pool的外部激勵,這兩個DeFi協議在Arbitrum和Optimism鏈上Balancer流動性池鎖倉量中占比達到約50%。

縱觀整個2022 年,Balancer總鎖倉量下降了57%,但表現仍好于整體加密貨幣市場和其他DeFi協議,其跌幅小于競爭對手Uniswap(-61%)、Sushiswap(-90%)和Curve(-84%)。[2023/1/10 11:04:11]

簡單而言,Sierra?將作為?Cairo?語言編寫的代碼和其底層字節碼之間“翻譯層”,并且這種翻譯將在確保安全性的基礎上進行提速,而無需設置交易的執行狀態,直接可根據當前狀態開展證明。

數據:1182萬枚MATIC從Crypto.com轉入幣安:12月19日消息,Whale Alert監測數據顯示,北京時間12:03:59,1182萬枚MATIC(約947萬美元)從Crypto.com轉入幣安。[2022/12/19 21:53:30]

這是?Cairo?自身的語法改進,除此之外,StarkWare?的智能合約也將逐步過渡到完全的?Cairo?語言上去,以完成自身的語言標準的統一。

由于保持了相當程度的以太坊主網兼容性,Cairo?和?Solidity?編寫的智能合約之間的轉換也將更為簡易,以太坊客戶端?Nethermind的轉譯器?Warp?已經支持將?UniswapV3重寫為?Cairo?代碼。

實際上,在?2022?年?10?月末,StarkNet?便宣稱使用?Cairo?開發出?ZK-EVM,而在接下來隨著?StarkNet?的真正投入生產環境,這種兼容性的實際效果便可一驗真偽。

新芽:基于?Rust?的平衡特性

Mastercard董事:現在是重新進入加密行業的好時機:金色財經報道,Mastercard創業公司總監Grace Berkery在Benzinga的未來加密貨幣活動中表示,我覺得一旦讓一個機構進入了某個領域,就很難讓他們轉向,所以,如果他們要進入,他們就會留在這個領域。不認為機構會避開加密行業,而是會更加關注他們的勤奮以及與誰合作,以及與具有良好業績記錄和現有客戶的公司合作。重點將是減少該領域的炒作,而更多地關注作為一家公司的實際價值是什么。

Berkery稱,我認為這是一個重新進入加密行業的好時機,機構與加密貨幣公司的合作 \"肯定 \"仍有機會。[2022/12/8 21:29:55]

事實上,Cairo?本身可以視為?Rust?語言寫就的語言,其繼承了較多的?Rust?特性。

Rust?本身不同于?Python/Go?等所謂的現代語言,其運行效率高度接近于較為底層的開發語言,但同時又兼顧了可讀性,比如特殊的內存管理機制——所有權和借用等特殊設計。

準確而言,Cairo/Rust?的所有權是指管理內存的顯性要求,由于區塊鏈特殊的節點運行機制,其是典型的內存敏感性開發環境,以?C/C、Java?為例,目前主流有三種內存資源利用機制:

數據:StarkNet橋接存儲TVL突破5000枚ETH,月增長超150%:金色財經報道,據DuneAnalytics最新數據顯示,以太坊Layer2擴容解決方案StarkNet跨鏈橋接存儲總價值已突破5000枚ETH,本文撰寫時達到5,054枚ETH,按照當前價格計算超過600萬美元,參與橋接交易的用戶數量為69,181。歷史數據顯示,StarkNet跨鏈橋接存儲總價值于10月27日突破2,000枚ETH,這意味著該指標月增長超150%;在其他L2跨鏈橋方面,當前Arbitrum跨鏈橋接存儲總價值為2,014,832枚ETH、Optimism為438,250枚ETH、zkSync為187,180枚ETH。[2022/11/28 21:05:51]

C/C:手動管理內存,得益于現代設備的進步,大多數開發者并未養成及時釋放內存的習慣,會造成嚴重的資源浪費;

Java:自動回收資源機制,JVM?是?Java?運行時的虛擬機,其具備自動管理內存的功能,但一般為保證運行效率,JVM?會保持一段的內存資源,也會造成供需不匹配的問題;

Cairo/Rust:所有權機制管理內存資源,Rust?中的任何變量必須指定所有者,并且一次僅能有一個,當變量執行后即被釋放,不能繼續存在內存中。

這樣的所有權機制設計可以保證寶貴的內存資源僅在執行時調用,即可以兼顧?C/C的運行效率,但又避免了內存泄漏等問題,內存資源無需時刻準備著,對于減輕智能合約的整體大小具有重要意義。

其次是強類型的思路,Cairo/Rust?涉及眾多智能合約的編寫和運行,而其上承載的都是高價值的?Token、NFT?以及個人數據,需要特殊對待,并且每次改變都需要慎重對待。

強類型語言和弱類型語言是相對于變量的定義而言的,簡單而言,強類型要求變量在使用前進行“數據類型"方面的定義,如整數、浮點數、字符串等,未經明確的類型變換操作,不可隨意更改其定義。

弱類型語言并無此嚴格規定,變量的數據類型可靈活改變。

在智能合約的編寫中,資產類型和數量必須被顯性對待,以確保其歸屬權清晰和交易、轉換等流程明確,而?Cairo/Rust?的可讀性強,其對開發者較為友好,便于避免更多的安全問題。

按照官方進度,Cairo1.0?的編譯器將在今年一季度面世,屆時,將和?StarkNet?進行更深度的融合,而借助?Rust?的語言特性,有望從底層提高執行速度,從而將其?TPS?抬升到日常可用的水平。

重生:開發者友好

Cairo1.0?肩負著打通L2和以太坊主網的重任,根據其官方的?Regenesis計劃,StarkNet?將在?2023?年一季度完全過渡到?Cairo?之上,結束目前的割裂狀態,從而進入生態競爭的新發展階段。

而缺乏真正殺手級的應用,再疊加上?dYdX?等頭部項目的出走,StarkWare?的晉級之路仍然布滿荊棘。

在目前的公鏈/L2/dApp?開發格局中,Solidity占據了近?98%?的壟斷地位,而?Cairo?僅占據不到?1%?的市場空間,基本上目前只有?StarkWare?能夠支撐起運行。

自從?StarkNet?和?StarkEx?設立以來,由?Cairo?驅動的?dApp?已經處理了超過?3?億筆交易,鑄造了超過?6500?萬個?NFT,并處理了價值?7000?億美元的交易,并且這些交易都利用以太坊上作為最終結算層。

在?Cairo1.0?真正應用至?StarkNet?之前,開發者的體驗是爭奪其進入?StarkWare?生態的第一步,除?Nethermind?的?Warp?支持之外,ConsenSys?也和?StarkWare?達成合作,將為?Cairo?提供智能合約提供安全審計服務。

根據官方說明,目前?Cairo0的各項功能開發進度如下,我們也可從中參照?Cairo1.0?的發展方向,并且說明?StarkWare?將會遵循將全部?StarkNet?開源的計劃,Cairo?將是其開邁出的第一步。

相關閱讀:盤點?StarkWare?生態:StarkEx?共?7?個應用,StarkNet105?個生態項目

可以從中發現,Cairo?的功能開發進度較快,并且預計實現的功能也較多,而?StarkNet?也將在?Cairo?實現后補齊目前的功能缺口,而最終實現?StarkNet?系統級調用的全功能模塊。

目前可以適當參考下?StarkEx?的數據,不同于?StarkNet?的通用化路線,StarkEx?面向主要幾個大型項目,包括?ImmutableX、Sorare、Rgino.Fi?和?dYdX,使用過服務的用戶數達?2?千萬人次,日均月活在數萬量級。

借助和成熟的?DeFi?和鏈游進行合作,StarkEx?的市場化之路整體較為順利,但是?StarkNet?將作為通用?Layer2?參與各個L2競爭之中,Cairo?將有望進一步帶動?StarkNet?市場占有率的提升。

結語

Cairo1.0?并非簡單作為語言更新,而是要承擔更為豐富的角色,包括激活?StarkNet?的?EVM?兼容性和執行效率,通過借助?Rust?成熟的編程范式,如所有權、強類型等,減輕了開發難度。

同時需要注意,Cairo1.0?仍有些未完全實現的功能,其完全狀態可能需要更長的開發周期,其代幣發行時間也會隨之進行調整。

總之,Cairo在結束?StarkNet?目前的“非完全”版具有重要意義,結合?Sierra、編譯器等新工具,以及和主流開發工具的結合,顯著減少開發者在其上編寫智能合約的壓力。

Tags:ARKSTASTARKSTARSHARKVesta ProtocolSTARK幣Polkastarter

瑞波幣
主要媒體公司要求公開披露SBF保釋擔保人身份_FTC:ftc幣官網

1月13日消息,包括彭博社、金融時報和路透社在內的八家主要媒體公司要求公開披露負責為FTX前首席執行官SBF提供2.5億美元保釋金擔保的兩名擔保人.

1900/1/1 0:00:00
比特幣(BTC)反彈不僅僅是反彈 - 看漲_FTX:加密貨幣市場行情

概括 比特幣已攀升至2萬美元以上,較周期低點上漲30%。我們強調了推動反彈的因素以及我們預計它會持續下去的原因.

1900/1/1 0:00:00
BNB 會很快達到 500 美元嗎?_幣安幣:HAI

2023年看漲的BNB價格預測為346.8美元至457.7美元。幣安幣(BNB)的價格也可能很快達到500美元。2023年的看跌BNB價格預測為196.2美元.

1900/1/1 0:00:00
Coinw關于修復商戶掛單價格問題公告_OIN:COI

親愛的CoinW商戶: 由于APP、H5掛單價格問題,目前正在加急修復中,暫時麻煩使用Web端進行掛單,給您帶來的不便敬請諒解。升級維護完成后,會第一時間告知大家.

1900/1/1 0:00:00
Ripple 吹捧加密實用程序作為 2023 年的主要驅動力_XRP:cple幣最新價格

簡單來說 CBDC、NFT和碳市場預計今年將增長。銀行和金融機構今年可能會對加密解決方案進行更多投資。XRP價格今天飆升4.4%.

1900/1/1 0:00:00
美股和幣市行情暗示CPI的下跌趨勢_CPI:cpi幣價格今日行情

一直以來,我們都覺得行情受到CPI的強烈影響,甚至會認為CPI具有決定性。邏輯是,CPI情況影響美聯儲的貨幣政策,如果CPI沒能下跌、甚至繼續上漲,美聯儲會采取強硬的緊縮政策,從而利空美股和幣市.

1900/1/1 0:00:00
ads