關於 hackmd 介紹 ，我們在網路上蒐集到這些相關的討論、資訊與評價

【處處極限不存在的函數】
.
　　我記得自己剛升大一在學習微積分的時候，教授問了一個問題，「有沒有哪一種實變數實值函數是任何一點的極限都不存在的」，那時候我想了很久，總是想不出來到底要怎麼設計，才有辦法完成教授的要求。那時候我一直想不透的癥結點是，如果要在任意點的極限都不存在的話，那可能要先解決一個問題，那就是在設計了一個在某一點，例如說 a 點，極限不存在的函數以後，要如何改造這個函數，才有辦法讓 a 點「旁邊」的點其極限也不存在。
.
　　（接下來的內容，建議同學們可以拿支筆在紙上按照說明把函數畫出來）
.
　　舉例來說，如果我們設計了一個在 x = 0 這個點極限不存在的函數（例如設定這個函數在 x 小於 0 時其函數值均為 0；而當 x 大於 0 時其函數值均為 1），那麼要如何改造或調整這個函數，才有辦法讓這個函數在 x = 0 的「旁邊」的點其極限也不存在呢？針對這個例子而言，或許可以這樣做：先將這個函數在 x 大於 1 以後的函數值改成 0.5，那麼這個函數就會變成在 x = 0 和 x = 1 的時候極限都不存在，但因為 1 並非 0「旁邊」的數字，所以顯然還要再調整，於是我們再將 x 大於 0.5 以後的函數值都改成 0.5，那麼這個函數就會變成在 x = 0 和 x = 0.5 處其極限不存在，但同樣地，因為 0.5 並非 0「旁邊」的數字，所以我們繼續調整這個函數，下一步當然是將 x 大於 0.25 以後的函數值都改成 0.5，依此類推，再下一步就是將 x 大於 0.125 以後的函數值都改成 0.5，持續這樣的步驟，最終我們會得到一個當 x 小於 0 時其函數值為 0 而當 x 大於 0 其函數值為 0.5 的函數。這個函數當然仍然在 x = 0 的時候其極限不存在，但是原本在調整時的兩點極限不存在，卻因無限持續這樣的步驟，而變回了僅在 x = 0 極限不存在的狀態。這結果實在令人沮喪。
.
　　之所以會產生這樣的狀況，是因為持續了無限次將新增的極限不存在的點向 x = 0 處靠近的緣故。既然如此，那如果不要持續上面的步驟無限次呢？如果僅持續有限次的步驟，那麼在該次步驟的下一次，一定可以把 x = 0 右邊新增的極限不存在的點向 x = 0 再靠近一些，這個推論的結果就是，如果僅持續有限次上述的步驟，那麼就無法達成創造一個在 x = 0 的「旁邊」的極限不存在的點。結果，無論是有限次或無限次操作上述的步驟，最終都無法達成我們的目標。這真的真的非常令人沮喪，因為這意味著從一個點的極限不存在出發，去逐步改造出一個處處極限不存在的函數，方向很可能是錯誤的。
.
　　那麼，該怎麼辦呢？
.
　　面對這個問題，當時的我最終並沒有自己解出來，而是一個比過奧數的朋友在老師公布答案之前成功地解了出來，並告訴我他的想法。
.
　　他告訴我，既然從一個點的極限不存在開始是行不通的，那就一次就創造一大堆極限不存在的點吧！例如一開始的函數乾脆設定成這樣：當 x 介在 n 和 n + 1 之間且 n 為偶數時，將其函數值設定為 0，而其他地方則設定為 1。例如，當 x 介在 0 和 1 之間或介在 2 和 3 之間時，其函數值就是 0，而當 x 介在 1 和 2 之間或介在 99 和 100 之間時，其函數值就是 1。如此一來，我們就獲得了一個在每一個整數點其極限都不存在的函數。
.
　　以此為起點，比起我想的那個例子最初的樣子一次新增了無限多個極限不存在的點，似乎好像有了長遠的進步，但到此階段實際上並沒有解決我最一開始講的問題的癥結點，那就是如何在一個極限不存在的點的「旁邊」創造一個極限也不存在的點。
.
　　為了解決這個問題，我的朋友告訴我，下一步是在每一個「區間」裡進行調整。用例子來說明而剩下類推的話，大概是這樣操作：例如，在 0 和 1 之間，函數值原本都是 0，但接下來把這個區間切割成 10 等分，然後第 1、3、5、7、9 個區間（也就是在 x 介在 0 和 0.1、介在 0.2 和 0.3、介在 0.4 和 0.5、介在 0.6 和 0.7、介在 0.8 和 0.9 之間的這幾個區間），我們把函數值調整成 1，其餘的不動，那麼我們就可以得到一個，除了在所有整數點極限都不存在的函數以外，這個函數在 0.1、0.2、0.3、0.4、0.5、0.6、0.7、0.8、0.9 的極限也不存在。那如果是在原本函數值為 1 的區間，則在等分割成 10 個區間以後，將第 2、4、6、8、10 個區間的函數值調整成 0。若將上面這些動複製到其他區間的話，那麼在每一個整數區間（就是 n 到 n + 1 的區間）裡面，其十分位數的位置其極限都不存在。
.
　　接下來，再將函數值為 1 的區間等分割為 10 個區間，然後第 2、4、6、8、10 個區間其函數值都調整成 0，而函數值為 0 的區間一樣等分割為 10 個區間，但是是將第 1、3、5、7、9 個區間的函數值調整成 1，那麼，這個函數就變成了一個除了在所有整數點極限都不存在以外，但在每一個整數區間裡面其百分位數的位置極限都不存在的函數。
.
　　再接下來，繼續進行上面的動作，不斷地十等分分割之前產生的區間，並且適當地調整其函數值，使其在任一階段裡面都是前一個區間裡面的函數值是 0 且後一個區間裡面的函數值是 1 ，或前一個區間的函數值是 1 而後一個區間裡的函數值是 0 的狀態，持續無限次，最終就會得到一個在任一點其極限值都不存在的函數了。
.
　　要證明這個函數處處極限不存在有分簡單版和嚴格版，這邊我們先講簡單版，以後有機會再談嚴格版。對於這個函數而言，固定任何一點 a，其左極限只有兩種可能，0 或 1，但因為這個函數被分割地非常地密，而且連續幾個區間在任一階段裡面都是一下子 0 一下子 1 這樣變動，所以這個函數在 a 點的左極限不存在，因此這個函數在 a 點的極限並不存在。最後，因為 a 這個點是任意取的，所以我們可以說這個函數的極限值在任意點都不存在。
.
　　這個答案真的很猛，因為當時在班上只有我那位奧數的朋友給出了教授點頭的答案。
.
　　雖然當初他並沒有辦法清楚地講出左極限不存在的原因，也因為我們還沒學到極限的嚴格定義，所以沒辦法用嚴謹的敘述來證明這樣的函數確實處處極限不存在，但現在回想起來，那位奧數朋友還是很猛！因為他就好像那種天生的小說家一樣，信手拈來就寫出了一本傑出的小說，而我們凡人卻連寫一篇普通的文章都很成問題。
.
　　講到這裡，今天的故事似乎已經講完，但其實還沒，因為這樣聰明的人，並不會只出現我們班上甚至是這個時代而已。
.
　　關於「是否存在一個處處極限都不存在的函數」這個問題，其實在 19 世紀時，就有一位叫做 Dirichlet 的德國數學家，他所創造出來的一種函數（後來稱為 Dirichlet 函數），就是處處極限不存在的函數。這個函數的定義如下：當 x 為有理數時，其函數值是 1；當 x 不為有理數時，其函數值是 0。這樣的函數確實也處處極限不存在，也是我教授當時給同學們預設的答案。
.
　　在這邊我就不文字解釋為何 Dirichlet 函數處處極限不存在了，但我有拍一部影片來說明，如果你想繼續看下去，可以點開我貼在本篇文章留言處的這部影片，我有盡量簡單地解釋為何 Dirichlet 函數處處極限不存在。
.
　　雖然 Dirichlet 函數處處極限不存在，但其實當初 Dirichlet 所面對的問題，並非「是否存在處處極限不存在的函數」，而是「是否存在無法圖像化的函數」。在經過可能類似這篇文章最一開始的那些推敲以後，Dirichlet 創造了 Dirichlet 函數，而這個 Dirichlet 函數就是一個「客觀存在」但「無法圖像化」的函數。並且，除了無法圖像化以外，Dirichlet 函數在數學上也有著很重要的地位，因為他常常是一些直覺上無法察覺的現象的重要例子。例如我們直覺上都會認為只要函數有週期，那麼就會存在最小週期，但 Dirichlet 函數就是一個不具有最小週期的週期函數，因為任意有理數都是它的週期。
.
　　關於 Dirichlet 函數的性質我們就講到這邊，或許以後有機會可以專門寫一篇跟 Dirichlet 函數有關的文章，不過有很多性質都是需要具備更多數學知識以後才能介紹的，所以如果真的要寫的話，那可能就還要再等一陣子了。
.
　　最後，跟大家介紹一下我上面所提到的影片，那是我在 2020 年時所拍攝的一系列微積分教學影片的其中一集。該系列影片基本上有觀念講解、精選範例和補充教材，近期我會開始陸續上傳到這裡，但不是每一部影片都會寫文章來搭配，所以如果你想跟著我上傳的速度一部一部看，而且不漏掉系列裡每一部影片的話，可以關注我在西瓜視頻、騰訊視頻和優酷視頻的頻道；如果你想一次看完我全系列的影片的話，可以關注我在 YouTube、bilibili 或 Pornhub 上的頻道，上面已經上傳了張旭微積分全系列影片。另外這系列影片都有講義電子檔可以搭配使用，如果你想要取得該電子檔的話，請幫我按讚這篇文章和這個粉專、分享這篇文章，並幫我到我的臉書粉專評論處寫個評論，然後私訊我的臉書粉專，我的夥伴就會回覆你講義電子檔的連結。
.
　　感謝你的觀看，希望這篇文章對你有所幫助，有任何問題或想法也歡迎在下面留言告訴我。另外，本文章同步發佈於數學老師張旭的 YouTube 頻道社群、微博、今日頭條、Medium 和 HackMD，若你也有上面提到的那些帳號，歡迎按讚、分享和關注！

📜 [專欄新文章] [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.

👏 歡迎轉載分享鼓掌

📜 [專欄新文章] Crosslink Taiwan 2019 以太坊技術研討會活動圓滿成功
✍️ Yahsin Huang
📥 歡迎投稿： https://medium.com/taipei-ethereum-meetup #徵技術分享文 #使用心得 #教學文 #medium

台北以太坊社群舉辦「Crosslink Taiwan」研討會活動，10月20日台北矽谷國際會議中心於圓滿落幕。

台灣區塊鏈界年度盛事之一的「Crosslink Taiwan」由台北以太坊社群（Taipei Ethereum Meetup）主辦，活動吸引 300 餘人參與，共計有 20 位全球開發者和研究者共襄盛舉；同時，由於 Devcon 年度全球規模最大的以太坊開發大會，今年十月在日本大阪舉行，台北以太坊社群把握難得機會，邀集了多位以太坊技術社群重要推手齊聚對談，促進台灣與國際交流合作契機。

「Crosslink Taiwan」以太坊技術研討會於 10 月 19 日星期六及 20 日星期日，為期二天的時間在新北市新店區台北矽谷國際會議中心舉行，今年是首屆，邀請來自美、加、西、澳、日、英、德、荷等國、20 位以太坊開發者和研究者參加，30 場議程，主題聚焦在以太坊 2.0 及擴展性（Scalability）技術研究討論，一同展望以太坊技術最新趨勢，為 2020 年以太坊技術面貌勾勒新藍圖。

台北以太坊社群舉辦「Crosslink Taiwan」研討會活動，10月20日台北矽谷國際會議中心於圓滿落幕，活動吸引 300 餘人參與。

Crosslink 活動第一天上午舉行以太坊基金會台灣「教育專案」及「開發專案」獎學金（Taiwan-specific Wave of Grants）頒獎典禮。

Crosslink Taiwan 研討會的第一天開幕，以太坊基金會策略總監 Albert Ni 及 以太坊基金會首席科學家 Vitalik Buterin 頒發以太坊基金會台灣「教育專案」及「開發專案」獎學金（Taiwan-specific Wave of Grants），以鳳梨作為象徵性的獎狀，祝福受獎者未來研究順利。

值得注意的是，Crosslink Taiwan 主辦單位台北以太坊社群為了增加新手學寫以太坊智能合約的動機，特別設計了一款破解以太坊智能合約漏洞趣味遊戲競賽 CTF （Capture the Flag），CTF 競賽在活動前開跑進行，目的希望讓更多開發者能體驗寫智能合約的樂趣（點此觀看 Crosslink 破解智能合約漏洞 CTF 競賽玩法文章）。

Crosslink Taiwan 活動第一天邀請到以太坊基金會首席科學家 Vitalik Buterin 進行專題演講。

以太坊研究員 Danny Ryan 在第一天議程中，分享了 以太坊 2.0 研究進展及挑戰，包括以太坊 2.0 的架構、新的分片提案、執行環境 (Execution Environments, EE)，以及雙向橋接 (Two-Way Bridge) 等議題。（點此觀看 Danny Ryan 演講的回顧文章）。

CYBAVO 技術長徐千洋，是台灣著名駭客會議 HITCON 與台灣駭客技術社群 CHROOT 創辦人，會談私鑰的安全與保護（點此觀看徐千洋演講的回顧文章）。Pelith 創辦人陳品（Ping Chen），同時也是區塊鏈技術專欄 CryptoCow 的創辦人，談區塊鏈系統中的使用者體驗（點此觀看陳品演講的回顧文章）。

Crosslink Taiwan 活動第一天座談聚焦技術社群文化建立。

第一天的座談交流聚焦技術社群文化建立，由以太坊研究員梁智程（Chih-Cheng Liang）主持，與談人以太坊基金會策略總監 Albert Ni 提及，在區塊鏈領域幾乎沒有硬門檻（hard gate），例如學位或年紀，但是存在許多軟門檻（soft gate），例如初學者常需要在缺乏指導下摸索前進。（點此觀看第一天對談 HackMD 共同筆記）。

活動的第二天聚焦在以太坊 2.0 技術未來發展。上午議程由加拿大籍講者 Liam Horne，同時是 L4 Ventures 共同創辦人、ETHGlobal 共同創辦人，分享狀態通道的開發經驗。（點此觀看 Liam Horne 演講的回顧文章）。來自歐洲的 Wizard Amigos 創辦人 Nina Breznik 與 Alexander Praetorius 在現場用 2 小時的時間，手把手帶領會眾寫智慧合約。其中一場議程特別安排討論點對點網路層 libp2p 框架，邀請到技術主管 Raúl Kripalani 來分享（點此觀看 Raúl Kripalani 演講的回顧文章）。

Crosslink Taiwan 活動第二天座談聚焦以太坊 2.0 挑戰和未來發展。

第二天的座談交流聚焦以太坊 2.0 挑戰和未來發展，主持人以太坊研究員王筱維（Hsiao-Wei Wang），談及 eth1 和 eth2 間可組合性問題（Composability）。與談人以太坊研究員 Danny Ryne 說，可組合性是一大顧慮，但不至於太嚴重。他認為需要有更好的程式語言和開發工具。以太坊基金會首席科學家 Vitalik Buterin 說，運作方式有所不同，必須更努力的去想，但你仍然有可組合性。（點此觀看第二天對談 HackMD 共同筆記）。

活動同時安排進階工作坊給已經有開發經驗的會眾參與，包括 Aragon Luis Cuende 的 DAO 實作工作坊。 DAO 是去中心化自治組織，是利用智慧合約去管理組織治理的業務邏輯，（點此觀看Luis Cuende演講的回顧文章）。

Crosslink Taiwan 第二天安排數個工作坊活動，參加者能與講者近距離互動及發問。

AMIS 首席科學家陳昶吾，在政治大學開設區塊鏈課程，活動第二天的工作坊中，介紹權益證明中熱門的密碼學元件「可驗證延遲函數（VDF）」。政大資訊科學系助理教授郭桐惟介紹了分散式系統的研究，以及政大資訊管理系的陳恭教授介紹跨醫院資料共享的應用（點此觀看陳恭教授演講的回顧文章）。

會後採訪 Crosslink 活動總召 Phini Yang，她說，今年的 Crosslink 非常成功，特別謝謝活動籌備組長和志工，把所有的細節都照顧到，使得活動圓滿成功。明年預期也將舉辦第二場 Crosslink 以及區塊鏈黑客松活動，期待促發更多的交流與合作機會。

Crosslink Taiwan 2019 以太坊技術研討會活動圓滿成功 was originally published in Taipei Ethereum Meetup on Medium, where people are continuing the conversation by highlighting and responding to this story.

👏 歡迎轉載分享鼓掌