#英國小學 #秋季學期
「船到橋頭自然直」,從外籍新娘到老神在在的地方媽媽,不同文化思考和教育制度,孩子入學媽媽也學習。英國的小學制服以前介紹過,今天開始來說說盎格魯薩克遜人表面嚴肅、實際悶騷到骨子裏,整年度 #多如牛毛的各種校園活動 (每間學校略有不同,可能有幾項不參加/每年規畫不同項目,但是八九不離十、小學七年都在搞這些)
** School Lunch
學校午餐每天在廚房現煮,菜單固定,通常三週為一個週期、15天份不同午餐、每天的主菜選擇三種 (熱食、輕食和素食)、加上不同的配菜和甜點,菜單安排通常遵循傳統每週四吃咖喱、每週五吃魚,其他天可能有義大利麵、pizza、牧羊人派、起司焗義粉、漢堡熱狗堡潛艇堡、烤雞或豬排... 偶爾可能有炒麵;英格蘭地區公立小學 #二年級以下毋須付費,三年級以上每天大約三鎊,也可以自備午餐 (冷食,不提供加熱設備),有些學校允許家長預約付費到學校和比較年幼的孩子共進午餐,朋友參加過覺得學校午餐不錯吃,我想她應該是饑不擇食、不用煮飯洗碗怎樣都好吧,哈哈哈哈哈。
** Snacks
每天有 1-2 次的點心時間,可以自己帶符合健康原則的點心,像是水果、蔬菜棒或麵包條,不能帶巧克力棒或洋芋片,因為可能引發某些學生的過敏反應、大部份學校 #禁帶堅果類。公立學校通常免費供應整籃水果和牛奶,要吃自己拿,數量太多吃不完還會發給學生帶回家。常見的點心水果是蘋果、橘子和香蕉,英國人習慣不洗不削果皮直接吃,不可思議但是世世代代這麼吃好像也沒怎樣。
** Wraparound childcare
課外時段服務,類似安親班的功能。一般小學早上 8:45 上學、下午 3:15 放學,如果父母因為上班之類的因素來不及接送,除了請有立案的 childminder 或是和朋友約定互相支援之外,也可以付費提早到校 (最早可能七點半) 和延後離開 (最晚五點半左右),除了整個月 (或學期) 固定時間制有些學校可以臨託,參加wraparound 的學生不分年級大家集和在一起,依照個別愛好和天氣,分組作手工、玩玩具或者在室外跑跳,總之 #都在玩,早上八點和下午四點半左右會提供簡單的早餐(麥片和吐司) 和點心 (這餐叫"tea",但是一點也不高貴,大抵是 sausage roll、pizza 等等能簡單加熱的食物),去過一些雙親上班參與 wraparound 孩子的家發現他們大多玩具比較少,因為英國小朋友大多七八點上床 #回家差不多要睡覺了玩個屁,而且不挑食又很能吃的孩子 #在學校吃到飽,回家不用再度餵食、馬上能上床睡覺,蠻方便的。
** Summer Born CSA
決定哪一年入學的關鍵是九月一日,在1/9之前滿三歲當年進入pre-school (或 nursery,私校稱為 foundation 或 pre-prep) 開始義務教育,滿四歲上 reception (小學預備班)、五歲一年級(...以此類推),滿五歲之前不強迫上學 (無故請假不罰); 夏天 (4-8月) 出生孩子的父母可以向地方政府申請延後一年上學,這部份以前寫過;皮蛋正是夏天生的孩子,在上學頭兩年的確感覺和秋冬出生的同儕有身材和發展的落差,不過也正如許多人說的,這些落差在三年級之後漸漸消失,也就用不著過生日時糾結是不是比同學大一歲 (延後入學的小孩如果某方面表現好,其他人可能理所當然認為「他大一歲應該的」)。
Nursery 和 pre-school 的不同在於前者偏重玩、收的孩童年齡範圍大 (有嬰幼兒),後者除了玩也注重生活基本能力的培養,可能會教些簡單的數字字母、使用剪刀... 這類的。政府提供的免費幼兒教育福利可以用在立案保姆或公私立幼兒園,公私立的不同在於公立小學附設的 pre-school 師資經過認證、有教學大綱比較有組織,但是時間比較沒彈性 (分上下午。如果上午班就是一週五天每天 9-12點;私立通常可以自選,譬如選上兩個全天和一個半天),公立小學附設、滿三歲入學的 pre-school 大部份必須穿制服、在入學前必須脫離尿布。
** After school club
課後興趣班。課外的興趣選項,常見的有棋藝、桌遊、樂器、足球、合唱團、烘焙、縫紉、電腦、游泳等等,課業需要補強的學生可能受邀參加英語或數學俱樂部,受班級推薦的特定人選則出席自治會;這些興趣班由學校老師或外聘師資主持,通常上到四點,有些選項必須付費,有些有年齡限制,絕大部份有人數限制、填志願先搶先贏,通常每位學生至少能參與一個興趣班,每學期開放興趣班填選大家... #跑得可快搶得之兇啊~~
** Individual school photographs
請專業攝影師到學校幫孩子拍照,有手足在同校的通常可以合照。去英國人家裏常能看到這些不同年度「穿著制服、看起來很smart的照片」一字排開,算是家庭傳統;大概拍照後一個月學校會發線上密碼挑照片,從5*7規格(含紙卡裱框) 到整套購買、作成鑰匙圈馬克杯各種選購項目,也可以付費下載jpg檔案。
** Harvest Festival
九月底十月初。傳達感恩和分享的意義,學校會開出一張單子,通常是乾糧罐頭之類容易儲存的生活必需品,請各家準備好帶去學校,在早會時集合這些東西、擺上很威的一大桌、講些你們都知道的感恩阿惜福阿懂得分享之類 (我也很會講的) #廢話,然後捐給慈善機構或食物銀行。
** Parent's Evening
大概在十月和五月。學校會通知家長勾選適合的時段到學校和老師談話,了解孩子在學校的情形;親師談話一對一進行,同時段不會有其他家長在場,學生本人可以參與。
** Secret Reader
通常在比較年幼的 KS1 班級,全年度邀請家長到學校為學生說故事;志願的家長在約定時間帶著自己選的書到學校、出其不意出現在孩子的教室會讓小孩走路都有風;依照故事書內容可以配合道具,譬如吹泡泡之類的、特別受孩童喜愛。
** Castle Day
通常在學期初。活生生的歷史體驗,由專門辦活動的公司到學校舉辦,主題可能是倫敦大火、維多利亞時代、希臘或羅馬,在這天全班包括老師 #打扮成古人的模樣,在學校做屬於那個年代的活動,譬如鑿井取水、手作中世紀防黑死病的香囊、拿劍盾穿盔甲排出十字軍東征的防禦隊型... 這些。
** Pen licence
鋼筆特許。不寫正體,大部份英國學校要求小孩寫連字和草寫體,從畫符階段晉升能運筆自如,學生得到這張許可、象徵『從此可以 #像大人一樣用原子筆鋼筆寫字』。
** Class Bear
通常在 Reception (四歲) 和一年級 (五歲) 的班級配有班級熊和它的週記,輪到的小朋友週末時把熊帶回家朝夕相處、並幫它拍照寫遊記,在週一帶回學校和大家分享週末做了些什麼,主要用來培養表達能力。
** Show and Tell
在比較年幼的班級裡,擬定主題,譬如「我最喜歡的玩具」,大家把最喜歡的玩具帶去學校、上台分享玩具是什麼、為什麼喜歡等等,也是表達和溝通技巧的練習。
** Golden pupil award
模範生的概念,各種名目,不一定學業成績出色才得獎。頒獎當天得獎學生的家長可能受邀出席很是得意,不過也不用太高興,比較年幼的班級為了讓大家有自信,可能整年度輪流、#通通有獎。
** Phonics badges/times tables badges
拼音和乘法表徽章。英國人學英文的方法和多數亞洲傳統教法不同,教的是字音,看到哪些字母發什麼音很自然,拼音學會就能讀字和閱讀;在每次拼音學習和乘法表(1-12) 學會時,老師會發給不同階段徽章,可能是貼紙或別針,可以自己收藏、別在制服或書包上,看起來很招搖 (也很煩,如果自己的孩子沒得到太多)。
學習自然發音可以看看BBC網站或 YouTube上的 Alphablocks,學數字或乘法表有 Numberblocks;這兩個節目也有雜誌、DVD、書籍和玩具。
** World Mental health day
十月初。世界心理健康日,可能會請小朋友配戴一截綠絲帶、穿黃色衣服上學,或是大家一起用黃色素材裝飾教室。
** Half Term
期中假。一年三學期每學期一次、每次一星期,通常在十月底、二月中和五月底。
** Guy Fawkes Night/Bonfire Night
十一月初。篝火之夜或煙火節,可能會講述節日由來和習俗,然後小孩回家像嘴裏內建鞭炮啵啵啵啵不停亂噴口水。
** Diwali
十一月初。印度新年,學校會大略介紹印度文化,可能會讓大家作一些手工,譬如用陶土作 bling bling 的燭台之類的。
** Remembrance Day
十一月中。國殤日,學習和平的真諦、不忘記戰爭的傷痛,通常會有罌粟花佈置 (大家一起作手工把花貼滿校門),也會請學生帶零錢自由購買義賣的罌粟花徽章手環等等。
** Bake Sale
不定期出現,疫情前一年至少三次,疫情後有些學校還沒辦過。請大家帶自家烘培的糕餅甜點去學校,集中好之後放學時老師會在校門口擺攤販賣、所得作為學校經費,bake sale售價很低、一片蛋糕幾十P這樣吧,問題是... 不曉得誰家拿出來的... (反正我不敢吃啦) 有的 Bake Sale 同時有票選和競賽,最受歡迎最熱賣的不要懷疑就是那些 #五顏六色滿滿糖霜的蛋糕,如果懶得自己動手,捐超市買的現成蛋糕也可以,要不就多帶點錢去買彩票(志在參加絕不要得獎),反正為學校募款是好事。
** Children in Need
十一月中。BBC 為兒童和少年募款的活動,活動代表標誌是隻單眼蒙著彩色點點眼罩的黃毛熊帕西 (Pudsey);這個活動為期一週,可能每天有不同把戲,請大家穿睡衣上學、帶硬幣去學校在地上堆成熊形(之後硬幣捐作公益)、穿點點衣上學、舉辦帕西著色比賽、把家裏的泰迪熊帶去學校參加選美比賽... 這類的,參加者建議小額捐款。
** Anti-bullying week
十一月中。倡導反霸凌、學習尊重個體差異,可能會請學生穿不成對的襪子上學 (odd socks day)。
** Flu Vaccination
十或十一月。由 NHS 團隊到學校幫學生噴流感疫苗,在九月會有意願調查、可以選擇不接受疫苗,小朋友的流感疫苗從鼻腔噴入,噴好會給乖乖貼紙和疫苗注意事項帶回家。
** Christmas tree & lights switch on
十二月初。學校立聖誕樹、點上聖誕燈飾的日子,可能會請每位學生自己作一個吊飾帶去學校掛在樹上並舉辦競賽,根據我的觀察,得獎的通常不是做得完美、家長參與太多的作品,而是 #手工感很強 歪七扭八嘴歪眼斜很有童真那種。
** Nativity Play
大約十月開始學校會排演聖誕節公演,最傳統的主題是耶穌誕生,視學校大小和學生人數多寡,可能每個年級或 KS1 (R, 1, 2年級)、KS2 (3-6) 合演一齣,每個人都有角色,主角找不怯場的學生演,害羞的小孩可能分配旁白跑龍套;扮演角色的服裝需求會在十一月左右請家長準備,最常見是純色衣褲 (Amazon, H&M, eBay, Next 有賣)、再由老師和助教加工 (他們真的很強) 作成舞台服裝;聖誕節公演門票在十二月登記,通常會演兩場或三場,每家限定索取兩張或三張票,閒雜人等不准進入、公演現場 #禁止拍攝 (有些家庭受社服保護,拍照曝露行蹤有損他們的人身安危)。公演散場門口設置捐款箱,不妨帶些現金贊助學校經費。
** Christmas Card Sale
在十月左右學校會讓孩子作聖誕節氣氛的貼圖或繪畫,讓家長自由選擇購買用這幅畫印成的卡片、禮物標籤、鑰匙圈年曆或馬克杯;學校有提成作為經費,通常大家都會捧場。
** Christmas Post Box
通常在十二月初學校會在每班設置信箱讓全校互寄聖誕卡。注重社交的家庭在頭兩年可能全班寄卡片,有些家庭因為環保因素不參加。
** Christmas Jumper day
十二月中。穿有聖誕節氛圍的毛衣上學,可能舉辦聖誕毛衣競賽看誰的毛衣最土,通常附帶小額捐款。
** Christmas lunch
十二月中。大約十一月底學校會發出聖誕節午餐菜單讓大家勾選,傳統菜色主菜必有烤火雞、配菜是烤洋芋小甘籃和約克夏布丁,甜點通常是果凍冰淇淋或巧克力樹幹蛋糕。聖誕節午餐這天早上可能會做些手工、中午大家在食堂戴著早上作的麋鹿帽、玩著聖誕拉炮一起吃午餐,喜氣洋洋。
** Christmas Carol
十二月中。在有合唱社團、宗教支持的學校或私立學校從學期開始會練唱聖誕節詩歌,在十二月時在學校禮堂或教堂演出邀請家長入席。我很喜歡聽小朋友唱聖誕歌,氣氛真摯、想到 #好不容易又一年每天起早趕晚催你去上學 潸然落淚。
** Christmas shoe box appeal
十一月初開始募集。自選性別和年齡層幫不是那麼富裕國家的小朋友準備整鞋盒的聖誕禮物,教導小朋友知足和感恩;這個活動的主辦單位是帶有強烈反同志意識的某宗教團體,如果介意也可以不參加。
** Christmas hamper appeal
大概在十月左右學校會開始徵集聖誕節禮籃的禮物。通常是日常用品,常見的有手工藝美術材料、香檳酒餅乾巧克力這類的,從各家召集的禮物由校方分類包成大禮籃當作彩票的獎品,出售彩票的所得用作學校經費。
** Christmas Fayre
十二月中的週五放學後。聖誕集市 (有些學校也會辦聖誕舞會),在學校禮堂擺攤賣有的沒的,包括上面說到的禮籃彩票,常見的還有各種糖果甜食和裝飾薑餅,大多數設有由教職人員或家長義工扮成聖誕老人和精靈的 Santa's Grotto (聖誕小屋),學校裏聖誕老人給的禮物通常是文具或童書,可能必須排很長的隊入場。
(呼!! 以上是秋季學期我能想到的,歡迎眾媽補充)
「smart youtube next不能看」的推薦目錄:
- 關於smart youtube next不能看 在 Facebook 的最讚貼文
- 關於smart youtube next不能看 在 Taipei Ethereum Meetup Facebook 的最佳解答
- 關於smart youtube next不能看 在 Taipei Ethereum Meetup Facebook 的最讚貼文
- 關於smart youtube next不能看 在 smart youtube無法播放的蘋果、安卓和微軟相關APP 的評價
- 關於smart youtube next不能看 在 Smart Tube Next APK 下載,Youtube電視盒APP - GDaily 的評價
- 關於smart youtube next不能看 在 SMART YOUTUBE TV很卡(海爾電視) (第3頁) - Mobile01 的評價
- 關於smart youtube next不能看 在 SMART YOUTUBE TV很卡(海爾電視) (第3頁) - Mobile01 的評價
- 關於smart youtube next不能看 在 台灣安博經銷- 當前Smart Tube Next 新版本已經故障 - Facebook 的評價
- 關於smart youtube next不能看 在 smart youtube不能看2021 - 網路資訊貼文懶人包 的評價
- 關於smart youtube next不能看 在 請教smart youtube tv 如何在一般的盒子上使用? - Po3C 的評價
- 關於smart youtube next不能看 在 【Smart YouTube 不能看2021】資訊整理& smart ... - Easylife 的評價
- 關於smart youtube next不能看 在 smart youtube next無法播放相關資訊 - 哇哇3C日誌 的評價
- 關於smart youtube next不能看 在 《電視盒可用》Smart YouTube TV APK v6.17.482,已去廣告... 的評價
- 關於smart youtube next不能看 在 Smart YouTube TV 智能電視v6.17.702 解鎖版 - 獅心瘋 的評價
- 關於smart youtube next不能看 在 Smart youtube next不能看* 百變星君粵語 的評價
- 關於smart youtube next不能看 在 電影無法播放或出現錯誤- Android - YouTube說明 的評價
- 關於smart youtube next不能看 在 前往Smart YouTube TV 下載APK,安裝設定教學- GDaily 的評價
- 關於smart youtube next不能看 在 smart youtube tv apk 中文版 - MDSCU 的評價
- 關於smart youtube next不能看 在 smart youtube tv apk中文版 - Dongfeng 的評價
- 關於smart youtube next不能看 在 小米盒子youtube不能看2021 - 軟體兄弟 的評價
- 關於smart youtube next不能看 在 原來是這些因素在搗亂! | smart youtube tv閃退 - 旅遊日本住宿 ... 的評價
- 關於smart youtube next不能看 在 smart youtube tv閃退在PTT/Dcard完整相關資訊 - 你不知道的 ... 的評價
- 關於smart youtube next不能看 在 smart youtube tv閃退在PTT/Dcard完整相關資訊 - 你不知道的 ... 的評價
- 關於smart youtube next不能看 在 smart youtube tv閃退在PTT/Dcard完整相關資訊 - 你不知道的 ... 的評價
- 關於smart youtube next不能看 在 FAQ: Smart Youtube 常見問題 的評價
- 關於smart youtube next不能看 在 Smart YouTube TV, 讓你電視盒子變得更智能 的評價
- 關於smart youtube next不能看 在 youtube tv版apk下載 - Mypagn 的評價
- 關於smart youtube next不能看 在 Smart youtube tv 已停止運作= 刺客教條維京紀元黃金版 的評價
- 關於smart youtube next不能看 在 smart youtube tv不能看在PTT/Dcard完整相關資訊 - 小文青生活 的評價
- 關於smart youtube next不能看 在 smart youtube tv不能看在PTT/Dcard完整相關資訊 - 小文青生活 的評價
- 關於smart youtube next不能看 在 smart youtube tv不能看在PTT/Dcard完整相關資訊 - 小文青生活 的評價
- 關於smart youtube next不能看 在 Smart Youtube TV 出4K一問- 數碼視聽 - HKEPC 的評價
- 關於smart youtube next不能看 在 Google tv youtube 廣告* 星火電視 的評價
- 關於smart youtube next不能看 在 小米盒子等產品讓你無痛輕鬆登入YouTube的《Smart ... 的評價
- 關於smart youtube next不能看 在 小米盒子S看YouTube直播串流(live stream)時,花屏、鬼屏 ... 的評價
- 關於smart youtube next不能看 在 小米盒子youtube不能看2021 - 軟體兄弟 - 科技貼文懶人包 的評價
- 關於smart youtube next不能看 在 看YouTube 一定會有廣告嗎?教你看無廣告YouTube 的五個技巧 的評價
- 關於smart youtube next不能看 在 smart youtube tv一直转圈 - NiceSou 的評價
- 關於smart youtube next不能看 在 youtube 轉圈圈不能看– youtube 一直轉圈圈 - Betteeam 的評價
- 關於smart youtube next不能看 在 超好用的智能电视软件——SmartTubeNext(YouTube TV非 ... 的評價
- 關於smart youtube next不能看 在 smart tv youtube 不能看LG - Lyins 的評價
- 關於smart youtube next不能看 在 智能電視Smart YouTube TV v6.17.730 繁體中文無廣告正式版 ... 的評價
- 關於smart youtube next不能看 在 smart youtube tv 閃退【安博盒子youtube當機】資訊整理 - Ekcup 的評價
- 關於smart youtube next不能看 在 [請益] GoogleTV裝vanced? - Android - PTT生活資訊討論 的評價
- 關於smart youtube next不能看 在 【OVO小學堂】電視版YouTube 如何搜尋影片? 的評價
- 關於smart youtube next不能看 在 Smart youtube tv 下载 - 瘟疫公司apk 破解 的評價
- 關於smart youtube next不能看 在 smart youtube電腦版在PTT/mobile01評價與討論 - 速食 的評價
- 關於smart youtube next不能看 在 smart youtube電腦版在PTT/mobile01評價與討論 - 速食 的評價
- 關於smart youtube next不能看 在 smart youtube電腦版在PTT/mobile01評價與討論 - 速食 的評價
- 關於smart youtube next不能看 在 Smart YouTube TV 去除YouTube 廣告,看影片不用再按略過 ... 的評價
- 關於smart youtube next不能看 在 電視youtube 不能看2019 的評價
- 關於smart youtube next不能看 在 Smart youtube next官網*** LEGIO.MEDIA *** 的評價
- 關於smart youtube next不能看 在 Smart youtube tv不能看2021 *** KAE.NEWS *** 的評價
- 關於smart youtube next不能看 在 前往Smart Tube Next APK 下載12.36,Youtube電視盒APP 的評價
- 關於smart youtube next不能看 在 lg 電視youtube 不能看 的評價
- 關於smart youtube next不能看 在 Smart youtube無法播放~ sketchup mac 破解版 的評價
- 關於smart youtube next不能看 在 Smart Tube Next APK 下載12.79,Youtube電視盒APP 的評價
- 關於smart youtube next不能看 在 找smart youtube tv設定相關社群貼文資訊 的評價
- 關於smart youtube next不能看 在 安博盒子不能看youtube 老舊TV盒子里面的YouTube失效怎么 ... 的評價
- 關於smart youtube next不能看 在 Smart Youtube TV 發生錯誤 - 輕鬆健身去 的評價
- 關於smart youtube next不能看 在 聲寶電視youtube 不能看 的評價
- 關於smart youtube next不能看 在 安博盒子youtube 無法登入有在用安博盒子youtube的客戶 - Sfoy 的評價
- 關於smart youtube next不能看 在 Smart youtube tv 安裝 - 寒戰3 粵語線上看 的評價
- 關於smart youtube next不能看 在 電視youtube app | 天天看片破解 的評價
- 關於smart youtube next不能看 在 Smart youtube tv 不能看*** solid edge st8 破解 - Icd 10 中文版 ... 的評價
- 關於smart youtube next不能看 在 panasonic電視youtube不能看 的評價
- 關於smart youtube next不能看 在 如何在電視上安裝youtube 的評價
- 關於smart youtube next不能看 在 聲寶電視youtube 不能看SAMPO - Czyk 的評價
- 關於smart youtube next不能看 在 安博盒子youtube 不能看 的評價
- 關於smart youtube next不能看 在 smart youtube tv中文輸入在PTT/Dcard完整相關資訊 - 動漫二維 ... 的評價
- 關於smart youtube next不能看 在 smart youtube tv中文輸入在PTT/Dcard完整相關資訊 - 動漫二維 ... 的評價
- 關於smart youtube next不能看 在 smart youtube tv中文輸入在PTT/Dcard完整相關資訊 - 動漫二維 ... 的評價
- 關於smart youtube next不能看 在 smart youtube tv不能看 的評價
- 關於smart youtube next不能看 在 sony電視youtube不能看 - Cnap 的評價
- 關於smart youtube next不能看 在 Smart youtube tv載入中; 糾結粵語 - 主要下载 的評價
- 關於smart youtube next不能看 在 Smarttube next無法播放- 破解youtube 地區限制 的評價
- 關於smart youtube next不能看 在 手機週刊: iPhoneS X Android Issue 592 - 第 4 頁 - Google 圖書結果 的評價
- 關於smart youtube next不能看 在 電腦1週: PCStation Issue 1107 - 第 28 頁 - Google 圖書結果 的評價
- 關於smart youtube next不能看 在 Smart Youtube TV 連線問題反饋#216 - GitHub 的評價
- 關於smart youtube next不能看 在 Smart youtube tv 打不开= 警廣廣播電台頻道 的評價
- 關於smart youtube next不能看 在 PCStation: 電腦1週 1011 - 第 61 頁 - Google 圖書結果 的評價
smart youtube next不能看 在 Taipei Ethereum Meetup Facebook 的最佳解答
📜 [專欄新文章] 2019 台北以太坊社群回顧
✍️ Juin Chiu
📥 歡迎投稿: https://medium.com/taipei-ethereum-meetup #徵技術分享文 #使用心得 #教學文 #medium
很快地,2019 年過去了,台北以太坊社群(TEM)也滿 3 歲了,過去一年,TEM 完成了許多重大的里程碑:
舉辦台灣最大的區塊鏈技術研討會 Crosslink
主持台灣開源界最大的研討會 COSCUP 的區塊鏈議程
參加世界最大的區塊鏈技術研討會 DEVCON
Medium 專欄累積 30+ 篇優質文章
Youtube 頻道累積 50+ 個技術演講
在這篇文章中,我們首先來審視 2019 年以太坊取得重大進展的技術:以太坊2.0與零知識證明,接著再回顧 TEM 於 2019 的優質專欄文章。
*本文由 Juin Chiu 與 Chih-Cheng Liang 共同整理
以太坊重大進展
以太坊2.0的信標鏈
對一般大眾最重要最能吸收的事情大概是 Eth2.0 的信標鏈有測試網路了。透過儀表板網站 www.beaconcha.in 可以看見 Prysmatic Labs 團隊的測試網路的動態。細節很多,但本文就只談這張圖最上面有出現的東西。
在 Eth2.0 沒有挖礦和礦工了,取而代之的是抵押以太幣的驗證者(Validator)來成為資料的寫入者。因此也沒有「區塊時間」這個詞了,新協定以 12 秒為一個「時段」(Slot),信標鏈隨機分配驗證者在指定的時間點產出區塊。在 32 個時段的時間,稱為一個「時期」(Epoch),約 6.4 分鐘,信標鏈會處理驗證者的賞、罰、進、出。在儀表板的左上角可以看到 Epoch 與 Slot 的數字,代表距離最早最古老的區塊多久了。
要怎麼成為驗證者呢?首先要在以太坊 1.0 主網路的抵押合約上,送出一筆交易(在信標鏈測試網路則是送到 Goerli 測試網路)。這筆交易會註冊驗證者的公鑰,並且存入押金(在正式網路是 32 ETH ,測試網路則是 3.2 ETH)。送完之後就排隊等待信標鏈激活驗證者,驗證者就需要開始執行信標鏈分配的任務了。在畫面中間可以看到左邊是 27539 個活躍的驗證者,右邊則是有 4623 個排隊進入的。
在這種基於押金的網路,系統的威脅來自於攻擊者買通大量驗證者,送出矛盾訊息,致使於系統不同節點無法取得共識,鏈資料不可挽回的分叉為兩條。因此系統累積的總押金越多,代表攻擊者成本越高。畫面最右上角左邊即為總押金,右邊為平均一個驗證者的餘額。
假期間和親朋好友一起跑一個驗證者節點,是個活絡氣氛的好活動。要做到這件事,目前 Prysm 客戶端有最友善的介面,請點 連結。程式也用 Docker 包好了,免煩惱安裝。
也記得 Eth2.0 協定有 9 個團隊 用不同程式語言實作。例如:有 Python 語言的客戶端 Trinity ,以及 Rust 語言客戶端 Lighthouse。基本上不用擔心找不到自己喜歡的程式語言的實作。
零知識證明
2019 年,零知識證明的理論與應用也突飛猛進,Kimi Wu 剛好寫了一篇很棒的文獻調查。
前年底提出的 zk rollup,目前由 Matter Labs 在開發,Matter Labs更在上個月(2019/12)發表了 ZK Sync,解決了因為產生證明(proof)而延伸的延遲問題。
此外 Iden3 跟 ConsenSys 也有 zk rollup 的專案。在以太坊研究論壇有基於 zk rollup 的一個提案,是可以達到 匿名性的 zk rollup。
Semaphore是一個基於零知識證明的一個訊號系統,發送者可以不揭露身份的狀況下廣播任何訊息(an arbitrary string)。 Semaphorejs 延續 Semaphore 的核心概念,並將整個概念更加完整化,從前端網頁到後端服務。
這兩年才發表的 zk-STARKs,也在去年年初跟 0x 合作,推出基於 zk-STARKs 的 去中心化交易所。
在技術上,去年下半年有新的論文,使用 DARK compiler 可以讓 SNARKs 達到公開性(Transparent)。還有 MARLIN, SONIC, PLONK 等可通用且可更新的可信設定(trusted setup)。STARKs 的 FRI 驗證方式也默默地跟 SNARKs 做結合。(東西越來越多,根本看不完 QQ)
零知識證明在區塊鏈的重要用途就是「擴展」和「隱私」。技術上的進展,一般可以觀察證明方產出證明的時間、證明的資料大小、驗證方驗證的時間、需不需要可信設定、可信設定有什麼限制、以及抵抗量子電腦的能力。
社群專欄優質文章
Crossslink 2019
Crosslink 2019 Taiwan|以太坊 2.0 的未來藍圖及挑戰
Crosslink Recap: Design pattern: build your first profitable DApp and smart contract
Private key security and protection / 私錀的安全與保護 — Tim Hsu
Crosslink 2019 Taiwan|LibraBridge: 橋接 Libra 與 Ethereum
Aragon Fundraising:下一代的去中心化募資平台
The next generation Ethereum Virtual Machine — Ewasm VM
libp2p — 模組化的點對點網路協議
教學(Tutorial)
一分鐘做出自己的代幣購買App
Web3 Java 開發:用 Geth、Ganache 及 Infura 測試和 Smart Contract 互動
Let’s Capture The Flag! Etheruem CTF Tutorial 從零開始破解智能合約漏洞!
Your First Transaction on Facebook Libra — 動手玩 Libra
ELI5! 區塊鏈到底在幹嘛?
共識協定(Consensus)
Casper FFG:以實現權益證明為目標的共識協定
Casper FFG 與 Casper CBC 的瑜亮情結
若想搞懂區塊鏈就不能忽視的經典:PBFT
密碼學(Cryptography)
Ethereum RNG (RANDAO & VDF)
深入瞭解 zk-SNARKs
瞭解神秘的 ZK-STARKs
隱私性與匿名性(Privacy and Anonymity)
新一代加密貨幣Grin和MimbleWimble區塊鏈解析
Monero.門羅幣 隱匿交易的基礎介紹
隱私、區塊鏈與洋蔥路由
資料可得性(Data Availability)
Data Availability on Ethereum 2.0 Light Node
Fraud and Data Availability Proofs
點對點網路(p2p Network)
連Ethereum都在用!用一個例子徹底理解DHT
針對DHT的花式攻擊與精簡對策
智能合約(Smart Contract)
深入解析Solidity合約
Upgradable Smart Contracts using zos
Reason Why You Should Use EIP1167 Proxy Contract. (With Tutorial)
去中心化金融(DeFi)
DeFi 項目《Uniswap》完整解析(一)Uniswap 是什麼?
解析 DeFi 項目《Uniswap》(二)Uniswap 如何使用?
去中心化身份(DID)
我們與「身份自主」的距離
其他(Miscellaneous)
論言論自由
作為負債的控制
0x 黑客松 — 獲獎作品回顧與分析
技術解析台灣交易所BitoPro駭客攻擊
總結
2019 是個樸實無華但充實的一年,除了在底層技術方面有所進展,在應用方面,例如去中心化金融(DeFi)與去中心化身份(DID),也逐漸獲得大眾的興趣,期待 2020 年區塊鏈能為這世界帶來更多驚奇!
2019 台北以太坊社群回顧 was originally published in Taipei Ethereum Meetup on Medium, where people are continuing the conversation by highlighting and responding to this story.
👏 歡迎轉載分享鼓掌
smart youtube next不能看 在 Taipei Ethereum Meetup Facebook 的最讚貼文
📜 [專欄新文章] The next generation Ethereum Virtual Machine — Ewasm VM
✍️ Peter Lai
📥 歡迎投稿: https://medium.com/taipei-ethereum-meetup #徵技術分享文 #使用心得 #教學文 #medium
The next generation Ethereum Virtual Machine — Ewasm VM
The next generation Ethereum Virtual Machine — Crosslink 2019 Taiwan
這篇文章是 Crosslink 2019 Taiwan 的一個議程紀錄:The next generation Ethereum Virtual Machine,由來自 Second State 的工程部 VP Hung-Ying Tai 分享 Ewasm VM 目前研究內容及未來的方向,內容非常精彩,包含了 EVM bytecode 、 Webassembly、Ewasm1.0 以及 Ewasm2.0 。
EVM bytecode 及 Webassembly(WASM)
以太坊的智能合約交易在執行時,例如 :轉 Token 到別的地址,我們是將 EVM bytecode 讀進以太坊的虛擬機執行,而 EVM bytecode 有以下幾點特色:
256 位元且堆疊式(staked-based)的虛擬機
很多高階的指令,例如:SSTORE, SLOAD, SHA3, EC, Call/Create contract
與實體系統架構(通常是 32/64 位元)有差異,而 256 位元則需要靠模擬來完成
較少程式語言(Vyper, Solidity, …)
Webassembly(WASM)是為了讓不同程式語言開發的套件都能在瀏覽器使用的一種二進位程式語言,WASM 有以下幾點特色:
堆疊式(staked-based)的虛擬機:有獨立的區域空間(暫存器或是記憶體),存取堆疊前 3 個物件(EVM 存取 16 個)
支持 32 / 64 位元的操作
沒有高階的指令
RISC 指令集也可以對應到 CPU ISA
較大的社群:主流的瀏覽器都支援,也有較多的程式語言(C++, Rust, GO, …)
Ewasm 1.0
接下來看看以太坊 Ewasm 的特性:
Ewasm 是 wasm 的子集合
因為不能有誤差,所以不支援浮點數運算
只能 import 以太坊的函式庫,避免 importㄒ系統函式庫
在每段指令之前插入 useGAS 來計算 GAS 的花費
Ethereum Environment Interface
EVM 裡有很多像是 SSLOAD, SHA3 的高階指令,這些指令在 Ewasm 1.0 裡,因為 WASM 可以動態讀取函式庫(模組),以太坊定義了 Ethereum Environment Interface 讓客戶端可以用不同的語言實作相對應的函示庫,而且也更容易完成 prototype 跟升級。
下圖是 Ethereum Environment Interface 定義的函數列表。
Ethereum Environment Interface Definition.
如何移除非法的指令?
Ewasm 使用 system contract 移除非法指令以及加入 useGas 的 bytecode,像是浮點數或是非法的 import,有以下兩種做法:
使用 smart contract 檢查合約的 bytecode
像目前的 precompiles 運行在客戶端上,在部署前先檢查合約
下圖是 Ewasm 1.0 的 stack,在部署合約前 Ewasm bytecode 會先經過 Sentinal 的檢查,成功部署後客戶端如果要執行合約會透過 EVM-C 跟 Heru(Wasm Engine)溝通。
Ewasm Stack
效能問題
究竟使用 Ewasm 效能真的會比較快嗎?講者分享各 EVM 執行 Sha1 以及 BN128mul 的結果,可以發現 EVM 在運行 BN128mul 時會是最快,主要是因為 WASM 支持 32 / 64 位元的操作,256 位元則需要另外模擬(1 個 256 位元的運算可以換成 25 個 64 位元的運算),所以 WASM 在跑 BN128mul 時才會比較慢。
Ewasm 2.0
Ewasm 2.0 的智能合約改叫 Execution Environments(EE),與 Ewasm 1.0 不一樣的有下列幾點
EE 全部都是 WASM 寫的
因為支援 cross shard,每個 EE 都是在一個 shard 上執行
EE 只能拿到 state root,而在合約的執行寫法也跟原來不一樣
EE 是 stateless
下圖可以看到 ERC20 Token 在 Ewasm 2.0 跟 Ewasm 1.0 storage 的比較,Ewasm 1.0 每個 data 都會有相對應的 key,而 Ewasm 2.0 只有存 state root,所以只能跟 state root 互動。
Ewasm 2.0 vs Ewasm 1.0
Phase One and Done
目前 Ewasm 2.0 到 phase one and done 的階段,也有測試的網路可以在 shard block 執行 EE,以太坊也有開源 Ewasm 2.0 的測試工具 Scout。
Hello World for Ewasm 2.0
上圖是 Eth 2 的 Hello World EE,可以看到 main 函數裡第一行讀取 pre state root,接下來驗證 block data size 是不是為 0,最後再將 state root 存回去,Eth 2 的智能合約寫起來都會像這樣。
結論
Ewasm 1.0 目前已經支援 EVM 1 大部分的功能也有測試鏈了,second state 開發一個編譯器 soll,能將 solidity 編譯成 Ewasm,想研究的人可以參考看看。
Ewasm 2.0 目前還在研究中,下圖是講者給大家分享的研究及貢獻的方向。
A MAYBE Roadmap
參考
Crosslink 簡報
webassembly.org
scout
soll
Ewasm overview and the precompile problem: Alex Beregszaszi and Casey Detrio @ Ethereum \\ Part 1 — YouTube
Ewasm overview and the precompile problem: Alex Beregszaszi and Casey Detrio @ Ethereum \\ Part 2 — YouTube
Wasm for blockchain&Eth2 execution: Paul Dworzanski,Alex Beregszaszi,Casey Detrio@Ethereum \\ Part 2 — YouTube
Ewasm for sharding
Ewasm updates
Ewasm design
wasm-intro
The next generation Ethereum Virtual Machine — Ewasm VM was originally published in Taipei Ethereum Meetup on Medium, where people are continuing the conversation by highlighting and responding to this story.
👏 歡迎轉載分享鼓掌
smart youtube next不能看 在 SMART YOUTUBE TV很卡(海爾電視) (第3頁) - Mobile01 的美食出口停車場
SMART YOUTUBE TV很卡(海爾電視) - 昨天開始S-YouTube 就不能看, ... youtube next 要自己重新download 重新安裝, smart youtube 不會自己更新到next. ... <看更多>
smart youtube next不能看 在 SMART YOUTUBE TV很卡(海爾電視) (第3頁) - Mobile01 的美食出口停車場
SMART YOUTUBE TV很卡(海爾電視) - 昨天開始S-YouTube 就不能看, ... youtube next 要自己重新download 重新安裝, smart youtube 不會自己更新到next. ... <看更多>
smart youtube next不能看 在 Smart Tube Next APK 下載,Youtube電視盒APP - GDaily 的美食出口停車場
Smart Tube Next 是 Smart YouTube TV 作者的新作品,優化Youtube 在電視盒上的觀看體驗讓使用者透過遙控器也能輕鬆的操作介面,雖然是第三方的開發者但APP本身是完全 ... ... <看更多>