詳解Cairo1.0公開版：如何改變StarkWare的編寫范式？_ARK

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

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

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

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

更為安全：保持圖靈完備性，STARK?機制的安全性由數學證明來保證；

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

兩全：走向?ZK-EVM

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

防作惡 MEV 協議 Shutter Network 獲得 236 萬美元捐贈:6月27日消息，防作惡的 MEV 開源協議 Shutter Network 宣布獲得 236 萬美元捐贈（contributions），貢獻者包括 Alphemy Capital、coinix、Equilibrium、FishDAO、Factor（Gnosis Chain 戰略風險基金）、JDAC Capital、JLH Ventures、OKX Ventures、Owl Ventures、Own.fund 和 Timothy Lowe 等。[2023/6/27 22:03:38]

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

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

加密服務公司BCB集團取消收購Sutor銀行:金色財經報道，數字資產交易公司BCB集團將不再收購金融機構Sutor銀行。根據一份電子郵件聲明，經過雙方的“仔細分析和考慮”，Sutor銀行撤回了向BCB集團出售股份的協議。BCB引用了“最近的銀行市場事件和宏觀經濟變化”，并表示將通過在法國申請電子貨幣許可證，更多地關注其歐洲戰略，并采取行動捕捉和服務美元支付軌道的需求。

BCB集團于2021年12月首次宣布了收購Sutor銀行的計劃。交易的具體條款尚未公布，但此前報道，這筆交易將提供“大筆注資”。[2023/6/15 21:37:19]

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

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

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

a16z前高管正創辦加密托管公司 并得到a16z的支持:4月27日消息，據知情人士透露，a16z 前首席技術官 (CTO) Riyaz Faizullabhoy 和前首席信息安全官 (CISO) Nassim Eddequiouaq 正在創辦一家以機構為中心的加密貨幣托管公司，該舉動已得到來自 a16z 的支持。

據悉，二人此前于今年 2 月從 a16z 離職，根據 a16z 的一篇博客文章顯示，在加入 a16z 之前，兩人共同為 Facebook 的 Novi（以前稱為 Calibra）錢包創建了加密貨幣托管基礎設施。（ Coindesk ）[2023/4/27 14:30:12]

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

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

三月調整后穩定幣鏈上交易額達8232億美元，上漲47.5%:金色財經報道，據The Block Pro數據顯示，三月調整后的穩定幣鏈上交易額增長至8232億美元，漲幅達到了47.5%；不過已發行穩定幣供應量小幅收縮至1256億美元，降幅約為2.3%，其中美元穩定幣USDT市場份額升至64.1%，USDC的市場份額降幅較大，為24.6%。此外，三月調整后比特幣和以太坊鏈上總交易額增加了48.8%，上漲至2550億美元，其中比特幣鏈上交易額增長48.3%，以太坊鏈上交易額漲幅達到了62.7%。[2023/4/5 13:46:43]

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

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

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

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

Celsius破產前曾秘密拍賣了7000臺礦機，目前僅剩一半在運營:金色財經報道，據beincrypto消息，Celsius挖礦子公司目前擁有 80,850 臺礦機，其中只有 43,632 臺正在運營。到今年年底，Celsius預計將其采礦能力增加到約 120,000 臺礦機并生成超過 1 萬枚 BTC，這意味著 Celsius 將成為業內最大礦工之一，但該公司的財務問題可能迫使其出售部分甚至整個采礦業務，因此 Celsius 破產可能加劇比特幣采礦困境。據悉，在申請破產之前，Celsius 已經在一次秘密拍賣中出售了大約 7,000 臺采礦設備，目前尚不清楚該公司是否會在重組過程后出售全部或部分挖礦業務。CoinShares 數字資產分析師 Matthew Kimmell 表示：“Celsius Mining 拋售礦機，肯定會給已經下跌的礦機價格進一步增加下行壓力。”[2022/7/16 2:17:50]

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：ARKSTASTARSTARKDark Land SurvivalstarryskyStar TrekSTARK價格

火幣下載