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

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語言上去，以完成自身的語言標準的統一。

比特幣礦企GDA在南卡羅來納州推出三個新的挖礦數據中心:金色財經報道，比特幣礦企Genesis Digital Assets（也稱為 GDA）在南卡羅來納州西部推出了三個用于比特幣挖礦的新數據中心。GDA 還打算使用南卡羅來納州的可再生能源為其新數據中心供電。安德森附近的一處設施將使用干式配電變壓器，總容量為 18 兆瓦。Pacolet 附近的另一個將使用水力發電。

根據公司發布的信息，GDA在北美、歐洲和中亞擁有 20 個礦場，總發電容量超過 400 MW。[2023/8/1 16:12:16]

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

數據：持有至少1枚BTC的地址數突破100萬:金色財經報道，Glassnode 數據顯示，現在有超過 100 萬個比特幣地址持有至少 1 枚 BTC。在去年 2 月底，當比特幣從歷史高點回落到一半的時候，擁有 1 枚比特幣的地址數量大幅增加。

Investoo Group 研究主管 Dan Ashmore 表示，疫情牛市期間，持有 1 枚或更多 BTC 的地址數量不斷增長的軌跡明顯趨于平穩。但隨著去年比特幣價格的下跌，這些地址的增長又恢復了之前的上升軌跡。[2023/5/14 15:01:18]

事實上，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的可讀性強，其對開發者較為友好，便于避免更多的安全問題。

波場網絡正式通過第79號委員會提議:據官方消息，波場網絡已于新加坡時間2022年12月4日14:00:00正式通過了第79號委員會提議，第79號委員會提議的主要內容是對第11號和47號網絡參數的修改，將energy單價從280sun提高到420sun，將feelimit上限從10,000TRX提高到15,000TRX。

該提案生效后，將有效抑制低價值智能合約交易數量的增長并減少它們帶來的危害，同時大幅提升TRX質押率和銷毀量，TRX通縮率將進一步擴大至3.17%，波場網絡上的TRX年銷毀量將達到50億。[2022/12/4 21:21:52]

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

Fuel Labs推出模塊化執行層Fuel Beta-1測試網:9月9日消息，以太坊模塊化執行層Fuel開發商Fuel Labs宣布推出面向開發人員的Fuel Beta-1測試網，開發人員可以隨意向其部署合約，無需許可或白名單，用戶也可以與已部署的合約進行交互。另外，任何人都可以使用水龍頭獲得一些測試ETH來部署合約或與合約交互。FuelLabs提醒稱，Beta-1不是激勵測試網，參與該網絡將不會獲得直接獎勵。

Fuel 通過并行交易執行為以太坊提供可擴展性。本周， Fuel Labs宣布完成8000萬美元融資，Blockchain Capital 和 Stratos Technologies 領投，Alameda Research、CoinFund、Bain Capital Crypto、TRGC、Maven 11 Capital、Blockwall、Spartan、Dialectic 和 ZMT 等參投。[2022/9/9 13:18:44]

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

報告：韓國忠誠度計劃市場正在轉向區塊鏈，允許會員賺取加密貨幣:5月16日消息，根據Research And Markets.com的最新報告，韓國的忠誠度計劃市場規模預計將以每年12.0%的速度增長，到2022年將達到63.077億美元。

在價值方面，韓國的忠誠度計劃市場2017-2021年的復合年增長率為12.5%。在預測期內，韓國的忠誠度計劃市場將繼續增長，預計2022-2026年的復合年增長率為11.4%。到2026年，該市場規模將從2021年的56.16億美元增加到97.037億美元。

報告還指出，韓國的忠誠度平臺正在轉向區塊鏈技術，允許會員賺取加密貨幣。（Globe Newswire）[2022/5/16 3:20:07]

而缺乏真正殺手級的應用，再疊加上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：ARKSTASTARSTARKark幣持幣地址Ethereum StakeINSTARStarkMeta

Filecoin