雖然這篇published意思鄉民發文沒有被收入到精華區:在published意思這個話題中,我們另外找到其它相關的精選爆讚文章
在 published意思產品中有52篇Facebook貼文,粉絲數超過0的網紅,也在其Facebook貼文中提到, _#好書選讀 _承認彼此的差異,才是真正的同理心 . 太多人誤以為「當個有同理心的人」指的是「理解別人抱持著什麼心情」。但理解別人的心情,意思應該是理解每個人都有各自的想法與感受。 . 其實誰也不可能真的明白別人的心情,只能透過想像,覺得自己好像懂而已。 . 🔥 風靡日本的職場廢文高級酸《#我最喜歡...
同時也有2部Youtube影片,追蹤數超過1,790的網紅李基銘漢聲廣播電台-節目主持人-影音頻道,也在其Youtube影片中提到,本集主題:「寶島搜神」介紹 訪問作者:角斯 內容簡介: 12個月的神明聖誕千秋、108則神明傳說故事、45尊臺灣人熟悉的神明、17尊動物神獸與器物崇拜 神明的紙上行旅+傳說與民俗趣聞,用圖像入門臺灣神明世界。 黃震南(藏書家、金鼎獎得主):神來之筆,勾勒出傳統神祇的新潮流!...
「published意思」的推薦目錄
- 關於published意思 在 Joyce | Sommelier|侍酒師 ???? Instagram 的最佳解答
- 關於published意思 在 阿v ▴??'? ????? 三個寶包 Instagram 的最讚貼文
- 關於published意思 在 Em Instagram 的最佳貼文
- 關於published意思 在 Facebook 的最佳解答
- 關於published意思 在 每日一冷 Facebook 的最讚貼文
- 關於published意思 在 Taipei Ethereum Meetup Facebook 的精選貼文
- 關於published意思 在 李基銘漢聲廣播電台-節目主持人-影音頻道 Youtube 的最讚貼文
- 關於published意思 在 香港花生 Youtube 的最佳解答
published意思 在 Joyce | Sommelier|侍酒師 ???? Instagram 的最佳解答
2021-08-18 15:44:29
Dear friends and family, I’m so excited and proud to say 酒意思SIP WITH JOYCE is turning 1 year old! 🥳🎈🎉 I started 酒意思SIP WITH JOYCE, an omnichannel p...
published意思 在 阿v ▴??'? ????? 三個寶包 Instagram 的最讚貼文
2021-07-11 10:13:56
原來現在可以讓我多睡幾分鐘,是這麼好! 重點是不用再為了孩子們,耽誤了我化妝時間就可以輕鬆完妝。讓我現在超級省時又省力的! 淑絢這間工作室,我一踏入就有種讓人安心的感覺,畢竟現在防疫期間措施還是有做足,這棟管理員讓我覺得非常用心又盡責。 減少淑絢檢測體溫狀況,因為管理員在一樓就會檢測嘍! 一...
published意思 在 Em Instagram 的最佳貼文
2021-04-02 08:17:48
. 我地可以用: 1. steal a march on sb 2. cut the ground from under sb’s feet 3. steal sb’s thunder E.g. It’s a pity that another scholar stole a match on P...
-
published意思 在 李基銘漢聲廣播電台-節目主持人-影音頻道 Youtube 的最讚貼文
2020-04-27 00:34:17本集主題:「寶島搜神」介紹
訪問作者:角斯
內容簡介:
12個月的神明聖誕千秋、108則神明傳說故事、45尊臺灣人熟悉的神明、17尊動物神獸與器物崇拜
神明的紙上行旅+傳說與民俗趣聞,用圖像入門臺灣神明世界。
黃震南(藏書家、金鼎獎得主):神來之筆,勾勒出傳統神祇的新潮流!
何敬堯 (小說家,《妖怪臺灣》作者) :靈仙降夢,十二月神尊顯聖,動物神與器物神也來鬥鬧熱。神怪畫家角斯的《寶島搜神》,讓鄉土眾神立足新時代,古錐面目與讀者搏感情!神話是每個族群最重要的精神象徵,也是在地故事的傳承,每一個時代也會為各自的文化創造新時代的傳說。因此,角斯作為台灣本土妖怪繪畫先驅之一,不只描妖塗鬼,也為島嶼神祇刻畫嶄新形象,便深具文化再造的重要意義。並且,此畫冊除了有造型逗趣、千變萬化的神靈形象,每幅畫作一旁的民俗解釋,更帶領讀者深入探索神明身世、鄉土變遷的脈絡,十分富有教育意涵。
全民瘋神明,在角斯《寶島搜神》書衣,第一次與神明平易相遇,一次看懂臺灣45尊神明故事。本書繪製出臺灣人最愛拜的神、最神奇的神、最平易近人的神、最神的神、造型最特殊的神……眾神的傳奇,有傳說、民俗典故、俚語,精彩易讀!
作者介紹:辻政信
臺北人,世新大學電影組畢。現職平面設計師、插畫家,經營「角斯角斯」品牌。2012年投入臺灣在地故事的圖像創作,藉由出版品、跨域合作、商品製作,將故事推廣出去。作品融入傳說、神話、怪誕、奇想、妖怪等元素。
參與過第二十九屆金曲獎動畫視覺、臺中國際動畫影展「神話之島」主視覺、伍佰透南風演唱會舞臺插畫視覺。代表作品有:《台灣妖怪地誌》、《台灣妖怪卷壹──巨人怪說》、《台灣妖怪卷貳──怪生島》(入選 3x3 Illustration Annual No.15 Professional published))以及《台灣妖怪鬪陣》桌遊。2017年開始神明繪畫創作,重新詮釋神明樣貌,獲得許多迴響,2020年出版《寶島搜神》。
作者粉絲頁: 角斯角斯
出版社粉絲頁: 聯經出版
請大家支持,我全部六個粉絲頁
李基銘主持人粉絲頁: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 -
published意思 在 香港花生 Youtube 的最佳解答
2019-01-23 00:12:44下期[粤語郭文貴26b]題目預告﹕
-郭文貴不反習,還是不敢反習?
-王歧山控制西方媒體,反習不反王
-王歧山控制華爾街
-王歧山捧殺習的戰略
-班農將爆吳征、白宮險些遣返郭、見王歧山等內幕
-王孟孫之心理變態
-美國人愛中國,所以反中共,不反中國人
(日內推出,敬請留意)
[注釋1]法治基金 - 2018.11.20在紐約的郭文貴新聞發佈會宣佈成立。郭文貴出資10億美元,班農任主席。旨在營救國內被中共關門打狗的少數民族、宗教人士、維權人士、得不到公平審訊的共黨官員、被盜國賊侵佔財產的企業家、和無辜株連的他們的家人,給與庇護庇。詳見[粤語郭文貴25],連結如下﹕
https://youtu.be/u56rrs1HYTE
亦見下面[注釋4]。
[注釋2]香港前途 - 郭文貴說,世界各國注意到香港日漸淪亡,很可能成為下屆英國首相的他的朋友某君,當選後將對香港有大動作,包括嚴格要求中英聯合聲明得到實行,又無條件接受1997年前香港出生的人士,得到英國國籍。此外,世界各國領袖,將有國際動作,把香港變成真正的國城市,享受高度的自由人權法治等。也是詳見[粤語郭文貴25]。https://youtu.be/u56rrs1HYTE
[注釋3]魔幻小說 - 這是我錄製[粤語郭文貴25]的觀點﹕郭文貴縱有部份預測失準,但大方向,尤其是盜國賊們的貪腐和國際日益關注中國的真相,並採相應行動,會影響中共的統治,都一一證實了。小部份失準的預測,仍可當作正面的魔幻小說看待,能激勵人心,向上向善,而且假以時日,經過許多人努力,還可能實現。也是詳見[粤語郭文貴25]。https://youtu.be/u56rrs1HYTE
[注釋4]路德和Sara的連線 - 路德和Sara是郭文貴的支持者。2018.1.19班農在郭文貴家商談法治基金的事,他們訪問了班農十多分鐘,澄清了不少法治基金的問題。值得一看﹕
https://youtu.be/4uafBI3K1os
1/19/2019 路德、SARA独家访谈班农视频中文字幕版:关于法治基金和中美贸易战,大家最关心的问题解答。(英語,有中文字幕)
[注釋5]1120 - 指2018.11.20在紐約舉行的郭文貴新聞發佈會。整個發佈會視頻如下﹕
1120发布会班农和文贵完整演讲字幕版 (普通話、英語、少量法語,全部有中文字幕)
https://youtu.be/nH5jU98Vpzo
頻道﹕
路德社直播台
Published on Nov 24, 2018
[鳴謝讀者David Wong及時提供最新字幕版的連結]
[注釋6]Steve Bannon和幾個將軍 - 班農曾任特朗普的選戰團隊的首席策劃師,後成為白官幕僚。2018年中辭任後,同郭文貴友好,同情中國。亦見[注釋1]和[注釋4]。另外,郭文貴亦同美國現役和退役軍人認識,他們很多都同情中國,當然也關心中美之間的戰略關係。他們常常交流關於中國的問題。按郭文貴報告,美方越來越多人從新的角度認識中國,特別是把中國人民同中共分開,甚至把盜國賊同多數中共黨員分開。
[注釋7]王歧山、孟建柱 - 王是國家前終身副主席,孟是前政法委書記。郭文貴點名他們是首要的盜國賊。
[注釋8]《超限戰》- 國內出版的書,講當今打仗已超乎傳統戰爭的軍事對抗,而是包含敵對國之間,在太空、電子網絡、新聞界、政經商學、社會、文化、........的攻防。
[注釋9]王陽明《传习录》- 儒家的重要著作之一,为明代大儒王守仁的讲学语录,由王守仁的学生徐爱、薛侃和钱德洪等收录编辑而成。《传习录》被认为是王守仁最重要的哲学著作,其中关于“知行合一”、“慎独”、“致中和”等哲学思想有深入探讨。中共近期似乎有所推崇。
[注釋10]薄王初心 - 高新2018年1月發表文章﹕《习近平发动“扫黑除恶”等于是在要求全党全国向薄熙来看齐,向王立军学习》認為,薄熙来在重庆的口号“打黑除恶专项行动”被习近平篡改成“扫黑除恶专项斗争”。
[注釋11]扯惘惘獨子 - 從英文翻譯過來的「粗魯話」,大概是白弄、有姿勢沒實際的意思,你懂的。仍有待聽眾中語言專家指正。
[注釋12]操蛋 - 北方方言,含有抱怨意思的词汇。不好、不理想、不满意和倒霉、晦气的意思。
[注釋13]南普陀計劃 - 胡錦濤退任前,江澤民和他的親信,包括了王歧山,孟建柱、孫力軍、上海幫......,在福建南普陀開了重要會議。有完整計劃,要架空習近平,接管中國。這個計劃,一直相當成功。
把花生留住,請付費支持:轉賬至滙豐銀行 023-280233-838,抬頭 HONG KONG INTERNET RADIO LIMITED
花生網頁: www.hkpeanuts.com
PayPal 付款賬號: hkangrypeanut@gmail.com
FB專頁: https://www.facebook.com/hkpeanuts/
published意思 在 Facebook 的最佳解答
_#好書選讀
_承認彼此的差異,才是真正的同理心
.
太多人誤以為「當個有同理心的人」指的是「理解別人抱持著什麼心情」。但理解別人的心情,意思應該是理解每個人都有各自的想法與感受。
.
其實誰也不可能真的明白別人的心情,只能透過想像,覺得自己好像懂而已。
.
🔥 風靡日本的職場廢文高級酸《#我最喜歡上班了》:https://bit.ly/3lYoRGj
.
_ written by FUMIKO FUMIO
_ published by 今周刊出版
published意思 在 每日一冷 Facebook 的最讚貼文
你知道嗎?【斯巴達的狗狗公主——史上首位在奧運「摘金*」的女性 】 和這紀錄現代人無法效法的各種理由 #本日冷知識1577 #文長注意
本則冷知識兼祝賀台灣舉重女神郭婞淳,無懸念破紀錄兼摘金,把奧運變成單機遊戲啦。
撒花 。:.゚ヽ(*´∀`)ノ゚.:。 撒花
2021 東京奧運有個重點數字——百分之 49——是史上最高的女性運動員參與比率。
回首 1896 年,在顧拜旦男爵(Pierre de Frédy, Baron de Coubertin, 1863-1937)的多年鼓吹之後,第一屆的現代奧運在雅典舉辦。時代風氣使然,當時女性運動員是徹底(被)缺席的。顧拜旦心目中的奧運會,是純粹由男子業餘運動員進行的友好競賽。猶如古希臘的奧林匹克賽事也是謝絕女子參加的。
古代奧運更是嚴禁已婚婦人在場觀戰,理由倒不難懂:希臘男子在田徑賽事中一貫是正面全裸的。奇怪的是未婚女子的待遇就完全不同,不僅可以旁觀男子賽事,甚至可能會在天后希拉(Hera)的慶典上,或與奧運會同步舉辦未婚女子版的運動競賽,可惜這類賽事(Heraean games)的具體記述甚少。
以上是想強調「古代奧林匹克」和「女性」這兩個詞有多互斥。順帶一提,古代奧運勝利不摘金,畢竟頒發金、銀、銅牌是現代發明,古代是頒發橄欖枝的桂冠,所以標題我加了引號。
但是酷妮絲卡公主(Cyniska of Sparta, 442-?)就是一位超犯規的存在,她是連續兩屆古代奧林匹克奧運會:396 年與 392 年的大贏家。
關於本文中提到古希臘的年代,都遵從偷懶原則,省略了「西元前」或 BC 字樣,各位請自己在腦中加負號。關於公主芳名,雖然拉丁拼法很引誘人念成賽妮絲卡,但考慮希臘文是拼成 Κυνίσκα,其中 υ (upsilon) 古音發 /u/,所以,酷妮絲卡。名字涵義是小狗狗♀源自希臘語 κύων 狗。又想到 cynic→犬儒也是同個字根。於是標題「狗狗公主」。
現代人無法效法酷妮絲卡的第一個理由是,她取勝的項目已經不存在了:飆四匹馬拉的雙輪戰車(chariot)賽。就是所謂的少女與戰車......其實不是,因為 396 年時她已 46 歲了。而且其實酷妮絲卡雖然未婚,卻仍是不能親自上場競技的,即使是公主也無法無視習俗。所以她鑽了一個漏洞。但並不是女扮男裝(酷拉皮卡也不是)。公主的奧運夢是這樣圓夢的:她出錢養馬、親自訓練馬匹,奧運時聘個男人上場駕駛但仍是以她的名義競賽。換句話說,古代奧運的馬術常常是騎手獲勝,但金主獲得榮耀。畢竟馬就像古代的超跑,超貴,貴到平民根本養不起,騎師騎雇主的馬就是常態了。 #我是今夜最稀有的品種
作家色諾芬(Xenophon of Athens, c. 430-354)更不客氣評論道,大多奧運競技如田徑靠的是男兒傑出的勇氣♂和技藝 → 多半是戰爭技能的衍伸,例如有一項是著全副重裝步兵的裝甲,約六公斤重在 1 stade ≒ 180 公尺的跑道上往返跑一趟,稱為 hoplitodromos (hoplite 重裝步兵, dromo 跑)。離題講一下,大型運動會場叫 stadium 就是因為古希臘田徑場通常寬 1 stade 左右,此一希臘古長度單位是跑道通常的長度。
色諾芬狂酸說,反觀和馬相關的競賽靠的根本是「恁爸有錢」。畢竟要入手優異的名馬、飼養、日復一日訓練都需一擲千金。超譯成現代術語就類似說,以大量投資墊高競爭者的入場門檻,就是用錢 KO 對手這樣。
又双離個題,在酷妮絲卡初次奪冠後過了十屆,356 年的奧運會上,馬其頓的菲利浦二世的馬贏了某馬術項目。傳說同一天適逢亞歷山大出生,被當成大吉之兆——幸好亞歷山大沒有因此被命名為 Hippodromniki 之類的,hippodrome 跑馬,nike 勝利。想他姐姐出生那天菲利浦國王恰在 Thessaly 打了勝仗,大喜之下就命名女兒 Thessaloniki 了 (也是現代希臘第二大城)。
扯太遠啦,浪子回頭。斯巴達的酷妮絲卡公主的功績,現代人無法效法也大概無須吹捧的第二個理由在於她的身分:她的父親 Archidamus 二世是斯巴達國王(雙王之一),她的哥哥也繼任父親,是為斯巴達國王 Agesilaus 二世。斯巴達的「雙王」理解成是戰時的兩名最高軍事領袖,且是斯巴達最顯赫家系才能擔任的。
時間軸大概是這樣:狗狗公主出生在伯羅奔尼薩戰爭(431-404)前不久,她的名字是紀念斯巴達國王的祖父的小名,而她的父王帶領斯巴達軍三次大肆攻擊了雅典,在公主獲得桂冠殊榮時,斯巴達已在這場古希臘的世界大戰中獲勝(而雅典幾乎全毀),那時她的王兄已繼位,為斯巴達的希臘霸主(hegemon)時期。她便繼承了過世父王的馬匹,且在王兄的大力資助下參賽。
酷妮絲卡能躋身古代奧運勝者之林的最後一個重要理由,就是斯巴達那古代罕見的奇葩社會型態。在斯巴達女性擁有很大的自主權,甚至自己名下擁有財產。斯巴達女人受到的教育程度也高,理由後述。最後不愧是斯巴達,戰死了無數男人,繼承了遺產的斯巴達的寡婦以富裕聞名。
話說日後,哲學家亞里斯多德(384-322)將會見證斯巴達從希臘的霸主衰退成一地方勢力,讓出其霸主地位給馬其頓。亞里斯多德評論說,斯巴達的衰退起因是它「淪為女性治國的地方」。只不過亞里斯多德有個特色:他說過的每句話幾乎都錯了——還真不容易——我們切莫聽他。例如他也曾斬釘截鐵說女人的牙齒比男人少 XD。
但亞氏這番攻擊也在在反映了斯巴達女子掌握權力之大、獨立性之高,在整個希臘世界都是異類存在,果然就被針對了。其他古希臘城邦中,婦女權利依附於男性家主,女性的預設角色是承擔家務與雜役,只比奴隸高一層級而已。不擁有私有財產,養馬什麼的更不用說了。
為何有這麼大差異?其實,斯巴達的社會有一項至高原則......你以為是「尚武」對吧?但其實有個法則比尚武更優先,那就是「徹底貫徹優生學」——生產出繁多又強壯的下一代是國民義務,這樣即使斯巴達在征戰中折損男丁,都能很快就生回來,生生不息繁榮昌盛才好當霸主。
出於這種優生考量,斯巴達人相信體質強健的女子對於生育壯丁也同等重要,於是產生了格言:「生男當然最好,但即使生女也要把她教養的和她的兄弟一樣強」。這樣到底算不算一種性別分工下的權力平均咧?也因此,斯巴達女性接受的教育包括了健體強身的各種運動、音樂舞蹈甚至騎乘,都由年長的女性教授,只差沒有軍事訓練而已(卡珊德拉表示)。斯巴達很可能有女子運動會,甚至可能讓年輕的男女在賽事上裸裎相見相互競技。又順帶一提,英語的健身房/體育館 gymnasium 這個字就來自希臘語的裸體 γυμνός (gumnos),不過奇怪的,德語 gymnasium 的意思是大學預科學校......不細說了XD
再加上,其實斯巴達男人在 30 歲之前是不能和妻子同居的,斯巴達男人從相當於我們小學的年紀就被要求集體生活,集體受軍事訓練,和同儕與師長養成親密♂無間的信任關係,如果早早成家生子,要總不在家的男人張羅家務事和養育後代......就無法,於是斯巴達女性需當家,並掙得了高度自主權。與之相對,理想的斯巴達女性美德完全在於能否養育出勇士。斯巴達的悍母民風在歷史的一頁展現了。希臘化時代的名將,國王皮洛士(Pyrrhus of Epirus, 306-272)在他生命的最後一年揮軍試圖硬吃斯巴達,當兩軍在城下對峙,斯巴達女性一擁而出,連夜在兩軍之間挖了一條戰壕,還叫士兵男孩們今晚多休息,儲備體力以待拂曉決戰,多威猛的斯巴達媽媽。
最後來說壓軸的限制級內容,斯巴達社會型態的根本由來——其強悍勇武與其說是出於抵禦外敵,更是無時無刻不在防範身邊眾多的奴隸:黑勞士(Helots)的反叛。歷史之父希羅多德曾估計,每 1 個斯巴達公民或許對應到 7 個黑勞士奴隸,這種懸殊比例,表示斯巴達人隨時都要有以一砍十的自信。
斯巴達人始終使用一種非人的恐怖,在統御/蹂躪著這大量的他們眼中的人形牲畜,詳情不可描述。因此斯巴達人的男女分工才會如前述,貫徹優生考量,資源全用產兵,技能全點武力,斯巴達女人並不需紡織下田飼養,生產勞作由奴隸做,女人唯需要生養教育出男子,男子唯需要高效率的殺人。知道這些背景,再看《300 壯士》你或許會有完全不同的感受。
好了好了,太嚴肅了,換個話題。話說贏了古希臘奧林匹克的人「只會得到橄欖枝桂冠和榮譽」而沒有物質上的餽贈,究竟合不合實情呢?
顧拜旦男爵認為古希臘人純屬為榮譽、為愛而投入奧林匹克競賽,只是個一廂情願的曲解罷了。參與多半還是冀望拿些好處的,不管爭名還是牟利。較世俗的城邦常配發年金或給予冠軍終生免稅的待遇,換取一個光榮的代言權,把英雄寫進城邦的神話裡。有點像補習班拿高分榜首同學當招生號召,就會給一點意思意思的獎金那樣。也有有野心之士利用奧運的光環(或是說橄欖環)作為進入政界的入口。想,你都變成世界級名人了,以知名度做槓桿試著在世上做出些改變應該算是人之常情。
另一種政治操作就高調了:冠軍會被當成半神,即古希臘的英雄崇拜(hero cult)。斯巴達的酷妮絲卡,我們的狗狗公主就獲得這種待遇,即使在她過世後多年,在斯巴達對她的崇拜仍不停歇,激勵了更多斯巴達女子投入奧運。畢竟在希臘人心目中傑出的人 = 英雄 = 有神性。出了英雄的家系更是世世代代講話卡大聲。酷妮絲卡的王兄會大力支持她追求奧運夢,大概有著這種算盤,即使他們家世早就夠顯赫了,但能利用的政治資本就要利用......
行文至此,我的腦忽然嘖了一聲,說:「喂,科宅,奧運比賽大家開心就好。不需要追究這麼多喔」。好的大家,那我們下次再見,祝各位觀賽武運昌隆!
_
插圖:歐蘿拉·栖夜·莉絲·凱明公主。和本文關係是沒有。
參考資料:wikipedia - Cynisca ; wikipedia - Women in ancient Sparta。現代奧運的男女運動員人數比 Number of athletes at the Summer Olympics by gender 1896-2016
Published by Aaron O'Neill, Jul 15, 2020。
published意思 在 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.
👏 歡迎轉載分享鼓掌