雖然這篇個人簡介範例鄉民發文沒有被收入到精華區:在個人簡介範例這個話題中,我們另外找到其它相關的精選爆讚文章
在 個人簡介範例產品中有132篇Facebook貼文,粉絲數超過1萬的網紅Yes Please Enjoy by Fanning Tseng,也在其Facebook貼文中提到, 💻 Adobe Lightroom Classic 影像後製 一對一線上教學課程|八、九月暑期班招生 只剩兩個席位 ► https://bit.ly/3wVmBBk 📍 這堂一對一的線上後製課程在我腦袋中轉了半年多了,終於在今年夏天正式上線。這個暑期梯次只有六個名額,招生的早鳥資訊在前兩天先提供給...
同時也有68部Youtube影片,追蹤數超過1,790的網紅李基銘漢聲廣播電台-節目主持人-影音頻道,也在其Youtube影片中提到,本集主題:「旅繪是生活:速寫一本就上手,單色x水彩x色鉛筆,畫下美好回憶」介紹 訪問作者:Sammi 王嘉玲 內容簡介: 生活即旅行,旅行即生活,一起旅行畫畫吧! 一本抵三本,史上CP值最高的繪畫學習書! 三大速寫技法教學X 400多張精緻範例X溫馨的旅行故...
「個人簡介範例」的推薦目錄
- 關於個人簡介範例 在 Sherrie Yuu |美妝護膚✨コスメ?beauty? Instagram 的最讚貼文
- 關於個人簡介範例 在 ?盈盈(豹嫂) ¨̮ Instagram 的最讚貼文
- 關於個人簡介範例 在 ♡-APP SHARE ʙʏ 小余太太-♡ Instagram 的最佳貼文
- 關於個人簡介範例 在 Yes Please Enjoy by Fanning Tseng Facebook 的最佳解答
- 關於個人簡介範例 在 Facebook 的最佳貼文
- 關於個人簡介範例 在 Taipei Ethereum Meetup Facebook 的精選貼文
- 關於個人簡介範例 在 李基銘漢聲廣播電台-節目主持人-影音頻道 Youtube 的最佳貼文
- 關於個人簡介範例 在 Zoebitalk肉比頭 Youtube 的最佳解答
- 關於個人簡介範例 在 李基銘漢聲廣播電台-節目主持人-影音頻道 Youtube 的最讚貼文
個人簡介範例 在 Sherrie Yuu |美妝護膚✨コスメ?beauty? Instagram 的最讚貼文
2021-09-16 10:53:01
(文末抽獎🎁)簡化護膚步驟仍能照顧好肌膚!在忙碌的日子「縮時保養」,一瓶OK😳(日本語レビューあり・English version⬇️) Miracoo 無限琦肌 縮時活膚精萃 Speedy illumination Serum✨ . 我的膚質:偏乾肌 . 【使用感💗】 ♡洗臉後單使用一瓶即可完成保...
個人簡介範例 在 ?盈盈(豹嫂) ¨̮ Instagram 的最讚貼文
2021-09-03 19:15:53
#文末抽獎 想必很多人都有這個困擾⋯ 不管是出遊或出差, 當回到飯店後應該是要享受要放鬆的! 但是!但是!但是!只要洗完頭碰的飯店民宿的吹風機就會火爆起來🔥 →吹風機風量弱到爆⋯吹乾頭髮就要耗費很多時間! 導致頭髮越吹越熱容易讓頭髮受損造成毛躁 →得一直按壓吹風機⋯吹到手超酸! →只有單一檔調風...
個人簡介範例 在 ♡-APP SHARE ʙʏ 小余太太-♡ Instagram 的最佳貼文
2021-08-18 20:54:50
《Lightroom 𝘔𝘪𝘯𝘪𝘮𝘢𝘭𝘪𝘴𝘵 極簡主義色調》 APP: Adobe Lightroom ♡這是之前推過Snapseed版的色調!顏色明亮帶著淡淡青綠色,建議畫面乾淨、場景簡單的照片,調出來才會跟範例接近噢! 我調了五種不同濃度的色調檔案,有的青綠色較重,有的額外帶著紅棕色,才能適...
-
個人簡介範例 在 李基銘漢聲廣播電台-節目主持人-影音頻道 Youtube 的最佳貼文
2020-08-24 23:16:39本集主題:「旅繪是生活:速寫一本就上手,單色x水彩x色鉛筆,畫下美好回憶」介紹
訪問作者:Sammi 王嘉玲
內容簡介:
生活即旅行,旅行即生活,一起旅行畫畫吧!
一本抵三本,史上CP值最高的繪畫學習書!
三大速寫技法教學X 400多張精緻範例X溫馨的旅行故事,
跟著Sammi一起享受旅繪的迷人時光,為生活留下美好的瞬間。
每個人心裡都有一個畫畫夢,卻常常不知道從何開始。其實,畫畫並不是件困難的事,拿起筆,便邁出成功的第一步。
Sammi一路從非本科到現在成為專業老師,跌跌撞撞摸索了十多年,非常了解新手會遇到的困難,也知道老手想更上一層樓的練習需求,因此在本書提供單色、水彩、色鉛筆三大技法的實用基礎介紹、易上手的小技巧,和詳細的繪圖示範。
希望藉由這本書,幫助大家更容易在紙上記錄心中難忘的畫面,學會用屬於自己風格的美麗手繪圖,隨時記錄旅行、生活中的小故事。累積這些珍貴的片刻,會發現生活比以為的更精彩、更遼闊,你也會更有勇氣,拉近跟夢想的距離!
作者簡介:Sammi 王嘉玲
旅繪畫家,專職旅繪速寫教學,是個走跳世界的旅行上癮背包客,2011年開始在世界邊走邊畫,曾因東西被竊在墨西哥擺攤畫速寫賺旅費,後來憑藉這個經驗回國教旅遊速寫。喜歡旅行,酷愛以畫筆記錄旅程以及生活的一切。
從旅行背包客到旅繪老師,世界是開啟我藝術視野的書本,旅行是停不下來的癮,而畫畫是後來記錄世界的方法。把美好的回憶留在畫紙上,畫畫不需要很高深的技巧,但希望每一幅畫都能留下那片刻的故事感動,在心底永久留存。
作者粉絲頁: 旅行筆。Sammi 旅繪
出版社粉絲頁: 遠流粉絲團
請大家支持,我全部六個粉絲頁
李基銘主持人粉絲頁:https://www.facebook.com/voh.lee
李基銘新聞報粉絲頁:https://www.facebook.com/voh.happy
李基銘的影音頻道粉絲頁:https://www.facebook.com/voh.video
漢聲廣播電台「fb新鮮事」節目粉絲頁:https://www.facebook.com/voh.vhbn
漢聲廣播電台「快樂玩童軍」節目粉絲頁:https://www.facebook.com/voh.scout
漢聲廣播電台「生活有意思」節目粉絲頁:https://www.facebook.com/voh.life -
個人簡介範例 在 Zoebitalk肉比頭 Youtube 的最佳解答
2020-08-07 18:00:12上山前的必備安全知識 | 花10分鐘看完再出發|記得給隊友看
戶外、登山⛰️:記得跟我這樣做!不會再迷路啦🤩!
這篇真的很重要趕緊分享給愛戶外的朋友! https://youtu.be/fJ7BrjUxpv8
----------【 精華重點 時間軸 】----------
00:00 - 簡介
00:47 - 行前:路線資訊該怎麼收集?
01:57 - 行前:該什麼時候去玩?天氣神APP?
03:17 - 行前:不迷路!GPX軌跡圖怎麼用?
06:12 - 出發:實地使用軌跡圖
07:42 - 途中:軌跡圖追蹤
08:11 - 途中:迷路了該怎麼辦?
10:42 - 途中:路線預估
11:19 - 行前:登山必備裝備
12:41 - 適合族群:所有戶外夥伴!
------------------------------------------------
【文章攻略】
Android登山必備 APP 圖文版✍️
https://zoebitalk.com/hiking-app-android/
IOS登山必備 APP 圖文版✍️
https://zoebitalk.com/hiking-app-ios/
路線GPX範例網址:旗靈縱走✍️
https://zoebitalk.com/kaohsiung-qiwei-ing-shan/
【相關影片】
Android登山必備 APP |離線地圖|軌跡匯入|座標定位求救
https://youtu.be/SLG7OBNGppw
IOS登山必備 APP | 離線地圖| 軌跡圖| 座標定位| 行程分析
https://youtu.be/HcXUYYqgrR4
千萬別來鳶嘴山 因為太美了 劍龍稜惡夢再臨? | 台中景點
https://youtu.be/_YCXgQAa5sw
被照片騙了...踏上劍龍稜的背就回不了頭!嚴重警告!看完再來!
https://youtu.be/V1D52sGvlEM
----------【 醫師建議 完整急救包 】----------
- 不鏽鋼小剪刀:剪人工皮或紗布分成小塊用,或可拿來挑刺。
- 小鑷子:夾取傷口內的小石子等異物、挑刺、拔硬蜱。
- 安全別針(數個):避免衣物或背包破洞增大時救急用。
- 棉棒(一小包):可幫眼睛上藥或清潔小傷口。
- 乳膠手套(數副):避免自己幫別人處理傷口時感染。
- 木質壓舌板(數支):可幫傷口上藥。
- 體溫計:診斷失溫、中暑、發燒等。不建議使用耳溫槍(可能較不準)或玻璃材質(怕在背包內壓壞)。
- 生理食鹽水(20cc, 4-8罐):沖洗傷口、眼睛。
- 酒精消毒棉片(數片):消毒醫材、手、以及把血擦掉。
- OK繃:包覆小型傷口,滲液較多時建議使用人工皮。
- 防曬乳液、護唇膏、防蚊液。
- 無菌針頭(18-23 G):挑刺,刺破水泡。
- 個人需求、常備藥品。
- 山上使用的醫材不一定都能包在很好的無菌環境裡,要使用前,如果金屬材質的醫材要直接碰觸傷口的話,可以考慮用酒精棉片消毒一下。
火烤消毒雖然容易使用,但不是一個好的消毒方法,且可能破壞醫材鋼質,在有酒精棉片的時候不建議使用。
- 常用藥物(影片中可提到常用藥物依個人需求選配)
大多數的藥物,除一般複方胃藥、暈車藥、抗過敏藥或止痛藥外,多屬於處方用藥,可洽旅遊醫學門診諮詢與取得。
類固醇(Dexamethasone)、當木斯(Diamox)、抗過敏藥物、止痛藥、暈車藥、胃藥、Epi-Pen。
------------------------------------------------
----------【 其他建議】----------
1.稜線長期曝曬路線,如:劍龍稜、鳶嘴山、旗靈縱走...等。夏天極度曝曬,強烈建議假如要前往,飲水要攜帶4000CC以上,已經有多起熱中暑山難事件頻傳。
2.部分路線會經過溪水河床,務必事先查詢適合季節!例如栗松溫泉、四稜溫泉..等。不適合的季節就不要前往,雨季時常常溪水暴漲,非常危險。其餘季節前往也建議攜帶救生衣等相關設備。
3.進階等級的路線,建議可以準備紙本地圖。
4.3000公尺以上的百岳行程,務必要注意身體狀況,或是聽從醫師指示,使用高山症相關藥物。
#109年全國登山日 #教育部體育署 #健行筆記
【❗️安全聲明】
任何戶外活動皆具有風險性,欲前往者請事先安排,挑選適當的天氣,並且自行攜帶適合的裝備以及自行評估戶外活動風險,不要遺留任何垃圾。
對自己的人生安全負責。
Take responsibility for your life!
--
⬇肉比頭系列影片⬇
肉比頭《越南》
https://www.youtube.com/watch?v=0ghP0Xn4L7k&list=PLVAA37RiJKch7lCUAZMsAAY-zQHhf_YCT
肉比頭《寮國》
https://www.youtube.com/watch?v=1FyjMTINjBg&list=PLVAA37RiJKcjDMk0LTEKJlQnMLLZ9Y4uA
肉比頭《菲律賓》
https://www.youtube.com/watch?v=-1wyYaUXnqE&list=PLVAA37RiJKcjaOu_UvHd5dE43J7vXw0rR
肉比頭《馬來西亞》
https://www.youtube.com/watch?v=Uy6I0ofabpY&list=PLVAA37RiJKchadvCzNbzyl-Ck_22o17XE
肉比頭《台灣》
https://www.youtube.com/watch?v=V1D52sGvlEM&list=PLVAA37RiJKciSkWD8bCkc16JQeR4ywGsZ
肉比頭《科技旅人》
https://www.youtube.com/watch?v=cAm7kamZ3YU&list=PLVAA37RiJKcgnYk9dB61ErPzK5NKg3es7
肉比頭《旅行知識》
https://www.youtube.com/watch?v=ES2QVb10dT0&list=PLVAA37RiJKcgnfo0fxVnD6wIMMg4IGZqC
--
⬇自助旅行這樣安排(肉比頭圖文版)⬇
越南 | 北越 | 中越 | 南越 https://zoebitalk.com/vietnam/
菲律賓 | 宿霧x薄荷島 https://zoebitalk.com/cebu-bohol-schedule/
馬來西亞 | 吉隆坡x馬六甲 https://zoebitalk.com/kl-malaka-itinerary/
寮國 | https://zoebitalk.com/laos/
台灣 | https://zoebitalk.com/category/taiwan/
--
⬇肉比頭旅行工具推薦⬇
【住宿預定】
Booking (訂房) https://bit.ly/2kqtLhF
Argoda (訂房) http://bit.ly/2m5WmJx
Airbnb (民宿) http://bit.ly/2moy5P7
HotelsCombined (比價) http://bit.ly/2kTIpON
【行程】
Klook (行程|門票) http://bit.ly/2lZ81Kg
KKDay (行程|門票) http://bit.ly/2kua2hh
【機票】
Skyscanner http://bit.ly/2mk7GBZ
--
⬇︎肉比頭的好康推薦⬇︎
Airbnb註冊-你與我可賺1100NT 住宿折抵金
http://bit.ly/2moy5P7
Klook註冊-你與我可賺NT$100 優惠碼
http://bit.ly/2kr5t7g
--
⬇︎肉比頭的蹤跡⬇︎
贊助我們 https://zoebitalk.com/sponsor/
肉比頭官網 https://zoebitalk.com
肉比頭主頻道 https://www.youtube.com/c/zoebitalk
肉比頭日常直播 https://www.youtube.com/c/zoebitalking
肉比頭FB https://www.facebook.com/zoebitalk
肉依IG https://www.instagram.com/zoebitalk
翔走IG https://www.instagram.com/shawngojustgo -
個人簡介範例 在 李基銘漢聲廣播電台-節目主持人-影音頻道 Youtube 的最讚貼文
2020-05-29 20:56:41本集主題:「SDGs:我們想要的未來:17項永續發展目標&國際實踐範例」介紹
訪問編輯:何喬
內容簡介:
今年夏天的亞馬遜森林大火、德州難得一見的龍捲風、台灣持續的石虎車禍事件,這些是否是你曾經思考過的未來的樣貌?現在的國家多以經濟成長為主,在經濟成長的同時有很多東西都失落了,諸如不是本意的貧富差距、環境破壞、人民幸福度。試想一下十年後的2030年,我們如果再不動作這個地球會被我們糟蹋成什麼樣?
所幸,世界上有這麼一群人(聯合國全體通過)在2015年的時候就想到了這個問題。為了讓他們的下一代有個乾淨、安全的成長環境,於同年9月25日,通過了「2030年永續發展議程」的17項永續發展目標(Sustainable Development Goals, SDGs)。這17個全球性目標(消除貧窮、終極飢餓、健康與福祉、優質教育、性別平權、潔淨水資源、可負擔能源、良好工作與經濟成長、工業化、創新及基礎建設、消弭不平等、永續城鄉、責任消費與生產循環、氣候變遷對策、海洋生態、陸域生態、公平、正義與和平、全球關係夥伴)可望引導國際社會在未來15年(2016-2030)的行動中讓世界更傾向於公平與和平的願景。而對象則是地球上的每一個國家、每一個人。
日本的中、小學與高中,已將培育「創造永續發展社會的推手」列為新的教學指導要領,積極朝國內外各領域全方位參與SDGs的推展。本書是「學校的SDGs」系列打頭陣的第一砲,以17項永續發展目標(消除貧窮、終極飢餓、健康與福祉、優質教育、性別平權、潔淨水資源、可負擔能源……等)在2030年的達標期限為界,讓青少年讀者想像十多年後自己所在的2030年,從未來觀點思考自己現在能夠如何改善眼前的在不足。
書中圍繞這17項永續發展目標,各舉出兩個日本海內外的實踐範例(例如:日本的校園營養午餐計畫、美國的醫療無人機⋯⋯等),除了介紹範例的活動內容,更解析活動構思的由來,其中不乏小朋友貢獻的妙點子(例如:試著從SDGs的角度想一想自己住的社區。SDGs達成後就結束了嗎?)。藉由圖表與漫畫等的生動解說,啟發讀者的創意,也設計趣味問答,請讀者們想想 : 如果是你,會怎麼做呢?
作者簡介:一般社團法人 Think the Earth
●以「生態與經濟並存共生」為宗旨,於2001年成立。
●期使藉由創造力將公民對社會、環境的漠不關心轉變為旺盛好奇心。
●推動多個計畫,以培養個人及企業能擔任永續發展的角色為目標,以達到社會永續。
●曾推出從太空看地球的手錶「wn-1」、寫真集《百年的愚行》、書籍《1秒鐘的世界》、《氣候變動+2℃》、大型影片《生物物語》、環境教育部落格「水資源學校」等等。
出版社: 幸福綠光
粉絲頁: 新自然主義
請大家支持,我全部六個粉絲頁
李基銘主持人粉絲頁:https://www.facebook.com/voh.lee
李基銘的亂亂分享粉絲頁:https://www.facebook.com/voh.happy
李基銘的影音頻道粉絲頁:https://www.facebook.com/voh.video
漢聲廣播電台「fb新鮮事」節目粉絲頁:https://www.facebook.com/voh.vhbn
漢聲廣播電台「快樂玩童軍」節目粉絲頁:https://www.facebook.com/voh.scout
漢聲廣播電台「生活有意思」節目粉絲頁:https://www.facebook.com/voh.life
個人簡介範例 在 Yes Please Enjoy by Fanning Tseng Facebook 的最佳解答
💻 Adobe Lightroom Classic 影像後製
一對一線上教學課程|八、九月暑期班招生
只剩兩個席位 ► https://bit.ly/3wVmBBk
📍 這堂一對一的線上後製課程在我腦袋中轉了半年多了,終於在今年夏天正式上線。這個暑期梯次只有六個名額,招生的早鳥資訊在前兩天先提供給訂閱電子報的讀者、以及上過攝影課的舊生,現在還有兩個名額,開放公開招生。
⭐️ 關於這堂課:
Adobe Lightroom Classic 一對一影像後製線上課程,針對食物、人像、自然地景三大拍攝主題有深入且精闢的分析與實作範例。不管你用手機或是相機拍照,無論你以JPEG或是RAW檔存檔,只要掌握了後製的邏輯與技巧,課程之後不管你面對哪種拍攝主題影像,都可以呈現出具有個人風格的精彩圖像。
📝 課程簡介:
① 420分鐘 / 七小時上好上滿的課程時數
② 用差不多相等於團體課的學費 > 參與一對一獨享的教學品質
③ 五大章節分析關於後製的大小事,以邏輯性的角度學習才能變通應用
④ 製作個人風格濾鏡
⑤ Adobe Lightroom Classic相關應用工具PDF說明書一份
⑥ 課後附加專屬時程內全五個章節的課程錄影檔(mp4),不限時間永久重複觀看複習
⑦ 提供最少六張課程內容示範RAW檔影像檔案給學員練習
⑧ 加入獨立臉書社團,參與不定時直播擴充課程與靈感分享、享有課後諮詢服務
🔗 如果你覺得好像有點興趣、好像有點喜歡,請務必點選連結瀏覽網頁的課程介紹與說明,因為這堂課的規劃與你預設的有點不一樣喔!https://bit.ly/3wVmBBk
💡 網頁裡有課程章節介紹、課程細節說明、使用軟體說明、背著、常見說明等。
📌 如果你有其他關於這堂課的相關提問,也可以直接問我,不用客氣。希望我對攝影的熱情以及在後製上的經驗可以感染你對攝影的喜好與靈感。期待與你在線上的互動與交流
個人簡介範例 在 Facebook 的最佳貼文
前言
批判性思考(Critical Thinking)已經紅很久了,不過,似乎還是不少人對這個名詞的內涵不是很清楚,加上許多讀者希望看到普及版,那筆者就獻醜了。
開頭要先聲明,本系列設定的針對受眾,一是會上網路看文章的成年人,但完全沒有大學以上的訓練;對於大學以上的讀者,主要是針對「理工背景」,並假設「人社背景」的朋友,經過多年已經忘得差不多的前提。所以,難易度會拉的很低,範例不會舉很多,真的想深入學習的,坊間賣的書很多,挑一本好好讀完,收穫會比看筆者的簡易版多很多。
什麼是批判性思考?一般而言分為「技巧性」跟「實質性」,技巧性指的是你是否在閱讀或寫作時,就時時使用技巧去分析,實用性泛指你雖不會提出各種分析,但敘事寫作上就已經是了。
筆者這篇比較偏重技巧性的分析,並用一些例子稍加說明;實質性的訓練,要經年累月才能養成。讀者若不是很能理解,那麼就以理工相關科系的碩博論文寫作為例子,正常的養成訓練,你得要先「觀察現象、發掘問題、提出解決的假設、針對提問進行實驗、歸納整理結果」。
是的,這就是國中生物第一堂課就會教的「觀察、提問、假設、實驗、結論」,科學方法的入門。
...
全文連結https://vocus.cc/eoiss/60db5056fd897800019a5470
================
這是在樹洞答應後,被人敲碗的結果。
文後還是得強調,坊間的書很多,隨便買一本好好讀完或是練習完,都會比看我寫的簡介版收穫更多。
不過我這個短系列四篇,會著重在網路文章上,沒針對一般的書籍,能出版的書籍,大多可以自證,單純就結構來說很少出錯。
總而言之,批判性思考不是非常難的東西,但由於名稱本身常給人誤解,以為重批判而不重創造,這是錯的。我個人認為,後設認知的部分是重點,只是能思考自己的思考,真的很不簡單。
個人簡介範例 在 Taipei Ethereum Meetup Facebook 的精選貼文
📜 [專欄新文章] [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.
👏 歡迎轉載分享鼓掌