以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads
首頁 > AAVE > Info

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

Author:

Time:1900/1/1 0:00:00

主要內容:

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

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

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

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

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

介紹

英國央行副行長:英國可能會需要發行數字英鎊:金色財經報道,英國央行副行長坎利夫表示,英國可能會需要發行數字英鎊;對數字英鎊的看法自2月以來沒有發生過變化;將在未來數年間就央行數字貨幣前景做出最終決定;央行數字貨幣是貨幣信心的重要錨定物;需要通過公共辯論來給央行數字貨幣提供信心。[2023/6/16 21:40:41]

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

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

工信部副部長王江平:前瞻布局人工智能、web3.0、6G等未來產業:金色財經報道,2023中國國際大數據產業博覽會在貴州省貴陽市開幕。工信部副部長王江平出席開幕式并致辭。王江平表示,工信部將深化大數據與實體經濟融合發展,扎實推進新型工業化。加強關鍵核心技術攻關,統籌推進產業基礎再造工程和重大技術裝備攻關工程,前瞻布局人工智能、web3.0、先進計算、6G等未來產業,在新賽道上形成新競爭力。不斷提升網絡供給能力,加快5G、千兆光網深度覆蓋,打造云網融合、算網一體的網絡架構和算力供給體系,為大數據產業創新發展提供強有力的底座。[2023/5/28 9:46:22]

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

HOPEX平臺將于2月28日停止運營,OTC法幣提現已關閉且鏈上提現每日限時開放:2月1日消息,數字貨幣衍生品交易平臺HOPEX今日發布公告稱,因應重大業務調整, HOPEX平臺決定逐步有序退出中心化數字貨幣衍生品交易服務,并將在2023年2月28日正式停止運營。

具體細則如下:自公告之日起所有交易對停止新開倉、關閉賬戶充值、關閉OTC法幣提現。2月5日16:00之后所有交易對將停止交易,鏈上提現功能則將開放至2023年2月28日16:00。不過,鏈上提現功能每日限時開放,時間為10:00 –18:00。2月28日16:00,所有提現將由人工處理并需進行身份審核,平臺將收取提現金額的5%(或20USDT, 取其較高者)作為人工處理費用。Hopex還關閉了在線客服系統,但保留了郵件溝通渠道。[2023/2/1 11:40:21]

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

巴林金融科技灣前首席執行官加入Fasset:金色財經報道,數字資產交易所 Fasset 宣布任命業內資深人士Khalid Dannish為中東和北非(MENA)地區的總經理。Khalid將在推動公司通過擁有、連接和共享數字資產的新方式賦予下一個十億人力量方面發揮關鍵作用。在被任命之前,Khalid在金融服務行業擔任過各種領導職務,專注于投資銀行、市場風險管理和技術,他曾在摩根大通和倫敦的巴克萊資本擔任副總裁。[2023/1/21 11:24:05]

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

澳大利亞將于本月開展大型CBDC研究項目:9月2日消息,澳大利亞一位專門研究數字法的律師稱,由澳大利亞政府、金融機構和大學牽頭的一項研究項目是該國確定中央銀行數字貨幣(CBDC)發展的重要一步。該研究項目于將本月開始,涉及澳大利亞儲備銀行和由 25 個機構組成的數字金融合作研究中心(DFCRC)。該項目的目標是探索 CBDC 用例在該國的經濟影響,以及應如何監管比特幣等數字資產。

澳大利亞Piper Alderman律師事務所的合伙人Michael Bacina表示,鑒于自然資源在澳大利亞經濟中的重要性,該國很可能在不久的將來尋求資源和商品的代幣化和證券化。[2022/9/2 13:05:24]

目前的性能

目前,你可以編譯和執行基本的原生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:CAIROCAIAIRARKCAIRO幣hairdogarkm幣會上哪些交易所

AAVE
ETH vs BTC :ZK-rollups能否在BTC上獲得成功?_ROLL

比特幣和以太坊存儲用戶數據的方式,以及智能合約與上述數據互動的方式,都有很大不同。因為比特幣采用的是UTXO模型,而以太坊采用的是基于賬戶的模型.

1900/1/1 0:00:00
SBF內部信:道歉和自證清白_FTX

FTX創始人兼前首席執行官山姆·班克曼-弗里德(SamBankman-Fried)在他的公司倒閉時“在壓力面前僵住了”,他在一封發給他曾經掌舵的公司員工的新信中寫道.

1900/1/1 0:00:00
長推:為什么 GMX 將會失敗?_GMX

本文來自加密KOL@degentrading的TwitterThread,MarsBit編譯如下:我把BlockFi的崩潰稱為創世紀--因為他們管理風險的方式存在明顯的問題.

1900/1/1 0:00:00
創作者經濟4.0初探_NFT

2022年年初,經由CSS播客第10集《共創“擁有者經濟”——LiJin》,我第一次接觸到創作者經濟4.0的概念。LiJin將創作者經濟的演變描述為4個不同階段.

1900/1/1 0:00:00
為什么去中心化平臺可以在市場崩潰中堅挺?_DEF

在2021年底創下歷史新高后,加密貨幣市場于次年崩盤。市場總值急劇下降:從2021年11月的2.9萬億美元跌至一年后的約8000億美元。隨著市場下降,領先的加密貸款機構和交易所也宣布倒閉.

1900/1/1 0:00:00
馬斯克怒懟蘋果,反壟斷戰開火?_APP

與Twitter的收購大戲剛剛落幕一個月,特斯拉創始人兼CEO馬斯克又將矛頭對準了另一家科技巨頭:蘋果.

1900/1/1 0:00:00
ads