📜 [專欄新文章] [zkp 讀書會] Cairo 語言介紹
✍️ NIC Lin
📥 歡迎投稿: https://medium.com/taipei-ethereum-meetup #徵技術分享文 #使用心得 #教學文 #medium
Cairo 是 STARK 證明系統的其中一個編程語言,讓開發者能透過 Cairo 來使用 STARK,撰寫效能更高的 Dapp
Photo by Simon Berger on Unsplash
Warning:本篇會保持在 high level 的介紹,實際深入的部分請見文內附上的文檔或是官方開發者文件
背景介紹
建構於密碼學的零知識證明能提供計算的隱私性,但同時在區塊鏈生態系也被用來提升 Scalability — 我可以用 10 秒的運算資源來驗證原本耗費 1000 秒運算資源的計算過程
如同更多人熟悉的 SNARK,STARK 也是一個零知識證明的證明系統,但當前的 STARK 著重的是在 Scalability ,而非大家比較習以為常零知識證明提供的隱私性特質
其實目前基於 SNARK 的 Rollup 項目,例如 zkSync、Loopring、Aztec、zkopru,除了 Aztec 外,其他都是利用 SNARK 來增加 Scalability — 這些 Rollup 上資料都還是公開、沒有隱私性的
StarkWare 是目前唯一基於 STARK 的開發團隊
STARK 要加上隱私保護不會太難,只是 StarkWare 還沒有把這項功能放在未來規劃中
Cairo 簡介
標榜為圖靈完備的零知識證明系統語言,Cairo 對原本熟悉 Solidity 的開發者來說還是會感到比較難上手和陌生的。再加上套件庫還不夠充足,目前支援的雜湊函式是 Pedersen,數位簽章演算法是 ECDSA(相對於 SNARK,EdDSA 的效能反而比較差所以沒有支援)。
但 Cairo 還在早期開發的階段,相信開發體驗會越來越好的。
另外需要注意的是作為一個證明系統,會有 Prover 和 Verifier 的角色。而 STARK 的 Verifier 是公開的,但 Prover 軟體預計會有 License 保護。Prover 一般情況下不得用於商業用途,除非將 proof 上傳至官方的 Verifier。
最後要提及的是,第一版的 Cairo 是設計來方便開發者將 Dapp 的運算遷移至鏈下。不同於 Rollup,這個鏈下只會有它自己一個 Dapp。這個 Dapp 的項目方自己維護自己 Dapp 的 state。( Rollup 則是 operator 維護所有 Dapp 的 state,Dapp 開發者不需自己操煩)
這可能有點難懂。如果你有在寫 Solidity,想像一下今天你在合約要用到合約裡宣告的 storage 變數時,你要自己提供 merkle proof 上來,證明這個storage 變數真的是這個值。這個就是開發者要自己維護 state 的意思。
而第二版的 Cairo 則是 StarkNet 裡使用的 Cairo(第一和第二版是不同編譯器),這版的 Cairo 就是作為 Dapp 在 Rollup 開發所使用 — 開發者可以在合約裡宣告變數,變數的值不需開發者維護,可以直接假設存在。
註1:StarkWare 不喜歡 Rollup 這個詞,他們覺得 Data Availability 的需求是一段光譜:不一定得要把 data 全都送上 L1,中間有其他方式可以做不同層級的 Data Availability。
註2:第一版和第二版實際上在官方版本裡是 0.0.1 及 0.0.2,在撰文當前最新版即是 0.0.2
官方網站:https://www.cairo-lang.org
開發者文件:https://www.cairo-lang.org/docs/
開發環境
Cairo 有提供像是 Remix 的瀏覽器 IDE:playground。裡面提供各種範例練習和挑戰,除了可以編譯,還可以直接生成並上傳 proof。
註:但有些功能還是沒辦法在 playground 裡使用,例如要給你的程式 custom input 時。這時候只能在本地端開發才能使用這個功能。
開發 Cairo 要先安裝python,我將開發者文件整理出來的資料統整在這個 hackmd 文檔裡:https://hackmd.io/w690dpAQTsKeKZv3oikzTQ
裡面包含簡介、設置本地開發環境以及 Cairo 基礎(因為篇幅原因,所以不將內容複製到這裡)
註:我把開發者文件裡的代碼整理到這裡:https://github.com/NIC619/cairo_practice/tree/master/practices
如果不想在研究開發者文件過程中,還要自己手動拼湊裡面例子的話,可以直接用整理好的代碼來執行。同時 repo 裡還有包含一些額外自己測試 Cairo 功能的範例。
深入 Cairo
在那份 hackmd 文檔裡的開頭,可以連結到第二部分 — 深入 Cairo 的部分。裡面也是從開發者文件裡擷取出來我覺得比較重要的部分。如果你要讀開發者文件的話,我建議從 Hello Cairo 開始,它會從例子切入,會比較好知道 Cairo 怎麼使用。接著如果要更深入了解,再去讀 How Cairo Works。
StarkNet Cairo
第二版的 Cairo 其實功能和第一版的 Cairo 是差不多的,所以不必擔心在開發者文件裡學到的 Cairo 在 StarkNet 版本會不能用或差很多。在讀完 Hello Cairo/How Cairo works 後,就可以接著看 Hello StarkNet。會很順利的切換到 StarkNet 版本的 Cairo。
註1:我整理的文檔裡是按照第一版 Cairo 所寫的
註2:如果你從開發者文件一路看下來,體驗過非 StarkNet 版的 Cairo,那你在體驗 StarkNet 版的 Cairo 時一定會發現這更像一般智能合約的使用方式 — 你可以用 view 函式查詢 storage 變數,可以用 external 函式去執行合約(非 StarkNet 版本不是這樣操作 Dapp 的,這邊因為篇幅原因沒有詳細介紹)。
非常建議嘗試兩種版本的 Cairo,你會知道 1. 操作一個單獨在 L2 的 Dapp 和2. 操作與其他 Dapp 共存在 Rollup 上的 Dapp 的不同。這對了解 L2 怎麼運行、需要哪些資料、為什麼需要這些資料非常有幫助。
0.0.2 版的 StarkNet Cairo 目前還缺少一些功能:
函式還沒辦法宣告陣列或 struct 型態的參數
合約和合約之間還沒辦法互動
L1 沒有辦法讀取到 L2 的資料,L2 也沒辦法讀取到 L1 的資料。如果要建立跨 L2 Bridge,這個功能非常重要。
補充及個人心得
STARK 的 proof size 相比於 SNARK 系列的 proof size 大很多,又其證明所包含的交易數量對 proof size 和驗證時間的影響不大,所以把很多筆交易一併做一個 proof 會是對 STARK 非常有利、節省成本的方式(SNARK、STARK 比較表)。但這同時也是一個缺點,如果你的 Dapp 或 Rollup 的 TPS 不高,那就只能等更久時間搜集多一點的交易,要不然就只能提高成本來維持驗證 proof 的頻率。
StarkWare和 zkSync 一樣都有 Rollup 宇宙的概念( Rollup 宇宙的用詞並不精確,因為在他們的宇宙中不會所有子鏈都是 Rollup,而是會有依照 Data Availability 程度不同所區分的子鏈,像是 Validium、zk Porter 的設計),個人覺得能夠有(針對 Data Availability 程度的)選擇是會比只有一個選擇(完全 Data Available) 還好的方式,但實際上的可行性就要等其團隊釋出更多的資訊。
在 Rollup 越趨成熟的情況下,能夠提供快速跨 Rollup 服務的流動性提供者的角色會越來越重要。zk Rollup(StarkNet、zkSync、etc…)比 Optimistic Rollup (Optimism、Arbitrum、etc…)有著短上許多的 finalize 時間,這對降低流動性提供者的風險有很大的幫助,但目前 zk Rollup 支援合約功能甚至 L1 <-> L2 互動的完成度都比 Optimistic Rollup 還低上許多。短期內快速跨 Rollup 的服務應該還是侷限在 Optimitic Rollup 之間。
abbrev
[zkp 讀書會] Cairo 語言介紹 was originally published in Taipei Ethereum Meetup on Medium, where people are continuing the conversation by highlighting and responding to this story.
👏 歡迎轉載分享鼓掌
同時也有8部Youtube影片,追蹤數超過13萬的網紅Susie Woo 戴舒萱,也在其Youtube影片中提到,許多學生跟我說,英國人說話常常說話不是很直接,喜歡拐彎抹角,加上最近發現一篇「The News Lens 關鍵評論網」的文章提到英國人的文化,但我不是那麼同意他們所說的內容,所以今天我想來解釋一下對於這篇文章的看法。 #關鍵評論網 的文章連結 ► https://bit.ly/3qbzmG5 0...
「custom意思」的推薦目錄:
- 關於custom意思 在 Taipei Ethereum Meetup Facebook 的最讚貼文
- 關於custom意思 在 Facebook 的最佳解答
- 關於custom意思 在 FLOM Market Facebook 的最佳貼文
- 關於custom意思 在 Susie Woo 戴舒萱 Youtube 的最讚貼文
- 關於custom意思 在 Susie Woo 戴舒萱 Youtube 的最佳貼文
- 關於custom意思 在 buycartv Youtube 的精選貼文
- 關於custom意思 在 英語島雜誌English Island, profile picture - Facebook 的評價
- 關於custom意思 在 Cordwain:來自加州的靈感好鞋| EVERYDAY OBJECT 的評價
custom意思 在 Facebook 的最佳解答
前些日子看到這段詩句覺得很有意思,
特別在母親節前夕抄錄下來。
每個人一出生,
就注定對媽媽有報不完的恩情了。
再忙,
也別忘關心一下媽媽啊!
---課程許願池---
https://blog.ohyeah22.art/p/course.html
---五月實體課程資訊---
高雄、台南、金門課程請看
https://blog.ohyeah22.art/2021/04/handwriting-lesson-202105.html
---五、六、七月課程資訊總表---
https://blog.ohyeah22.art/p/latest-courses.html
-
在家也能自學的線上美字課程
【用隨處可得的平價筆寫一手美字】
https://hahow.in/cr/ohyayeh0222
【一練就上手!書寫高效率日常美字】
https://hahow.in/cr/ohyayeh22
-
✒ 筆:PILOT Custom 845 f尖, Custom 823 f尖
💦 墨:Sailor 若鶯、J. Herbin amber
出處: 吳芬 《把你的心跟肺挖出來帶回鄉下餵狗: 吳芬詩集》
啟明出版
custom意思 在 FLOM Market Facebook 的最佳貼文
[Nike Waffle One By You]
客製你自己的Waffle One
https://www.nike.com/tw/u/custom-nike-waffle-one-by-you-10001058/5539262919
Nike客製化服務推出最近很夯的Nike Waffle One,價格不高,卻有種Sacai混Undercover聯名的感覺,waffle鞋底設計,雙層中底,異材質拼接,非常有意思!喜歡的朋友自己上官網動手設計完可直接下單購買,擁有一雙屬於你自己的配色!另外還可以印字,看你要Fragment聯名還是NBHD、WTAPS都可以啦!
custom意思 在 Susie Woo 戴舒萱 Youtube 的最讚貼文
許多學生跟我說,英國人說話常常說話不是很直接,喜歡拐彎抹角,加上最近發現一篇「The News Lens 關鍵評論網」的文章提到英國人的文化,但我不是那麼同意他們所說的內容,所以今天我想來解釋一下對於這篇文章的看法。
#關鍵評論網 的文章連結 ► https://bit.ly/3qbzmG5
00:00開頭
00:44 如果英國人說 ‘’It’s not bad’’
01:24 如果英國人說 ‘’That’s interesting’’
02:51 如果英國人說 ‘’It’s probably my fault’’
03:49 如果英國人說 ‘’If you don’t mind’’
04:10 如果英國人說 ‘’I’ll see what I can do’’
04:34 英文郵件的開頭 ‘’Hope you’re well’’
05:09 英國文化的特性
06:49 結尾
🔔為什麼聽不懂日常的英文,中文與英文的不同 ► https://youtu.be/dCiMmadqOAU
🔔如何讓你的英文聽起來更道地更有禮貌 ► https://youtu.be/Mi42nlrrl1o
了解更多我的線上課程:https://www.susiewoo.com
- - - - - - - - - - - - - - - - - - - - - - - -
加入 Susie Woo 戴舒萱 的 YouTube頻道會員:
https://www.youtube.com/channel/UC-IQGcGol7OOCH2B2Z8dUag/join
與我一起用英語討論不同議題,讓我聽見你的聲音。
- - - - - - - - - - - - - - - - - - - - - - - -
關注我的IG
► https://www.instagram.com/susiewooenglish
支持我製作更好的內容
https://www.patreon.com/susiewoo
Clubhouse
► @susiewoo
Bilibili (B站)
► https://space.bilibili.com/696608344
#英國人 #說話方式 #英國文化 #文化差異 #英語
![post-title](https://i.ytimg.com/vi/BMmKGXSkBN0/hqdefault.jpg)
custom意思 在 Susie Woo 戴舒萱 Youtube 的最佳貼文
中文和英語的語言邏輯有很大的不同,今天我來分享在英語中,要怎麼說能更有禮貌,更不容易讓別人誤會你的意思!🤔
0:21 不直接說 ''Wait''
0:40 比 ''Imperatives 祈使句''更好的表達方法
1:24 在 ''Already'' 背後的意義
2:03 ''Excuse me'' 的正確用法
3:36 ''I want'' → 'I would like''
3:54 如何使用 ''Hedging''
- - - - - - - - - - - - - - - - - - - - - - - - -
報名我的小組課程(4人為限)請聯繫
➡ susiewooenglish@gmail.com
https://www.susiewoo.com
更多課程資訊
➡ http://ow.ly/eG3f50Cp2hC
- - - - - - - - - - - - - - - - - - - - - - - - -
【支持我製作更好的內容】
https://www.patreon.com/susiewoo
Instagram
► https://www.instagram.com/susiewooenglish
Clubhouse
► @susiewoo
每月的英文時事通訊:
► https://mailchi.mp/4571b6ab1d37/onwards-and-upwards
Bilibili
► https://space.bilibili.com/696608344
#英國
![post-title](https://i.ytimg.com/vi/Mi42nlrrl1o/hqdefault.jpg)
custom意思 在 buycartv Youtube 的精選貼文
(*現在只要在影片下方回答『指定問題』,就有機會獲得車展限定好禮*)
Suzuki Taiwan特別為了喜歡Jimny的車迷朋友們推出了這台Jimny特仕車,不只是大家現在看到的外觀上的改裝,在內裝的部分也多了一些細節上的不同。
這次Suzuki Taiwan的展區非常有意思!除了看車之外,還有很多好玩的設施。包含了Jimny Offroad的越野VR體驗,可以讓等不到車的各位車迷朋友們先做一場熱血的美夢!
剛於今年11月所發表的全新Carry以「載大的夢想 作伙行」的精神進行改裝,讓頭家們了解到全新Carry是您生意上的最佳夥伴。且首次以都會簡約風格的咖啡車,營造濃郁咖啡香氣來邀請參觀朋友們前往現場,活動現場也將提供Suzuki專屬咖啡供參觀朋友們兌換飲用。
Suzuki展區除賞車外也富有活動趣味性,大型吸睛扭蛋機邀請現場參觀的朋友們一同玩樂體驗,活動期間內於展區拍攝與Suzuki展車合照,上傳至個人FB 或IG設定公開,即可兌換扭蛋機會乙次,多樣限量紀念好禮等著您來一試手氣。
更多影片在Go車誌官網: http://www.buycartv.com/
![post-title](https://i.ytimg.com/vi/1GWnfh-1PLY/hqdefault.jpg)
custom意思 在 Cordwain:來自加州的靈感好鞋| EVERYDAY OBJECT 的推薦與評價
Cordwain名稱來自Cordwainer,也就是製鞋者(shoemaker)和皮匠(cobbler)的意思,這個加州品牌毫不掩飾地以製鞋和皮革的專業人士自居,就如它們的系列形象照和鞋子本身透 ... ... <看更多>
custom意思 在 英語島雜誌English Island, profile picture - Facebook 的推薦與評價
這句英文怎麼說你熟悉出入海關的程序嗎? Did you have any trouble with the customs? 【解釋】custom意思為「習俗、慣例」,加上s,customs則是另 ... ... <看更多>