【跟著AIT一起學程式設計】
Python系列的最後一堂課來囉!今天我們要教大家在Python中製作Hangman 猜字遊戲,這個遊戲可以加強英文字彙和拼字能力。我們會從匯入單字題目、設定答錯次數、判斷是否答對等步驟,一步步慢慢建構出猜字遊戲。在這堂課程中,除了可以學會客製化自己的遊戲之外,大家也會複習到前幾支影片中 import、input、print、for / while、if / else等邏輯的綜合運用!如果你還沒看過前面幾支影片也沒有關係,相信老師清楚的解說會讓你馬上了解箇中要領。一起跟著做看看!#PythonForBeginners #Python
* AIT程式語言課程是因應新冠疫情而推出的線上活動之一。
Learning Python with AIT
Here is our last Python class! Today we will show you how to code a hangman word guessing game in Python. It’s a game that can help improve vocabulary and spelling. You will start by importing word banks, setting maximum guessing times…and build the game step by step. In addition to customizing a game that suits you, you will also get to review Python logic, such as import, input, print, for / while and if / else statements. Don’t worry if you haven’t watched the previous episodes, since the clear instructions make it easy. Let’s check out this video and start coding! #PythonForBeginners #Python
*The series of Python classes is part of AIT's online learning resources.
同時也有17部Youtube影片,追蹤數超過4萬的網紅吳老師教學部落格,也在其Youtube影片中提到,TQC+Python3證照第1次(證照類別說明與102題浮點數格式化與104題圓形面積計算) 上課內容: 01_PYTHON證照類別說明(一到五類) 02_PYTHON與JAVA趨勢比較 03_PYTHON證照類別說明(六到九類) 04_ECLIPSE設計環境與相關設定 05_102題浮點數格式化...
「input in python」的推薦目錄:
- 關於input in python 在 美國在台協會 AIT Facebook 的精選貼文
- 關於input in python 在 Taipei Ethereum Meetup Facebook 的最佳貼文
- 關於input in python 在 矽谷牛的耕田筆記 Facebook 的精選貼文
- 關於input in python 在 吳老師教學部落格 Youtube 的精選貼文
- 關於input in python 在 吳老師教學部落格 Youtube 的最讚貼文
- 關於input in python 在 吳老師教學部落格 Youtube 的精選貼文
- 關於input in python 在 How to convert an user input to a set in python? - Stack Overflow 的評價
- 關於input in python 在 Python input 取得鍵盤輸入 的評價
input in python 在 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.
👏 歡迎轉載分享鼓掌
input in python 在 矽谷牛的耕田筆記 Facebook 的精選貼文
跟大家分享一個熱騰騰的消息,來自於 CNCF 上面 Apple Inc 的分享
Apple 未來將會將內部的應用都部署從過去的 Apache Mesos 給逐漸轉移到 Kubernetes 上。
# 重點整理
1. Kubernetes 這種 plug-in 的生態系其實對使用者來說非常方便,針對網路,儲存等相關選擇不會再是一次定生死的玩法。任何時刻都可以根據需求重新評估並且不需要整個系統重新打掉
2.. Kubernetes 透過 CRD + Controller 這種概念讓開發者可以存取其 API 來達到很多客製化的功能
3. 要如何讓整個組織內的團隊都採用 Kubernetes 並且使用其學習曲線非常高,對整個團隊帶來的衝擊也是不可忽視
4. 目前內部已經正在嘗試 Kubernetes 想辦法來符合來自於不同團隊的需求,譬如 Java/Python/Go 的開發者, SRE 團隊, 硬體團隊與機器學習團隊
5. Apple 打算基於 namespace-as-a-service 以及 cluster-as-a-service 來提供環境給不同團隊使用
6. Apple 工程師也積極的參與 Kubernetes 的開發與貢獻,同時也在研究關於 microVM 等技術,希望能夠針對多租戶的應用情況下有所幫助。
註:
1. Kubernetes 透過 CRI/CNI/CSI 來提供彈性的 運算/網路/儲存 選擇
2. 對於 CNCF 來說,Apple 的公開使用是一個令人振奮的消息,愈來愈多的大公司往這邊邁進。
3. 多年前 Linux Foundation 一段演講中提到, Linux 之於作業系統,就如同 Kubernettes 之餘雲端,不知道這件事情會不會發生?
有興趣的點選下文觀看全部訪談
https://thenewstack.io/apple-plans-to-run-most-of-its-compute-management-on-kubernetes/
input in python 在 吳老師教學部落格 Youtube 的精選貼文
TQC+Python3證照第1次(證照類別說明與102題浮點數格式化與104題圓形面積計算)
上課內容:
01_PYTHON證照類別說明(一到五類)
02_PYTHON與JAVA趨勢比較
03_PYTHON證照類別說明(六到九類)
04_ECLIPSE設計環境與相關設定
05_102題浮點數格式化輸出試題說明
06_證照102題INPUT與OUT說明
07_證照102題FORAMT格式化之一
08_證照102題INPUT與FORAMT格式化之二
09_轉型用eval函數
10_證照104題圓形面積計算解題
完整教學
http://goo.gl/aQTMFS
吳老師教學論壇
http://www.tqc.idv.tw/
懶人包:
EXCEL函數與VBA http://terry28853669.pixnet.net/blog/category/list/1384521
EXCEL VBA自動化教學 http://terry28853669.pixnet.net/blog/category/list/1384524
TQC+Python證照目錄:
Python 第1類:基本程式設計
技能內容:變數與常數、指定敘述、標準輸入輸出、運算式、算術運算子、數學函式的應用、格式化的輸出Python 第2類:選擇敘述
技能內容:if、if...else、if…elif
Python 第3類:迴圈敘述
技能內容:while、for…in
Python 第4類:進階控制流程
技能內容:常用的控制結構、條件判斷、迴圈
Python 第5類:函式(Function)
技能內容:函式使用、傳遞參數、回傳資料、內建函式、區域變數與全域變數
Python 第6類:串列(List)的運作(一維、二維以及多維)
技能內容:串列的建立、串列的函式、串列參數傳遞、串列應用
Python 第7類:數組(Tuple)、集合(Set)以及詞典(Dictionary)
技能內容:數組、集合、詞典的建立、運作及應用
Python 第8類:字串(String)的運作
技能內容:字串的建立、字串的庫存函式、字串的應用
Python 第9類:檔案與異常處理
技能內容:文字I/O、檔案的建立、寫入資料與讀取資料、二進位I/O、編碼(Encoding)、異常處理
吳老師 108/12/27
EXCEL,VBA,Python,證照,東吳,文化推廣部,EXCEL,VBA,函數,程式設計,線上教學,PYTHON安裝環境
![post-title](https://i.ytimg.com/vi/j8oy0LpW7b8/hqdefault.jpg)
input in python 在 吳老師教學部落格 Youtube 的最讚貼文
TQC+Python3證照第1次(證照類別說明與102題浮點數格式化與104題圓形面積計算)
上課內容:
01_PYTHON證照類別說明(一到五類)
02_PYTHON與JAVA趨勢比較
03_PYTHON證照類別說明(六到九類)
04_ECLIPSE設計環境與相關設定
05_102題浮點數格式化輸出試題說明
06_證照102題INPUT與OUT說明
07_證照102題FORAMT格式化之一
08_證照102題INPUT與FORAMT格式化之二
09_轉型用eval函數
10_證照104題圓形面積計算解題
完整教學
http://goo.gl/aQTMFS
吳老師教學論壇
http://www.tqc.idv.tw/
懶人包:
EXCEL函數與VBA http://terry28853669.pixnet.net/blog/category/list/1384521
EXCEL VBA自動化教學 http://terry28853669.pixnet.net/blog/category/list/1384524
TQC+Python證照目錄:
Python 第1類:基本程式設計
技能內容:變數與常數、指定敘述、標準輸入輸出、運算式、算術運算子、數學函式的應用、格式化的輸出Python 第2類:選擇敘述
技能內容:if、if...else、if…elif
Python 第3類:迴圈敘述
技能內容:while、for…in
Python 第4類:進階控制流程
技能內容:常用的控制結構、條件判斷、迴圈
Python 第5類:函式(Function)
技能內容:函式使用、傳遞參數、回傳資料、內建函式、區域變數與全域變數
Python 第6類:串列(List)的運作(一維、二維以及多維)
技能內容:串列的建立、串列的函式、串列參數傳遞、串列應用
Python 第7類:數組(Tuple)、集合(Set)以及詞典(Dictionary)
技能內容:數組、集合、詞典的建立、運作及應用
Python 第8類:字串(String)的運作
技能內容:字串的建立、字串的庫存函式、字串的應用
Python 第9類:檔案與異常處理
技能內容:文字I/O、檔案的建立、寫入資料與讀取資料、二進位I/O、編碼(Encoding)、異常處理
吳老師 108/12/27
EXCEL,VBA,Python,證照,東吳,文化推廣部,EXCEL,VBA,函數,程式設計,線上教學,PYTHON安裝環境
![post-title](https://i.ytimg.com/vi/uwWz3oEj8Mk/hqdefault.jpg)
input in python 在 吳老師教學部落格 Youtube 的精選貼文
TQC+Python3證照第1次(證照類別說明與102題浮點數格式化與104題圓形面積計算)
上課內容:
01_PYTHON證照類別說明(一到五類)
02_PYTHON與JAVA趨勢比較
03_PYTHON證照類別說明(六到九類)
04_ECLIPSE設計環境與相關設定
05_102題浮點數格式化輸出試題說明
06_證照102題INPUT與OUT說明
07_證照102題FORAMT格式化之一
08_證照102題INPUT與FORAMT格式化之二
09_轉型用eval函數
10_證照104題圓形面積計算解題
完整教學
http://goo.gl/aQTMFS
吳老師教學論壇
http://www.tqc.idv.tw/
懶人包:
EXCEL函數與VBA http://terry28853669.pixnet.net/blog/category/list/1384521
EXCEL VBA自動化教學 http://terry28853669.pixnet.net/blog/category/list/1384524
TQC+Python證照目錄:
Python 第1類:基本程式設計
技能內容:變數與常數、指定敘述、標準輸入輸出、運算式、算術運算子、數學函式的應用、格式化的輸出Python 第2類:選擇敘述
技能內容:if、if...else、if…elif
Python 第3類:迴圈敘述
技能內容:while、for…in
Python 第4類:進階控制流程
技能內容:常用的控制結構、條件判斷、迴圈
Python 第5類:函式(Function)
技能內容:函式使用、傳遞參數、回傳資料、內建函式、區域變數與全域變數
Python 第6類:串列(List)的運作(一維、二維以及多維)
技能內容:串列的建立、串列的函式、串列參數傳遞、串列應用
Python 第7類:數組(Tuple)、集合(Set)以及詞典(Dictionary)
技能內容:數組、集合、詞典的建立、運作及應用
Python 第8類:字串(String)的運作
技能內容:字串的建立、字串的庫存函式、字串的應用
Python 第9類:檔案與異常處理
技能內容:文字I/O、檔案的建立、寫入資料與讀取資料、二進位I/O、編碼(Encoding)、異常處理
吳老師 108/12/27
EXCEL,VBA,Python,證照,東吳,文化推廣部,EXCEL,VBA,函數,程式設計,線上教學,PYTHON安裝環境
![post-title](https://i.ytimg.com/vi/Ep_-uCTTKWk/hqdefault.jpg)
input in python 在 Python input 取得鍵盤輸入 的推薦與評價
本篇要介紹如何使用Python input 取得使用者鍵盤輸入,python input 是從標準輸入讀取一行文字,預設的標準輸入為鍵盤輸入,這在使用者互動的程式中 ... ... <看更多>
input in python 在 How to convert an user input to a set in python? - Stack Overflow 的推薦與評價
... <看更多>