用 Keelung 構造零知識證明 FunTh#83

Keelung 是一個用於建構零知識證明（zero-knowledge proof, ZKP) 的領域特定語言。即使不熟悉密碼學的開發者也能使用 Keelung 構造高品質、可靠的 ZKP. 由於 Keelung 是嵌入在 Haskell 中的，寫 Keelung 程式基本上就是寫 Haskell 程式，能使用 Haskell 現有的工具鍊。

本次 Functional Thursday 中，Keelung 的設計者賴廷彥將親自上場，以他的觀點介紹 Keelung 的特色與能力，以及用它建構程式的方法。

關於 Keelung 詳見：https://btq.gitbook.io/keelung/

分享者：賴廷彥。曾於中研院資訊所擔任研究助理，目前任職於 BTQ [https://www.btq.com/](https://l.facebook.com/l.php?u=https%3A%2F%2Fwww.btq.com%2F%3Ffbclid%3DIwAR32kTvbTZ6eqMmT3aXYe2qCqVvI-G-7_ZcLW2TWn3cn_8_BoziG_1gtZCs&h=AT0q7WT2MSDT7-42HGJk3Pbc2R2CoasCxQmP8aqoHbzqLrXROOMc27RoYbJueFhkKl7rmRHWbWJHb-uYBVyG_i0aAnsy2g217bz99QvfOwEcRoxYDUlw8wpmR5a-n0Jb06fOog_z0swzYjrT2ZHn7Hg&tn=q&c[0]=AT0UDPBRgfrzk-22JBMto6jkQxRVaYikxeFxIYHvA9q5yoaGvZtJ885giuYB2j8rtdwrvaN_w9HNSxdNm12d7OHjA0JhcIkp0wkcLFewqnVyHPTmDTRq_hlYyO7r_8DU1FLEWbbaZJnyUjLdMK0BREKDryol)

｜時間｜19:30pm
｜地點｜台北市信義路二段253號1樓

無需報名，當天直接來就可以了喔！
活動包含交誼與主題討論，歡迎來玩！

也歡迎加入臉書社團 https://www.facebook.com/groups/functioanl.thursday