📜 [專欄新文章] [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.
👏 歡迎轉載分享鼓掌
「cairo語言」的推薦目錄:
- 關於cairo語言 在 Taipei Ethereum Meetup Facebook 的最讚貼文
- 關於cairo語言 在 彭文正 Facebook 的最佳解答
- 關於cairo語言 在 PINK【驛馬星動】如果一生只可以去一個地方旅行,除了印度外,我別無選擇 Facebook 的最讚貼文
- 關於cairo語言 在 Cairo 虚拟机与Cairo语言- 深入理解zk-STARK证明系统 的評價
- 關於cairo語言 在 [Starknet入门] Cairo编程语言入门(1) - YouTube 的評價
- 關於cairo語言 在 WTF-Cairo/01_HelloCairo/readme_cn.md at main 的評價
cairo語言 在 彭文正 Facebook 的最佳解答
轉載Chenchen Chen fb
🛠《大家來找碴welcome strict proofreader 》
看到Christopher Chen附在獨立觀察的連結,披露日本記者黑木亮著手調查東京知事小池百合子的埃及開羅大學學歴史,所以整理了文章一半的中英對照如下,另外一半預期周末整理好再另外貼新版。
大家可以比較東京知事和她的大貴人(埃及前副首相Dr Hatem)如何促使她主張她1976年確從埃及開羅大學畢業的做法。台灣媒體不敢報導此日本疑似假學歷的新聞,倒是刷了很多東京知事抗疫好棒棒的中文報導-想必是要洗嬰粉的腦「會做事就好了,學歷有什麼重要」哈哈😄⋯⋯
✳️原文連結: https://jbpress.ismedia.jp/articles/-/60643
🔥偽造大學學位的指控困擾東京都知事小池百合子(Vol.4)
Allegations of fake university degree haunt Tokyo Governor Yuriko Koike (vol.4)
💥自從現任東京都知事小池百合子(Yuriko Koike)於1992年成為國會議員以來,一直有謠言流傳稱,小池百合子(Koike)文飾美化她的學歷。
Ever since the incumbent Governor of Tokyo, Yuriko Koike became a Member of Parliament in 1992, rumors have been circulating that Koike embellished her academic credentials.
小池聲稱自己曾自開羅大學畢業,但是如果以阿拉伯語為母語的人去聽她的阿拉伯語,那麼她公開身為開羅大學畢業生的學歷,似乎就顯得更加可疑了。
Koike claims to have graduated from Cairo University but if an Arabic speaker listens to her Arabic, her published academic credentials as a Cairo University graduate seems more than dubious.
[我有]強有力的證據可以證明她偽造學歷,例如由室友提供的證詞-有紀錄片可查的證詞;小池的自相矛盾的說法表明,儘管第一年不及格,她仍然在四年之內畢業,她的初階程度阿拉伯語,以及關於畢業論文的謊言,和她拒絕向東京都議會提交畢業文件的頑強行為。
There are strong evidence about her fake academic credentials such as testimony by the flatmate supported by documentary evidence, Koike's self-contradictory statement in her book to have graduated in four years despite failing her first year, her rudimentary Arabic, her lie about the graduation thesis and her stubbornness in refusing to submit her graduation documents to the Tokyo Metropolitan Assembly.
身為一個通曉阿拉伯語並從埃及大學(開羅美國大學的中東研究專業)畢業的人,我自有一種任務感,因此我決定對這些指控進行調查。 經過兩年的調查,我找不到任何證據,甚至沒有一絲一毫的最低線索,可以證明小池是從開羅大學畢業的。
Feeling a sense of duty as someone who learnt Arabic and graduated from an Egyptian university (MA, Middle East Studies from the American University in Cairo), I decided to investigate the allegations. After two years of investigation, I could not find any evidence, nor even the slightest hint that Koike graduated from Cairo University.
在這個共由六大部組成的文章中,我詳細介紹了我的調查結果。這裡是第四部的內容:
In this six-part article, I present the results of my investigation in detail.Here is the fourth part of it;
💥小池有符合[埃及大學]轉學資格嗎?
Was Koike eligible to transfer?
"小池在她的書中和其他地方聲稱,她於1972年10月開學以一年級(新鮮人)生身分進入開羅大學。
Koike claims in her books and other places that she entered Cairo University as a first year student (freshman) in October 1972.
但是,她室友在"假簡歷”紀錄片中說:“小池是於1973年10月以二年級學生身分進入開羅大學。
However, in the ""Fake CV"" the flatmate says, ""Koike entered Cairo University in October 1973 as a second year student.
「小池高興地對我說:“我父親先請當時的哈特姆博士,當時也是埃及副首相,還兼任文化和信息部長,依據我在關西學院大學-是一間日本兵庫縣的私立大學-所上課的幾個月[學程],加上另外在開羅美國大學的上語言課程的幾個月,一起調整合併當成是我在開羅大學就讀的第一學年[學程時間]。」
Koike happily told me ‘My father asked Dr. Hatem, then Egypt's Deputy Prime Minister and Minister of Culture and Information, to swap my few months at Kwansei Gakuin University, a private university in Hyogo prefecture, and a few months at the language course at the American University in Cairo for the first year at Cairo University. ‘
「哈特姆博士接受了這一要求。此外,我的學雜費和申請費全免除了。 」
‘Dr. Hatem accepted the request. In addition, my tuition and admission fees have been waived’ .
這顯然是寫在室友1972年11月19日給她在日本母親的信中的。根據“假簡歷”該部分陳述的內容,她(室友)大部分信都附有信件日期和郵戳。 如果是這樣,他們這些人都將會被埃及法院起訴。
This is apparently written in the flatmate’s letter to her mother in Japan dated 19 November 1972. According to the ""Fake CV"" most of her letters were dated and postmarked. If so, they will be admissible to court."
呈現在“假簡歷”的內容中,含當時也正在埃及另一所大學就讀的另一名日本女性,她說,她對小池當時可以轉入開羅大學二年級就讀感到驚訝。 我(作者:黑木亮)所採訪過的另一位開羅大學的日本畢業生也記得:小池當年是[直接]轉入開羅大學二年級。
In the ""Fake CV"" another Japanese woman who was attending another university in Egypt at the time says she was surprised that Koike had transferred in the second year at Cairo University. Another Japanese graduate of Cairo University whom I interviewed also remembered that Koike had transferred to the second year."
然而,轉學到包括開羅大學在內的埃及國立大學訂有嚴格的規定。為了進行轉學,學生必須在另一所大學獲得與埃及國立大學課程相同或相似的內容和學習時數的學分,並且必須獲得一定程度的成績。 開羅大學轉學中心辦公室向我證實了這一點。
However, strict rules are in place to transfer to Egypt's state universities, including Cairo University. In order to transfer, a student must have earned credits at another university with the same or similar content and number of hours as the Egyptian state university’s curriculum and must have earned a certain number of grades. This was confirmed to me by the Central Transfers Office of Cairo University.
例如,在2016-17學年,如果學生希望:
-轉學到工程或醫學學院,則必須從其他大學獲得至少imtiyaaz(優秀)成績。
-轉學實務研究學院,則必須從其他大學獲得至少jaiid jiddab(非常好)的成績。
-轉學理論學習研究學院,則必須從其他大學獲得至少jaiid (好)的成績。
In the case of the 2016-17 academic year, for example, students are required to have at least imtiyaaz (excellent) grade from other university if the student wishes to transfer to the Faculty of Engineering or Medicine and at least jaiid jiddan (very good) grade in the case of faculties of practical study and at least jaiid (good) grade for those of theoretical study.
前面如曾經提到的記者,達莉亞·施貝爾(Dalia Shibel)這樣告訴我:“在埃及,國立大學和私立大學是兩個完全不同的系統。即使您在開羅的美國大學學習了10年並獲得了必要的學分,您還是必須從開羅(國立)大學的一年級學生重新開始。這是我國的法律”。 因此,像小池這樣沒有在另一所大學讀完一年(也沒有獲得任何學分)的人是完全不可能被核准轉學的。
The aforementioned journalist Dalia Shibel told me that ""In Egypt state universities and private universities are two completely different systems. Even if you study at the American University in Cairo for 10 years obtaining necessary credits, you have to start as a first year student in Cairo University. This is the law of our country"". Therefore it is totally impossible that a person like Koike who has not finished a year at another university (and has not earned any credits) would be allowed to transfer."
小池最多只在關西學院大學學習了幾個月。 她在開羅的美國大學CASA那裡學習阿拉伯語只是一所語言學校,不提供任何學分或學位。 如果像一些日本人指出的那樣,小池真果真是在1973年轉入開羅大學第二年級的話,那不過是欺詐性的轉學而已。 這意味著她從一開始就沒有資格畢業。
Koike only attended Kwansei Gakuin University for several months at most. CASA at the American University in Cairo where she learnt Arabic is just a language school and does not offer any credits or degrees. If, as some Japanese people point out, Koike actually transferred to the second year at Cairo University in 1973, that is nothing but a fraudulent transfer. That means she was not eligible for graduation from the beginning.
💥關於小池入學許可的問題並沒有得到答案
No answer to the question about Koike’s admittance
2019年,有51人因以慈善機構樂捐名義為幌子,賄賂美國一個組織而受到起訴,該組織通過提升名人和其他人的孩子的SAT(大學才能測驗)分數,以欺詐手段允許他們的子女因此能夠進入著名的大學。
In 2019, 51 people were prosecuted in the United States for paying bribes under the guise of charity to an organization that allows celebrities and others to increase their children's SAT (college aptitude test) scores and fraudulently admit them to prestigious universities.
其中一位女演員費利西蒂·霍夫曼(Felicity Huffman)曾出演電視劇《欲望師奶(台灣翻譯)》,被判處14天監禁,並於去年10月在加利福尼亞州的女性監獄中被監禁。 霍夫曼的女兒索菲亞(Sophia)尚未上大學,據報導他將重考SAT。
One of them, actress Felicity Huffman, who starred in the TV drama Desperate Housewives, was sentenced to 14 days in prison and was incarcerated last October in a women's prison in California. Huffman's daughter Sophia has not enrolled in college and is reported to be retaking the SAT.
斯坦福大學以’非合法入學申請’為由,開除一名中國學生,原因在於他的父母為了可以濫用體育贊助(入學)名額,使他得以註冊該校學習課程,向該(同一)組織支付了650萬美元。
Stanford University expelled a Chinese student, whose parents paid $6.5 million to the organization for misusing a sports endorsement slot to enroll in the program, citing irregularities in submissions.
由於小池似乎未達到轉學入埃及國立大學的要求,因此我致信小池,詢問小池是在1972年還是1973年被錄取,但未得到任何答复(有關我詢問的信件內容,以及小池回應的所有完整文件,將在此報告的稍後部分中顯示)。
As Koike does not appear to have fulfilled the requirements for transferring to a state university in Egypt, I sent a letter to Koike, to ask whether she was admitted in 1972 or 1973 but received no response (the full text of my questions to and response from Koike will appear later in this report).
開羅大學是阿拉伯世界著名的大學之一,醫學,工程學,經濟和政治學係有許多優秀的埃及學生。 但是,該校在全球地位並不是很高。
Cairo University is one of the prominent universities in the Arab world and there are many excellent Egyptian students in the Faculties of Medicine, Engineering, and Economics and Political Science. However, its global standing is not very high.
在英國Quacquarelli Symonds Ltd.發布的2020年QS世界大學排名中,開羅大學在全球排名521-530,在埃及排名第二,與日本的熊本大學和長崎大學相當。 埃及最好的大學是開羅的美國大學(私立和美國認可大學),在世界上排名第395(與日本神戶大學並列)。 埃及排名第三的是艾因沙姆斯大學,亞歷山大大學和阿修特大學(所有國立大學),在世界範圍內排名第801-1000。
In the 2020 edition of the QS World University Rankings published by Quacquarelli Symonds Ltd. in the United Kingdom, Cairo University ranks 521-530 in the world and second in Egypt, on par with Kumamoto University and Nagasaki University in Japan. The best university in Egypt is the American University in Cairo (private and American-accredit university) which ranks 395th in the world (tied with Kobe University in Japan). Third place in Egypt are Ain Shams University, Alexandria University, and Assiut University (all state universities) which rank 801-1000th in the world.
💥小池與Abdel-Kader Hatem博士的關係
Koike’s Connections with Dr. Abdel-Kader Hatem
協助小池進行了“可能是欺詐性轉學"的埃及政客的名字出現在“假經歷”這部分的內容中。 這個室友證明,小池在1973年通過著名的埃及政治家阿卜杜勒·卡德爾·哈特姆博士的關係轉入開羅大學二年級。
The name of an Egyptian politician who assisted Koike's possible ""fraudulent transfer"" appears in the ""Fake CV"". The flatmate testifies that Koike transferred to the second grade at Cairo University in 1973 through the connections of Dr. Abdel- Kader Hatem, a prominent Egyptian politician."
Hatem於1917年生於亞歷山大。他畢業於軍事學院和開羅大學。 他參與了1952年的埃及革命(是一個推翻君主制的政變,次年埃及共和國成立),當時他是在由Gamal Abdel Nasser中校領導的自由軍運動中的一名年輕成員。
Hatem was born in Alexandria in 1917. A graduate of the Military Academy and Cairo University. He participated in the Egyptian revolution in 1952 (a coup to overthrow the monarchy which was followed by the foundation of the republic the following year) as a young member of the Free Officers Movement led by then Lieutenant Colonel Gamal Abdel Nasser.
他於1957年成為國民議會議員,總統府副部長,1959年廣播電視國務部長,1962年文化部長,國家指導和旅遊部長,1971年副首相兼文化信息部長 ,曾任全國專業委員會常務理事兼埃及-日本友好協會主席。 他於2015年去世,享年97歲。
He became a member of the National Assembly in 1957, Deputy Minister in the Presidential Office, Minister of State for Radio and Television in 1959, Minister of Culture and Minister of National Guidance and Tourism in 1962, Deputy Prime Minister and Minister of Culture and Information in 1971, then longtime General Supervisor of the Specialized National Councils and President of the Egyptian-Japanese Friendship Association. He died in 2015 at the age of 97.
1974年2月,當時掌控文化和信息的副首相,哈特姆,以正式外賓的身份訪問了日本,並會見了日本首相田中角榮,副首相三木武夫,並參觀了皇宮與天皇會面。 1982年,他被日本政府授予"旭日東昇頭等大勳章”。
In February 1974, Hatem, who was then the Deputy Prime Minister in charge of Culture and Information visited Japan as an official guest and met Japan’s Prime Minister Kakuei Tanaka, Deputy Prime Minister Takeo Miki and visited the Imperial Palace to meet the Emperor. In 1982 he was awarded the Grand Cordon of the Order of the Rising Sun, First Class by the Japanese government.
"在1974年Hatem訪日之際,日本駐埃及大使Tsutomu Wada在1974年2月12日給日本外交大臣的正式電報中寫道:“埃及政治的最新發展,哈特姆副首相的職位(曾擔任首相的代理者)得到了進一步鞏固,正如我經常報導的那樣,埃及副首相在6名媒體記者的陪同下訪問日本,這是非同尋常的,這清楚地表明了哈特姆博士的權力,並表明了他認為這次訪問的重要性。”
On the occasion of Hatem's visit to Japan in 1974 the Japanese Ambassador to Egypt Tsutomu Wada wrote in an official telegram dated 12 February 1974 to the Minister of Foreign Affairs of Japan ""As a result of recent developments in Egyptian politics the position of Deputy Prime Minister Hatem (who had been acting as a substitute for the Prime Minister) has been further strengthened as I have often reported. It is remarkable for an Egyptian Deputy Prime Minister to visit Japan accompanied by 6 media reporters and that clearly shows Dr. Hatem’s power. It also shows how important he thinks this visit is."""
"哈特姆的阿拉伯文傳記《阿卜杜勒·卡德·哈特姆日記-十月戰爭政府首腦》於2016年在開羅出版(由埃及記者易卜拉欣·阿卜杜勒·阿齊茲撰寫)指出,哈特姆與中曾根康弘保持著良好的關係, 自1954年起擔任日本前首相,中曾根將當時的在校學生,小池百合子-他朋友的女兒,介紹給哈特姆,哈特姆照顧小池,小池稱哈特姆為教父,並給了小池零用錢, 每月14埃及鎊。(小池在《長袖和服的金字塔攀登》第250頁上寫道,她每月從埃及政府獲得12英鎊的獎學金)。
🌐Chenchen註:Furisode是日本年輕未婚女性穿著的最正式的和服風格-以長袖為其特色,小池應是以Furisode做為自己的意象代名詞,唯美的描繪她以一介日本年輕嬌嬌女,如何在陌生的中東環境-埃及地,逐步攀登權力金字塔。中東地區非常保守,不但男尊女卑,金字塔也不容許遊客任意攀登,更何況是穿著舉步維艱的長袖正式和服,所以小池以一個浮誇的畫面來增飾自己在埃及留學生活的映象。
The Arabic-language biography of Hatem “The Diary of Abdel-Kader Hatem - Head of the October War Government"" published in Cairo in 2016 (written by an Egyptian journalist Ibrahim Abdel Aziz) states that Hatem had been on good terms with Yasuhiro Nakasone, former Prime Minister of Japan, since 1954 and that Nakasone introduced Yuriko Koike to him, a student at that time, as the daughter of his friend. Hatem took care of Koike. Koike called Hatem a god-father, and he gave Koike an allowance of 14 Egyptian pounds a month (Koike wrote on page 250 of “Furisode Climbing the Pyramid"" that she received a scholarship of 12 pounds a month from the Egyptian government)."
Abdel-Kader Hatem與中曾根康弘
Abdel-Kader Hatem with Yasuhiro Nakasone
"另一方面,小池於1985年出版的書《音譯:Onna女性 no 的Jinmyaku-Zukuri人脈建立 ((我如何以女人的身分經營人脈關係)》指出,她的父親(小池裕郎)很早就認識中曾根。她本人是在小學時代即已見到中曾根,在每個冬天,中曾根都向家人送去了一堆在中曾根選舉區群馬縣產的韭菜,並與他的兄弟一起吃了。
On the other hand Koike's book, ""Onna no Jinmyaku-Zukuri (How I made personal connections as a woman)"" published in 1985 states that her father (Yujiro Koike) had known Nakasone for a long time. She herself first met Nakasone when she was an elementary school student, every winter Nakasone sent her family a bunch of leeks produced in Gunma prefecture, Nakasone’s electoral district, and she ate them with his* brother." 🌐*Chenchen註:應該是She ate them with HER brother.,,
1973年10月6日,埃及爆發了十月戰爭(Yom Kippur War)。 埃及和敘利亞軍隊對部署在蘇伊士運河和戈蘭高地的以色列部隊發動了進攻,試圖奪回1967年六日戰爭(六月戰爭)中以色列佔領的領土。
🌐Chenchen註:這是知名的第四次以阿戰爭,後來引發第一次石油危機,各界認為這是阿拉伯國家在二戰之後,第一次聯手反對西方帝國主義。維基百科:贖罪日戰爭,又稱第四次以阿戰爭、齋月戰爭、十月戰爭...起源於埃及與敘利亞分別攻擊六年前被以色列佔領的西奈半島和戈蘭高地。戰爭的頭一至兩日埃敘聯盟佔了上風,但此後戰況逆轉。至第二周,敘軍退出戈蘭高地。在西奈,以軍在兩軍之間攻擊,越過原來的停火線蘇伊士運河。直到聯合國停火令生效為止,以軍甚至包圍了埃及的主力部隊。 https://zh.m.wikipedia.org/zh-tw/%E8%B4%96%E7%BD%AA%E6%97%A5%E6%88%B0%E7%88%AD
On 6 October 1973, the October War (Yom Kippur War) broke out in Egypt. Egyptian and Syrian forces launched an attack on Israeli forces deployed in the Suez Canal and Golan Heights in an attempt to recapture territory occupied by Israel in the Six Day War (June War) in 1967.
"為了支持埃及和敘利亞,阿拉伯石油輸出國組織(OAPEC)將石油價格提高了1.4倍,並引發了第一次石油危機。 日本被OAPEC視為“不友好”國家之一,由於採取了削減石油供應的措施,日本遭受了經濟危機。 日本政府派副首相三木武夫和前外交大臣小坂健太郎等人前往沙烏地阿拉伯,埃及和阿爾及利亞,要求這些國家將日本改變為“友好國家”類別(所謂的“石油乞討外交”)。 。
In support of Egypt and Syria, the Organization of Arab Petroleum Exporting Countries (OAPEC), raised oil prices by 1.4 times and caused the First Oil Crisis. Japan was considered one of the ""unfriendly"" countries by OAPEC and suffered an economic crisis as a result of measures to cut oil supplies. The Japanese government sent Deputy Prime Minister Takeo Miki and former Foreign Minister Zentaro Kosaka and others to Saudi Arabia, Egypt, and Algeria to ask those countries to change Japan to a ""friendly country"" category (the so-called ""oil begging diplomacy"")."
(待續...或是直接點原文連結)
https://jbpress.ismedia.jp/articles/-/60643
cairo語言 在 PINK【驛馬星動】如果一生只可以去一個地方旅行,除了印度外,我別無選擇 Facebook 的最讚貼文
埃及二《在埃及時刻也在上演的騙局》
偶然在香港看報章或新聞報導也總會看到某人在網上認識了一個從未見面的人但被騙去數十萬以至數百萬的款項,還有很多收到來電表示郵件被海關扣查需要付款之類贖回,就算警訊也在不斷提醒大家不要相信甚麼寶藥黨但偏偏還有收到來電説你的兒子被綁架就付贖款等,每次看完新聞後或許你也會和我一樣覺得很可笑,竟然真的有人相信上當,騙徒的手法固然層出不窮,但無論騙你幾十元以至幾百萬也不外乎是他們太懂得捉大家的心理和弱點。連身在香港的我們也會有機會被騙,更何況到了陌生的國度,溝通不到的語言還有看不懂的文字都會令人感到迷惘,然後旁人再説兩句加上不同針對你心理的手法,很容易就不知不覺上當了。
究竟埃及人如何去演繹不同的戲碼去令遊客一次又一次的墮入不同大小的騙局呢,先和大家分享一下不同程度的親身體驗和江湖傳聞😝
初級組騙徒:
親身經歷:通常發生在各大景點神廟博物館等,穿上傳統的埃及長袍男子分成單人組或雙人組甚至三人組,在景點內不斷徘徊觀察遊客的舉動,看見你準備拍照的一刻就衝過來和你合照,之後就笑住咁望著你說”money “ “tips”。當下我真的嬲到爆,好不容易等到一個位置沒有遊客在拍攝,你無端端衝過來毀了我的單人照片還好意思問我要錢,真的忍不住用廣東話講你無嘢呀! 另外亦有見到其他外國遊客有長袍打扮男子扮好心主動走過來説幫你拍照,之後當然是問你取小費,記著不要把你的相機交給任何不認識的人,亦不要給錢任何人。當然還有些主動向你介紹景點的人,又或是給你任何道具拍攝用的人,緊記在埃及沒有免費的服務,你不需要就拒絕他們。雖然這些初級騙徒只是騙你幾十元,但絕對煩擾到令人沒有心機再繼續欣賞下去,因為同一個景點你會遇到至少幾個這樣的騙子。
另外景點附近售賣紀念品的店員,不斷跟著你硬塞東西在你手上,又或是説one dollar all one dollar come to see ,最沒禮貌的就是一面講一面用手拍你的人,總之就是每一次經過入景點前的一排店就像玩障礙賽般左閃右避,記緊沒有打算購買的朋友記得不要跟他們有眼神接觸,不要回答他們,一直快步走向入口。我只不過想去神廟看看,未到達目的地已經因為要避開他們已經累得一身汗了!
還有很多遊客也會到開羅市集的著名百多年歷史的老咖啡店朝聖,但位置有點難找而附近也開了類似的店不過據說飲品亂開價,而我也在行市集時不小心到達了該咖啡店,本想進去喝杯咖啡休息一下,誰知道旁邊的咖啡店想搶客用一張枱阻去路不給我離去,我唯有在他們爭吵時推開他們的枱離開那條窄巷,真的未飲就已經一肚氣。
說開市集又是另一個充滿騙子的地方,由於市集範圍大,又沒有一個清楚的出入囗,所以又有好多路人甲乙丙扮好心帶路,硬要帶你去他朋友的店購物,不過這一種招數很多國家也有,大家不要中這種輕量級圈套啊!
中級組騙徒:
親身經歷:話說在大城市如開羅和阿歷山大已經可以用Uber 或Careem 的call 車apps非常方便,完全可以避開和司機的任何爭執。事發是我從Luxor 坐內陸機回到Cairo ,拿了行李之後用Uber call了車,跟著指示下了一層的停車場站著等候,當時晩上十一時多,根據apps顯示車還有八分鐘左右才到達,突然有一架私家車停在我面前男子走下車向我說”Uber ? I am your driver !” 我望著電話上的apps 我的司機還未到,我面前的是鬼嗎!連uber司機也可以假扮我真的忍不住笑出來,要讚賞一下這個司機的創意,這個騙局我之前沒有聽過竟然也給我遇到,佩服。於是我把電話螢幕給他看我的司機還未到,他就走了!可能你看到這裡會懷疑很簡單地看看車牌便知道是真是假,關於埃及的車牌九成也是用真正的阿拉伯數字,去過伊朗的朋友便會清楚,和我們平常用的數字不同的,所以你一定要快快背熟1-0的寫法,否則就算call了車在你面前也不知道上那架車。提提大家Uber 真心抵坐,不用受氣,不用討價還價,但埃及的司機經常取消,所以有心理準備有時候要等,埃及的塞車情況也嚴重。我猜假扮司機是因為博我(遊客)看不懂車牌號碼以及晚上十一時心急上車。至於阿斯旺或樂蜀等地暫時還沒有call 車apps可用,還是要親身感受一下和司機討價還價再被追問小費的經驗。
親身經歷:在Abu Simbel 的神廟中,下午三時多的神廟遊人只有數過,在參觀途中突然有工作人員出來問你在哪裏來?回答或不回答他也好之後他也説很喜歡你的國家,然後要拿你的手機或相機檢查你有否拍攝裡面的神廟,(神廟裡拍攝需要另購攝影票)千萬不要給你的手機或相機給他,我説我又不知道你是否職員怎會交給你,要檢查就一起去售票窗口檢查,他見我有點麻煩突然又改口說歡迎你隨便在內拍攝,你喜歡開心就好。我當然沒有聽他在內拍攝,之後他黑著臉離開。記著真的想在裡面拍照先在售票窗口買正式的門票,不要給他們藉囗私下收費,相機和手機更加不可交給他,之後想取回看來要用比拍攝門票更高的費用才可以拿回。
高級組騙徒:
江湖傳聞:案件一針對單身的男性遊客,騙徒有多名同黨自騙自導自演的一場戲,假裝偶遇遊客騙稱是他住的guesthouse 職員讓人放下介心,看準遊客的心理先給你信任,如帶你去用十分合理的價格兌換貨幤或協助你所需 ,然後在取得你的信任後邀請回家喝茶(下了藥的茶)在你感到迷糊之際説要帶你去色情場所,之後突然有警察在途中搜身搶去身上所有財物,沿途有路人甲乙丙丁讓你入戲,受害人之後去警局報案尋求協助,卻有更難受的對待。
案件二,在giza地鐵站出口附近幾名不同年齡的騙徒假稱是一家人從其他城市來開羅旅遊,有小孩在內讓受害人放下介心的心理因素。受害人想找小巴去金字塔,騙徒建議和他們一家人去坐大巴更便宜,受害人必定覺得騙徒不會騙幾元巴士費用,然後就跟著上車,之後一直閒談下車後去騎駱駝或馬車之事,受害人想到跟著當地人必定不會被騙,下車後就跟著行到奇怪的地方,然後就被人騙了上駱駝之後自稱是一家人去旅遊的騙子就不知所蹤,受害人騎完駱駝之後想下來,駝夫報以一個十倍的價格才讓他下來,收這麼貴的原因當然是因為這場戲裡面角色眾多,扮演爸爸的男主角,扮演媽媽的女主角,還有女配角小女孩,男配角小男孩,甘草演員駱駝一隻還有不用對白只是幾個眼神也已經是影帝級演員的駱駝夫,這麼多角色扮演陪你這個最有前途新人玩兩過小時付十倍價格也算值得吧!好笑嗎?這些騙局十多年也在持續進行,只不過加多幾句對白換一換角色身份又在其他遊客身上成功了。
以上的案例分享都是在背包客棧看到,記得打算出發之前用些時間看看他人分享的被騙過程以作警戒。
在埃及或其他地方旅遊也好,時刻也記緊只要信自己,其他人說甚麼也要冷靜思考一下才作出決定啊!任何金錢交易必須先問清楚價格,無論餐廳、交通工具、購物以至士多𥚃買的一支水,也不要掉以輕心,這樣你就可以在埃及不會有任何金錢損失。就算街上寫著tourist police的所謂警察也完全幫不上忙,不懂英語的他們對於我的提問無辦法回答,反而旁邊一直跟著我的船夫英語還比旅遊警察流利,埃及真的太好玩了(誤)
整體在兩個星期裡我沒有甚麼金錢損失,但騙子煩人加上四十多度高溫,對著他們我其實越來越躁底,但大家在埃及或其他國家有遇過甚麼騙局和騙子嗎?一起分享集思廣益讓以後準備出發到埃及的朋友旅程更加順利吧😝回想起來兩個星期在埃及竟然第一個踏足的城市亞歷山大港完全沒有遇到古惑埃及人,原來耳根清靜是如此舒服🤣
重溫埃及一 《埃及的必答題》https://www.facebook.com/227075223978040/posts/2475772645774942?sfns=mo
~待續~
📍埃及
較詳盡的更新在Facebook: indiapinkpink
濕濕碎碎的更新在Instagram:indiapink
cairo語言 在 [Starknet入门] Cairo编程语言入门(1) - YouTube 的推薦與評價
Web3 #Ethereum #Starknet # Cairo #zkrollup Cairo 是一种编程 语言 ,用于可被证明程序的编写,使得其他验证者确信该程序被正确执行。 ... <看更多>
cairo語言 在 WTF-Cairo/01_HelloCairo/readme_cn.md at main 的推薦與評價
Cairo 是以太坊ZK-Rollup扩容方案StarkNet 上智能合约的编程语言。它也用于编写可证明程序。Cairo主要有两个特点:. ZK友好: Cairo 是图灵完备的 ... ... <看更多>
cairo語言 在 Cairo 虚拟机与Cairo语言- 深入理解zk-STARK证明系统 的推薦與評價
Cairo 的加法指令和乘法指令的操作数都在内存上,Cairo 的内存比较特殊,是只读的(immutable)。这和大部分的虚拟机都不一样,比如:. EVM 的操作数通常是放在stack 上, ... ... <看更多>