加密貨幣交易所 加密貨幣交易所
Ctrl+D 加密貨幣交易所
ads

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

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自身的執行速度。但這其中存在一個悖論:EVM兼容性和執行效率往往無法兼得,越好的L1兼容性則會降低L2執行效率,反之則存在安全性問題。因此StarkWare希望能使用Cairo語言作為兩者之間的黏合劑,通過其編寫的智能合約不僅可在StarkNet上全速運行,也可和以太坊主網保持較高的兼容性,這也是ZK-EVM的真正含義。在本次更新中,Cairo將會支持完整的Cairo-VM,其中的關鍵就在于中間表示層Sierra。簡單而言,Sierra將作為Cairo語言編寫的代碼和其底層字節碼之間“翻譯層”,并且這種翻譯將在確保安全性的基礎上進行提速,而無需設置交易的執行狀態,直接可根據當前狀態開展證明。這是Cairo自身的語法改進,除此之外,StarkWare的智能合約也將逐步過渡到完全的Cairo語言上去,以完成自身的語言標準的統一。

中非共和國起草該地區使用加密貨幣和代幣化法案:1月22日消息,中非發展中國家中非共和國(CAR)成立了一個由15人組成的委員會,負責起草該地區使用加密貨幣和代幣化的法案。根據CAR總裁Faustin-ArchangeTouadéra的說法,加密貨幣可能有助于消除該國的金融壁壘。負責起草加密法案的委員會由來自中非共和國五個部委的15名專家組成,通過合作,成員們的任務是制定一個法律框架,允許加密貨幣在中非共和國運作并加快國民經濟的發展。(Cointelegraph)[2023/1/22 11:26:00]

由于保持了相當程度的以太坊主網兼容性,Cairo和Solidity編寫的智能合約之間的轉換也將更為簡易,以太坊客戶端Nethermind的轉譯器Warp已經支持將UniswapV3重寫為Cairo代碼。實際上,在2022年10月末,StarkNet便宣稱使用Cairo開發出ZK-EVM,而在接下來隨著StarkNet的真正投入生產環境,這種兼容性的實際效果便可一驗真偽。新芽:基于Rust的平衡特性

安全團隊:Polygon上的Midas Capital項目被攻擊,損失約66萬美元:1月16日消息,據Beosin-Eagle Eye態勢感知平臺消息,Polygon上jarvis項目中的Midas Capital礦池項目被黑客使用的view重入和價格操控組合漏洞攻擊,黑客獲利663101 MATIC(約66萬美元)。攻擊之后,Beosin Trace追蹤發現黑客將663101MATIC發送給地址0xe53......59be,然后分散至其他10個其他的地址,這些地址總共又將15935的MATIC發送至0x04Ec......46F2地址中,目前14581枚MATIC轉入Kucoin交易所,1671MATIC枚轉入幣安交易所。

其他代幣仍然留在上述地址上。[2023/1/16 11:14:35]

事實上,Cairo本身可以視為Rust語言寫就的語言,其繼承了較多的Rust特性。Rust本身不同于Python/Go等所謂的現代語言,其運行效率高度接近于較為底層的開發語言,但同時又兼顧了可讀性,比如特殊的內存管理機制——所有權和借用等特殊設計。準確而言,Cairo/Rust的所有權是指管理內存的顯性要求,由于區塊鏈特殊的節點運行機制,其是典型的內存敏感性開發環境,以C/C++、Java為例,目前主流有三種內存資源利用機制:C/C++:手動管理內存,得益于現代設備的進步,大多數開發者并未養成及時釋放內存的習慣,會造成嚴重的資源浪費;Java:自動回收資源機制,JVM是Java運行時的虛擬機,其具備自動管理內存的功能,但一般為保證運行效率,JVM會保持一段的內存資源,也會造成供需不匹配的問題;Cairo/Rust:所有權機制管理內存資源,Rust中的任何變量必須指定所有者,并且一次僅能有一個,當變量執行后即被釋放,不能繼續存在內存中。這樣的所有權機制設計可以保證寶貴的內存資源僅在執行時調用,即可以兼顧C/C++的運行效率,但又避免了內存泄漏等問題,內存資源無需時刻準備著,對于減輕智能合約的整體大小具有重要意義。其次是強類型的思路,Cairo/Rust涉及眾多智能合約的編寫和運行,而其上承載的都是高價值的Token、NFT以及個人數據,需要特殊對待,并且每次改變都需要慎重對待。強類型語言和弱類型語言是相對于變量的定義而言的,簡單而言,強類型要求變量在使用前進行“數據類型"方面的定義,如整數、浮點數、字符串等,未經明確的類型變換操作,不可隨意更改其定義。弱類型語言并無此嚴格規定,變量的數據類型可靈活改變。在智能合約的編寫中,資產類型和數量必須被顯性對待,以確保其歸屬權清晰和交易、轉換等流程明確,而Cairo/Rust的可讀性強,其對開發者較為友好,便于避免更多的安全問題。

韓國凍結Terra聯合創始人Daniel Shin的1.04億美元資產:金色財經報道,韓國首爾南部地區法院周四批準了當地檢察官的請求,凍結屬于Terraform Labs聯合創始人申賢勝(Daniel Shin)的約1.04億美元的資產。據當地媒體報道,地方當局認為這些資產是通過LUNA加密貨幣非法獲得的。周四早些時候,Shin出席了當地檢察官辦公室的調查,他因違反資本市場法和違反職責的指控而接受調查。(forkast)[2022/11/17 13:17:44]

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

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

數據:Cosmos網絡上的質押者數量在過去30天內增長了20%:10月29日消息,此前,Cosmos在推特上發布關于他們名為“the game of chains”的新計劃。該計劃將允許質押者幫助Cosmos測試其跨鏈安全性(ICS)以換取ATOM。截至發稿時,Cosmos網絡上的質押者數量在過去30天內增長了20%,質押者總數為17.6萬。[2022/10/29 11:56:20]

而缺乏真正殺手級的應用,再疊加上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個生態項目

美參議員:在沒有明確的數字資產監管準則的情況下很難對機構進行問責:金色財經報道,美國參議員Cynthia Lummis在社交媒體上表示,說到監管,對數字資產行業來說,這是一個狂野的西部。在沒有明確的數字資產監管準則的情況下,很難對機構進行問責。Lummis-Gillibrand框架為利益相關者和監管者提供了清晰的指引。[2022/6/22 4:44:08]

可以從中發現,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:ARKSTARKSTASTARImpactMarketStarkNetARCSTARStarship Inu

抹茶交易所
空投埋伏日記:ZKEX、ZilPay、Hunting NFT(1月10日)_NFT:okex沒了

熊市漫漫,熱點分散。在缺乏明確投資機會的當下,本著“寧可錯付gas,不能放過大毛”的原則,我將視線與精力投向了優質項目交互,說不定還能提前發現下一價值標的,是吧.

1900/1/1 0:00:00
淺談引爆2023年加密市場的十種可能性_NFT:WEB

原文作者:Biteye核心貢獻者Teddy,Fishery,Dddd,Louis,Hankerster對于廣大的Crytpo玩家.

1900/1/1 0:00:00
短時交易量超BAYC的“戀足”NFT,Feetpix能否吹響“文藝復興”號角?_NFT:bitpie官網下載app

Odaily星球日報譯者|Moni 看到頭圖先別慌,“戀足癖”或許也沒那么“變態”,畢竟姜文的“鐵瓷”、知名導演昆汀·塔倫蒂諾也是這一群體中的一員.

1900/1/1 0:00:00
每周編輯精選 Weekly Editors'' Picks(1210-1216)_NFT:比特幣

「每周編輯精選」是Odaily星球日報的一檔“功能性”欄目。星球日報在每周覆蓋大量即時資訊的基礎上,也會發布許多優質的深度分析內容,但它們也許會藏在信息流和熱點新聞中,與你擦肩而過.

1900/1/1 0:00:00
空投埋伏日記:porsche NFT、Futures Factory、MOJOR(12月21日)_PIN:SPIN價格

熊市漫漫,熱點分散。在缺乏明確投資機會的當下,本著“寧可錯付gas,不能放過大毛”的原則,我將視線與精力投向了優質項目交互,說不定還能提前發現下一價值標的,是吧.

1900/1/1 0:00:00
NFT領域的2022年回顧及2023年展望_NFT:WEB

CMC與Sfermion的投資者MoPatel進行了對話,詳細概述了NFT市場在充滿挑戰的2022年的表現和增長,以及對2023年市場前景的看法.

1900/1/1 0:00:00
ads