StarkNet:StarkWare編程語言Cairo1.0測試版開源官方簡介_Airbloc

主要內容：

?Cairo1.0開源啦!這僅僅是StarkNet棧開源的第一步。

?我們為讀者帶來了對Cairo1.0編譯器的初步介紹。大家可以開始嘗試使用基本的Cairo1.0代碼了。

?Cairo1.0的核心與Rust非常相似。

?考慮到這是首次測試，而不是正式版本，優化還在進行當中。第一版的編譯器計劃在明年一季度初推出。

?目前，StarkNet還不支持Cairo1.0，需要到明年第一季度，StarkNet才會支持Cairo1.0。

介紹

STEPN旗下NFT市場MOOAR推出NFT AIGC產品GNT:3月23日消息，STEPN旗下NFT市場MOOAR推出NFT AIGC產品Generative NFT Tool（GNT）。

此前消息，據官方消息，STEPN開發商Find Satoshi Lab宣布將推出NFTAI生成內容（AIGC）產品GNT。GNT可為用戶提供一站式服務，在多鏈NFT市場MOOAR上創建和鑄造NFT，而不需要AI相關知識或智能合約的部署過程。此外，官方提醒稱，GNT不是一種代幣。

據悉，GNT Alpha測試版將在未來幾天內進行限時免費試用，創作者需要銷毀GMT來生成和鑄造NFT。[2023/3/23 13:21:52]

2020年，我們發布了Cairo，它是一種支持可驗證計算的圖靈完備編程語言。Cairo開始時是一種匯編語言，后來逐漸變得更具表達力。兩個月前，我們宣布了Cairo1.0的誕生，它解決了當下一些主要問題：

PayPal遭黑客攻擊，近3.5萬用戶資料或泄露:1月28日消息，PayPal通報美國緬因州（Maine）檢察長辦公室，表示他們于去年12月20日發現遭受黑客攻擊，并在調查后認為事件發生于12月6日到8日期間。PayPal指黑客發動憑證填充攻擊，受影響用戶總數為34942人。

PayPal指出，攻擊或導致客戶資料泄露，包括：姓名、地址、安全碼、個人稅籍資料、電話及生日。但PayPal強調，暫未有發現任何用戶個人信息遭盜用。PayPal又提及，目前已為受影響用戶提供24個月的信用盜用監控服務。

PayPal補充，本次事件并非PayPal系統漏洞，主要是用戶重覆在不同服務或網站使用同一組帳號、密碼組合，令黑客可從其他地方竊取、購得或取得用戶帳號、密碼等，再以大量帳號及密碼組合，破解PayPal帳號。[2023/1/29 11:34:25]

?自誕生以來，雖然Cairo的語法結構已經有了很大的改進，但開發者的體驗還是有改進的空間的。Cairo1.0是一個受Rust啟發的完全類型語言，編寫同樣的邏輯會更加容易，并且出錯的可能性更低。

報告：以太坊生態系統處于領先地位:金色財經報道，Nansen發布了2023 年的一些新興趨勢報告，報告顯示，市場在 2023 年的第一周出現了改善的跡象，以太坊生態系統處于領先地位。根據該報告，這種激增主要是由于即將于 3 月上線的以太坊網絡上海升級。備受期待的升級將使投資者能夠提取目前鎖定在各種質押協議中的資產，同時顯著降低質押 ETH 所涉及的風險。正如去年發生的合并在事件發生前的幾周建立了看漲勢頭一樣，上海的升級目前正在加密市場內推動大規模炒作。

Nansen報告進一步指出，以太坊Layer 2解決方案，如 Arbitrum 和 Optimism，在過去幾個月中一直受到關注，這些鏈上的交易數量顯著增加。[2023/1/9 11:01:27]

?現有的編譯器與StarkNet本身是在同一個repo中開發的，所以追蹤語言變化的困難更大。Cairo1.0編譯器是從頭開始編寫的，所以有更快的功能開發和更多的社區參與。

ENS DAO：eth.link已無法訪問，用戶需注意網絡釣魚風險:8月26日消息，ENS DAO在社交平臺表示，目前eth.link已經無法訪問。由于該域名歸前以太坊開發者VirgilGriffith（其已被判入獄63個月）所有，盡管得到了他律師的幫助，但ENS DAO仍無法訪問Virgil Griffith的注冊賬戶并更新域名。

ENS DAO提醒用戶，如果有任何使用eth.link的服務，需要立即將用戶引導至其他地方并推薦使用社區提供的解決方案eth.limo，同時還提醒用戶謹防網絡釣魚風險。[2022/8/26 12:49:46]

?現在每一次計算都是可以證明的。目前，一個Cairo程序可能在特定的輸入指令下出現失敗，使計算無法被證明。在Cairo1.0中，程序在每個可能的分支中都是可證明的。這對StarkNet中的DOS保護和抗審查尤為重要。

Collab.Land與Gnosis Safe達成合作，支持同一多簽下所有地址共享Discord角色認證:6月30日消息，拓展應用插件Collab.Land宣布，現已支持多簽錢包Gnosis Safe的所有者在Discord中被授予Token角色以及持有者訪問權限。同一多簽錢包Gnosis Safe地址的多個所有者，可以共享Token授予的訪問權限，但只同時允許一名所有者的存在。因此，每次成功更改錢包所有者后，任何先前連接的所有者都將失去其被授予的角色。

據悉，Collab.Land是一個只讀應用程序，當用戶簽署消息時，通過讀取公共區塊鏈，驗證錢包地址是否連接到授予角色所需的Token地址。[2022/6/30 1:40:29]

?今天，我們達到了上述目標方面的第一個里程碑，因為我們將開發工作轉移到了公共repo，并將Cairo1.0開源!現在，開發人員可以編譯和執行簡單的Cairo1.0程序。由此，開發者可以開始嘗試使用Cairo1.0，并逐漸適應新的功能，即使在這個階段，他們還不能在StarkNet上實現。

目前的性能

目前，你可以編譯和執行基本的原生Cairo程序。雖然許多語法/語言的優化仍在進行中，但你還是可以慢慢去習慣Cairo1.0，享受升級帶來的好處。

請注意，目前仍然無法編寫StarkNet合約。StarkNet語法會在未來幾周內添加。

代碼示例

為了說明舊的語法和Cairo1.0之間的差異，我們選擇了幾個不同的實現/類型模板來展示找到第n個斐波那契數。

例一：匹配表達式

在Cairo1.0中，你可以使用類似Rust的匹配表達式。你再也不用擔心if/else語句會導致引用撤銷了!

例二：數據類型

Cairo0使用的是felt和指針，而在Cairo1.0中，我們可以在語言中訪問復雜的數據類型。下面你可以看到一個例子，它生成了一個前n個斐波那契數的數組。

如上所示，我們沒有直接使用內存指針，而是使用`Array::<felt>`類型和`array_append`函數。

例三：結構體和所有權

下面的代碼說明了Cairo1.0中結構體的用法。

下面這段話是為Rust開發者準備的。Cairo1.0管理內存的方式與Rust類似。而且，它使用了所有權和借用的概念。因此，通過訪問`FibResult`結構體的一個成員，我們已經移動了`result`，這意味著除非FibResult是可復制的，否則我們不能在`result.index`中再次訪問它。為了解決這個問題，我們在`FibResult`類型中添加了`#`屬性。在未來的版本中，我們會為結構體添加自動解構功能。在不影響其他成員的情況下移動某個成員的所有權。

特別要注意的是，Cairo1.0完全抽象掉了Cairo原有的內存模型。

例四：錯誤傳播

下面的代碼是計算第n個斐波那契數，但與前面的例子不同，所有的輸入指令都是uint128類型的。注意，這解決了Cairo0中處理uint的一個主要痛點。在這里，uint128是原生類型。

兩個128個比特位的整數相加會導致溢出。上面的代碼使用Option枚舉和問號運算符來處理其中一個中間加法中的溢出情況。與目前的uint256加法語法相比，必須調用`unit256_check`函數來保證完整性。此外，在不久的將來，我們會在語言中加入`panic`的概念，像加法溢出這樣的簡單錯誤會是無法捕捉并自動傳播的，也就是說，你在添加uint時不必使用`Option`或`?`。

趕緊試試吧

你現在可以編譯和運行當前支持的Cairo1.0程序了。按照這些說明，學會使用`cairo-run`指令。注意，它的后臺由Lambdaclass開發的RustCairoVM執行指令。

你可以在這里找到更多的例子幫助你入門。請注意，這只是對編譯器開發的第一次測試；未來幾周，我們會隨著編譯器改進CLI。

未來計劃

第一版編譯器的重點是支持Cairo1.0中StarkNet的所有功能，該版本計劃在明年第一季度推出。此外，我們正在努力擴展Cairo1.0編譯器的功能。未來幾周，即將上線：

?StarkNet的性能——編寫智能合約和使用系統調用。

?循環

?新的庫函數

?優化的語言服務器

?StarkNetgas的概念

請務必保持關注并跟蹤編譯器的進展!

Tags：CAIROCAIAIRStarkNetCAIRO價格CAICAAirblocstarknet幣價分析

Coinw