📜 [專欄新文章] [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.
👏 歡迎轉載分享鼓掌
「python版本切換」的推薦目錄:
python版本切換 在 小金魚的人生實驗室 Facebook 的最佳解答
上次整理了矽谷阿雅關於 LinkedIn 的直播內容以及整理了Hank Chiu撰寫關於如何挑選 LinkedIn 的大頭照挑選注意事項之後,我覺得雛形有了, 但是我想要更知道每一個欄位我應該要如何寫,有哪些需要注意的事情。
於是,我之前決定我要來至少上一門關於 LinkedIn 的線上課程,購買課程的地方是 Udemy。
為什麼選擇Udemy呢?因為我弟是Udemy的瘋狂愛好者,他在Udemy上不知道買了多少Python的課程(線下學、線上學、線上線下整合的家人代表就是他)。
是說我之前也沒有在 Udemy 上買過課程,我在關鍵字輸入了「LinkedIn」,顯示的前幾堂課有一堂完全吸引了我的目光:
① 課名:[2020] Career Hacking™: Resume, LinkedIn, Interviewing +More
② 購買人數:56,143
③ 課程評價人數:6,659個
④ 平均得分:4.4分 (滿分 5 分)
⑥ 售價:台幣 494 元
光是看到這個購買人數超過 5W 個就覺得很驚人,而且有超過 6 千人評論,重點還可以 4.4 分。這其實真的很不容易。
購買之前,我先看了一下試看的影片,發現幾件事情,所以我決定購買:
① 這是一堂不斷持續更新的課程
從 2015 的 2 月開始一路更新,最後的更新日期是 2020 年的 7 月。
這代表這堂課不斷的精進,雖然不是那種月月更新,但是這代表作者還是有用心在經營這堂課,而不是只是當作一個被動收入來源的工具。
其中,最新一次的更新是關於課後資源的讀取對於手機用戶而言不方便,因此他們優化了資料存放的位置、以及設置了多元的資料儲存雲端空間,讓學習者更為方便。
這讓我知道,原來不止更新課程,週邊配備也在他們的更新範疇裡。
② 老師的英文發音我喜歡、清楚而且有字幕
一開始,會選擇Udemy還有一個原因是我想要開始練習我的英文聽力,但是我知道我現在可能抽不出時間額外練習英文,因此,我就想到一個關於學習語言的方式。
我之前看過一派的說法,如果你想要學習一門外語,那麼最快的方式是:用這個外語去學習一個你已經熟悉的事情,因為這樣你會專注在學習「語言」,而非同時學習「語言」+「新技能」,那些專有名詞、邏輯、理論你都懂,學起來才不會太困難。
我覺得聽起來很有道理,但我從來沒有嘗試過。
所以這次的 LinkedIn 線上課程學習,我也想要這麼做。
所以我挑選了我喜歡的英文發音,然後有字幕,必要的時候可以切換字幕觀看。
我想,趁著這次的 LinkedIn 自我學習之旅,我順便把英文找回來(哦~我不知道它現在在哪裡XD)
③ 每個視頻都很短 2-5分鐘不等
這代表什麼?
這代表,我可以一個影片知道一個事情,然後好好的做筆記、思考、實作。
而不需要看一個長長的影片,然後紀錄自己看到了 xx:xx 的地方。
影片短,就好下手。
以上 3 個原因促使我購買了我的第一堂 LinkedIn 線上課程。
接下來這週,我會著重在這堂課的實作部分。
也就是說,我如果看到有實作的部分,會像之前一樣,實際操作後,與你們分享我的實作過程以及思路。
我的目標是,本週可以把 LinkedIn 的基本欄位都填好了第一個版本,之後可以再來精修。
今天先到這裡,我們明天見:D
★ 好讀blog版:https://goldfishblog.tw/linkedin-04-linkedin-from-udemy/
———本篇文章相關參考文章———
★關於矽谷阿雅解說LinkedIn、美國履歷的整理筆記:https://goldfishblog.tw/linkedin-02/
★關於整理Hank Chin寫關於大頭照的挑選注意事項:https://goldfishblog.tw/linkedin-03/
★ [2020] Career Hacking™: Resume, LinkedIn, Interviewing +More課程連結:https://www.udemy.com/course/golden-gate-bridge/
———讓我們一起完整LinkedIn計畫———
★本計劃原由:https://goldfishblog.tw/top-100-career-questions-34/
★本計劃時程:https://goldfishblog.tw/linkedin-01/
★我的LinkedIn連結🔗:(記得好友邀請的時候note你是小金魚的讀者喔~)
http://linkedin.com/in/景宇-ellie-hsiao-蕭-50a3b269
★想要加入一起完善LinkedIn、拓展弱連結的請訂閱:https://hi.goldfishblog.tw/100-career-questions
#100個最常見的職涯問題 #42
#2020年小金魚的日更200篇挑戰 #DAY85
python版本切換 在 幣圖誌Bituzi Facebook 的最讚貼文
VS code 跟 Jupyter Notebooks 結合起來更好用
python版本切換 在 Ubuntu下切换默认python版本 - QuartzYan`s Blog 的推薦與評價
由于ROS的默认python版本为2.7,而现在很多代码都是跑在python3.*的,故需要时不时的转换python版本,我们这里使用update-alternatives来为整个系统 ... ... <看更多>
python版本切換 在 Anaconda設定python版本安裝虛擬環境 - YouTube 的推薦與評價
[有字幕請開]Anaconda設定 python版本 安裝虛擬環境。python的開發可採用Jupyter notebook參考「win10安裝anaconda並寫python說三遍 ... ... <看更多>
python版本切換 在 多个python版本的切换 - GitHub 的推薦與評價
包管理与pip的使用类似,环境管理则允许用户方便地安装不同版本的python并可以快速切换。 conda的设计理念——conda将几乎所有的工具、第三方包都当做package对待,甚至 ... ... <看更多>