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

主要內容：

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

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

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

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

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

介紹

okayjawn.eth拋售512.4萬枚LOOKS質押，LOOKS下跌超7%:金色財經報道，據Spot on Chain監測，okayjawn.eth在30分鐘前以0.051美元的平均價格取消了512.4萬枚LOOKS的質押，并以26.2萬枚USDT的價格全部拋售，使得LOOKS價格暴跌了7%以上。

從5月16日到7月25日，他以平均0.064美元的價格買入了 506.9萬枚LOOKS（32.45萬美元） ，在這次交易中損失了 6.21萬美元。[2023/8/1 16:10:54]

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

受Multichain影響，Hector Network計劃清算1600萬美元的資產:金色財經報道，Hector Network周一投票決定清算其1600萬美元的資金并將收益分配給HEC代幣持有者。Hector DAO是Olympus DAO基 Fantom區塊鏈的分支，由于跨鏈橋項目Multichain的倒閉，本月遭受了重大損失。

自7月6日以來，Hector的HEC代幣已經損失了60%的價值；其TOR 穩定幣的交易價格為13美分。據一位投資者估計，由于與Multichain相關的穩定幣失去錨定，Hector Network資金庫可能遭受了800萬美元的損失。

Hector DAO計劃根據HEC持有者截至7月14日的倉位，按比例將其財務收益重新分配給持有者，最終分配的金額可能低于1600萬美元。[2023/7/18 11:00:16]

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

Radiant Capital在行情上漲時向5個錢包分發超800萬枚RDNT并轉入交易平臺:6月4日消息，據Spot On Chain監測，Radiant Capital前日行情上漲時向5個不同的錢包分發了807.5萬枚RDNT(約268萬美元)：其中，

-3個錢包于10小時前共將617.5萬枚RDNT轉移到Houbi、OKX和Gate，平均價格為0.333美元(約206萬美元)；

-1個錢包很可能很快會向Binance存入95萬枚RDNT；

-1個錢包向RDNT-WETH流動性池增加了95萬枚RDNT。[2023/6/4 21:14:37]

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

工信部就《區塊鏈和分布式記賬技術標準體系建設指南（2023版）》公開征求意見:金色財經報道，工信部就《區塊鏈和分布式記賬技術標準體系建設指南（2023版）》（征求意見稿）公開征求意見。其中提出，到2023年，明確區塊鏈和分布式記賬技術標準體系頂層設計，研究標準體系建設和標準研制的總體規則，明確標準間的關系，重點開展基礎共性標準研制，基本滿足我國區塊鏈和分布式記賬技術標準化需求。到2025年，進一步完善國家區塊鏈和分布式記賬技術標準體系，持續推動區塊鏈和分布式記賬技術基礎共性、關鍵應用示范和安全保障等標準，有效指導我國區塊鏈產業建設，提升技術與應用服務水平。[2023/3/28 13:30:57]

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

FTX 破產法官將考慮是否批準對 FTX 的獨立調查:金色財經報道，FTX 破產法官 John Dorsey 將考慮是否批準對 FTX 的獨立調查。美國司法部破產監管機構此前敦促 John Dorsey 任命一名獨立調查員，但 FTX 表示審查員只會重復 FTX、債權人和執法機構已經完成的工作并增加成本。FTX 的債權人委員會支持 FTX，稱擬議的調查是多余的。得克薩斯州、佛蒙特州和威斯康星州的州證券監管機構則支持司法部的提議，稱一份中立的報告將有利于債權人和客戶。[2023/2/6 11:50:33]

?今天，我們達到了上述目標方面的第一個里程碑，因為我們將開發工作轉移到了公共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：CAIROAIRCAINETCAIRO幣air幣有價值嗎caifubiMNET

比特幣交易