買比特幣 買比特幣
Ctrl+D 買比特幣
ads

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

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自身的執行速度。

美股小幅高開 納指漲0.40%:金色財經報道,美股小幅高開,道指漲0.05%,納指漲0.40%,標普500指數漲0.21%。[2023/6/27 22:03:40]

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

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

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

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

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

Coinbase推出的“Stand with Crypto”NFT鑄造量已突破13萬枚:金色財經報道,據Coinbase首席執行官Brian Armstrong在社交媒體發布的“Stand with Crypto”NFT 最新鑄造信息顯示,截至目前該 NFT 鑄造量已經超過 13 萬枚。“Stand with Crypto”NFT 采用藍色盾牌標識,意味保護和促進加密生態集體立場,用戶可免費鑄造。[2023/6/7 21:21:02]

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

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

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

Binance錢包地址過去24小時流入約4.8萬枚ETH:金色財經報道,過去24小時,交易所錢包地址中的 ETH儲備變化情況如下:

Binance 流入4.8萬枚 ETH,當前持有ETH 約474.3萬枚,漲幅1.03%;

Bitfinex 流出2.6萬枚 ETH,當前持有ETH 約43.9萬枚,跌幅5.6%;

OKX 流入1.3萬枚 ETH,當前持有 ETH 約126.5萬枚,漲幅1%;

Huobi 流入273.2枚 ETH,當前持有 ETH約10.1萬枚,漲幅0.27%。[2023/2/3 11:44:51]

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

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

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

Web3孵化器PANONY以1億美元估值完成A輪融資,NGC Ventures等參投:9月6日消息,Web3孵化器PANONY以1億美元估值完成A輪融資,融資金額未披露,NGC Ventures等參投。融資用于向其他司法管轄區擴張,推出新的服務產品并擴大其網絡能力。首席執行官的Tsai將NFT、DAO和DeFi確定為有前景的創新。[2022/9/6 13:11:02]

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

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

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

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

Web 3.0項目BridgeCoin官網正式上線:據官方消息,由社區驅動的、面向Web3.0 的去中心化加密項目BridgeCoin全新官網已正式上線,項目生態布局內的GameFi平臺、DAPP、多款鏈游、去中心化錢包BR Wallet等已經完成全部測試,在BridgeCoin通證BRC上線交易后會同步上線。

據悉,BridgeCoin將集支付生態、消費生態、金融服生態于一身,打造并向用戶提供人性化、立體化、全方位的加密資產交易服務。[2022/8/28 12:54:10]

其次是強類型的思路,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:STAARKSTARKSTARstarl幣貼吧autoparkstarknet幣價分析star kay Chain

比特幣最新價格
人工智能:經濟處于衰退邊緣,這對比特幣有何影響_區塊鏈是什么概念股

自2023年初以來,市場價格走勢繼續有些波動。價格變動不多且波動性低。1月12日星期四是CPI數據,因此本周可能不適合入市。通常CPI數據伴隨著波動,但市場方向似乎并不明朗.

1900/1/1 0:00:00
FRA:Framework Ventures從GRT質押合約中提取9900萬個GRT代幣,價值約700萬美元_POL

金色財經報道,CoinGecko和Messari的數據顯示,風投FrameworkVentures從TheGraph的GRT質押合約中提取了9900萬個GRT代幣,價值約700萬美元.

1900/1/1 0:00:00
Polkadot:DOT生態系統大幅增長,接下來會發生什么?_polkadot幣

Polkadot為用戶提供多個區塊鏈之間的互操作性,同時保持高可擴展性和處理交易的速度。Polkadot也稱為多鏈網絡,支持許多平行鏈,使開發人員能夠無縫構建他們的區塊鏈.

1900/1/1 0:00:00
OIN:CoinW已完成第二輪LUNA空投分發公告_COI

尊敬的CoinW用戶: CoinW已完成LUNA空投第二輪分發,用戶可以登錄賬戶明細自行查詢。Terra2.0的新幣空投規則簡介:Hostinger與CoinGate達成合作 接受加密貨幣支付:.

1900/1/1 0:00:00
DPL:波蘭競爭和消費者保護辦公室對加密交易所Kanga Exchange提起訴訟_WorldPlus

1月16日消息,波蘭競爭和消費者保護辦公室(UOKiK)對加密交易所KangaExchange的運營商GoodSolutionInvestmentsLtd.提起訴訟.

1900/1/1 0:00:00
ETH:金色午報 | 1月16日午間重要動態一覽_ethereal法語寓意

7:00-12:00關鍵詞:Scroll、日本國稅廳、DXY、CBDC1.韓國國會法案審查委員會再度跳過數字資產法案的討論和決議;2.以太坊擴容項目Scroll升級并重置測試網五天內.

1900/1/1 0:00:00
ads