Search
這陣子最開心的事，除了奧運台灣國手令人感到熱血之外，就是疫情確診人數慢慢平穩下降了。回想前陣子幾乎足不出戶的日子，也開啟了另一種生活模式與想法。那時和同門師兄 賴俊龍 Jason Universe - 傑森宇宙 視訊閒聊，互訴近況也交換了不少私底下居家的一面、節能小撇步，現在看看影片，似乎不只在WFH時，日常也能繼續維持這些習慣。
很閒聊很朋友間的一些日常交換，跟大家分享：
https://youtu.be/FaCOaSkvWeg
#為台灣國手驕傲不需要跟任何人道歉
#綠色生活提案 #WFH
哈囉～各位
還想念刺繡太太嗎？
是的！疫情之下，不管是在家跟小孩老公三餐拼搏的太太們，或是工作下班只能在家孤獨寂寞覺得冷的上班族們，快來刺繡太太的懷抱，本週獻上繡了一生一世終於完成的美美衣領，療癒身心靈。
這衣領可是從我懷孕前繡到生完小孩都滿一歲又過幾個月最近才完成的（掩面），人生就是這樣，繡繡停停，一下子想做的太多，結果一眨眼就這時候了（應該只有我這樣）（刺繡太太沒學過，請大家不要學！）
這次的刺繡也是之前在日本買的RaiRai先生材料包，是日本限定的線上刺繡課程，大概一個月會寄一份到家裡，讓你六個月學習六個作品的意思，做起來相當有趣，不過因為有些作品牽涉了裁縫跟一些其他手工藝（而且沒有相關影片教學），所以我覺得初學者可能會學起來相當吃力，不過如果不要對自己太嚴格的話，放鬆做起來還是非常開心的喔❤️
總之刺繡太太明天7/4會在YouTube 嘗試（其實是測試）第一次刺繡直播，時間是下午14:00，大概半個小時到一小時內左右，如果我有機會突破音樂關卡的話，大家就能聽到動人的背景音樂，如果沒有的話，就各自放音樂來聽吧！歡迎大家一起參加線上刺繡同好會吧吧吧！一邊聊天邊刺繡之我應該辦得到吧？！不來嗎！不來嗎！（扭手帕）（會不會最後根本沒人來看～瑟瑟發抖中）（快到下方留言給刺繡太太ㄧ點宇宙能量好嗎！！）
刺繡太太YouTube:
https://youtube.com/channel/UChtNCl9RBbfxm64akOaOZCA
#刺繡 #embroiderytaitai #universe #embroidery #broderie #刺しゅう #刺繡針法 #stitched #handstitched #刺繡訂製
#刺繡太太 #線上刺繡同好會
📜 [專欄新文章] ZKP 與智能合約的開發入門
✍️ Johnson
📥 歡迎投稿： https://medium.com/taipei-ethereum-meetup #徵技術分享文 #使用心得 #教學文 #medium
這篇文章將以程式碼範例，說明 Zero Knowledge Proofs 與智能合約的結合，能夠為以太坊的生態系帶來什麼創新的應用。
本文為 Tornado Cash 研究系列的 Part 2，本系列以 tornado-core 為教材，學習開發 ZKP 的應用，另兩篇為：
Part 1：Merkle Tree in JavaScript
Part 3：Tornado Cash 實例解析
Special thanks to C.C. Liang for review and enlightenment.
近十年來最強大的密碼學科技可能就是零知識證明，或稱 zk-SNARKs (zero knowledge succinct arguments of knowledge)。
zk-SNARKs 可以將某個能得出特定結果 (output) 的計算過程 (computation)，產出一個證明，而儘管計算過程可能非常耗時，這個證明卻可以快速的被驗證。
此外，零知識證明的額外特色是：你可以在不告訴對方輸入值 (input) 的情況下，證明你確實經過了某個計算過程並得到了結果。
上述來自 Vitalik’s An approximate introduction to how zk-SNARKs are possible 文章的首段，該文說是給具有 “medium level” 數學程度的人解釋 zk-SNARKs 的運作原理。（可惜我還是看不懂 QQ）
本文則是從零知識證明 (ZKP) 應用開發的角度，結合電路 (circuit) 與智能合約的程式碼來說明 ZKP 可以為既有的以太坊智能合約帶來什麼創新的突破。
基本上可以謹記兩點 ZKP 帶來的效果：
1. 擴容：鏈下計算的功能。
2. 隱私：隱藏秘密的功能。
WithoutZK.sol
首先，讓我們先來看一段沒有任何 ZKP 的智能合約：
這份合約的主軸在 process()，我們向它輸入一個秘密值 secret，經過一段計算過程後會與 answer 比對，如果驗證成功就會改寫變數 greeting 為 “answer to the ultimate question of life, the universe, and everything”。
Computation
而計算過程是一個簡單的函式：f(x) = x**2 + 6。
我們可以輕易推出秘密就是 42。
這個計算過程有很多可能的輸入值 (input) 與輸出值 (output)：
f(2) = 10
f(3) = 15
f(4) = 22
…
但是能通過驗證的只有當輸出值和我們存放在合約的資料 answer 一樣時，才會驗證成功，並執行 process 的動作。
可以看到有一個 calculate 函式，說明這份合約在鏈上進行的計算，以及 process 需要輸入參數 _secret，而我們知道合約上所有交易都是公開的，所以這個 _secret 可以輕易在 etherscan 上被看到。
從這個簡單的合約中我們看到 ZKP 可以解決的兩個痛點：鏈下計算與隱藏秘密。
Circuits
接下來我們就改寫這份合約，加入 ZKP 的電路語言 circom，使用者就能用他的 secret 在鏈下進行計算後產生一個 proof，這 proof 就不會揭露有關 secret 的資訊，同時證明了當 secret 丟入 f(x) = x**2 + 6 的計算過程後會得出 1770 的結果 (output)，把這個 proof 丟入 process 的參數中，經過 Verifier 的驗證即可執行 process 的內容。
有關電路 circuits 的環境配置，可以參考 ZKP Hello World，這裡我們就先跳過去，直接來看 circom 的程式碼：
template Square() { signal input in; signal output out; out <== in * in;}template Add() { signal input in; signal output out; out <== in + 6;}template Calculator() { signal private input secret; signal output out; component square = Square(); component add = Add(); square.in <== secret; add.in <== square.out; out <== add.out;}component main = Calculator();
這段就是 f(x) = x**2 + 6 在 circom 上的寫法，可能需要時間去感受一下。
ZK.sol
circom 寫好後，可以產生一個 Verifier.sol 的合約，這個合約會有一個函式 verifyProof，於是我們把上方的合約改寫成使用 ZKP 的樣子：
我們可以發現 ZK 合約少了 calculate 函式，顯然 f(x) = x**2 + 6 已經被我們寫到電路上了。
snarkjs
產生證明的程式碼以 javascript 寫成如下：
let { proof, publicSignals } = await groth16.fullProve(input, wasmPath, zkeyPath);
於是提交 proof 給合約，完成驗證，達到所謂鏈下計算的功能。
最後讓我們完整看一段 javascript 的單元測試，使用 snarkjs 來產生證明，對合約的 process 進行測試：
對合約來說， secret = 42 是完全不知情的，因此隱藏了秘密。
publicSignals
之前不太清楚 publicSignals 的用意，因此在這裡特別說明一下。
基本上在產生證明的同時，也會隨帶產生這個 circom 所有的 public 值，也就是 publicSignals，如下：
let { proof, publicSignals } = await groth16.fullProve(input, wasmPath, zkeyPath);
在我們的例子中 publicSignals 只有一個，就是 1770。
而 verifyProof 要輸入的參數除了 proof 之外，也要填入 public 值，簡單來說會是：
const isValid = verifyProof(proof, publicSignals);
問題來了，我們在設計應用邏輯時，當使用者要提交參數進行驗證的時候，publicSignals 會是由「使用者」填入嗎？或者是說，儘管是使用者填入，那它需不需要先經過檢查，才可以填入 verifyProof？
關鍵在於我們的合約上存有一筆資料：answer = 1770
回頭看合約上的 process 在進行 verifyProof 之前，必須要檢查 isAnswer(publicSignals[0])：
想想要是沒有檢查 isAnswer，這份合約會發生什麼事情？
我們的應用邏輯就會變得毫無意義，因為少了要驗證的答案，就只是完成計算 f(42) = 1770，那麼不論是 f(1) = 7 或 f(2) = 10，使用者都可以自己產生證明與結果，自己把 proof 和 publicSignals 填入 verifyProof 的參數中，都會通過驗證。
至此可以看出，ZKP 只有把「計算過程」抽離到鏈下的電路，計算後的結果仍需要與鏈上既有的資料進行比對與確認後，才能算是有效的應用 ZKP。
應用邏輯的開發
本文主要談到的是 zk-SNARKs 上層應用邏輯的開發，關於 ZKP 的底層邏輯如上述使用的 groth16 或其他如 plonk 是本文打算忽略掉的部分。
從上述的例子可以看到，即使我們努力用 circom 實作藏住 secret，但由於計算過程太過簡單，只有 f(x) = x**2+6，輕易就能從 answer 反推出我們的 secret 是 42，因此在應用邏輯的開發上，也必須注意 circom 的設計可能出了問題，導致私密訊息容易外洩，那儘管使用再強的 ZKP 底層邏輯，在應用邏輯上有漏洞，也沒辦法達到隱藏秘密的效果。
此外，在看 circom 的程式碼時，可以關注最後一個 template 的 private 與 public 值分別是什麼。以本文的 Calculator 為例，private 值有 secret，public 值有 out。
另外補充：
如果有個 signal input 但它不是 private input，就會被歸類為 public。
一個 circuit 至少會有一個 public，因為計算過程一定會有一個結果。
最後，在開發的過程中我會用 javascript 先實作計算過程，也可以順便產出 input.json，然後再用 circom 語言把計算過程實現，產生 proof 和 public 後，再去對照所有 public 值和 private 值，確認是不是符合電路計算後所要的結果，也就是比較 javascript 算出來的和 circom 算出來的一不一樣，如果不一樣就能確定程式碼是有 bug 的。
參考範例：https://github.com/chnejohnson/circom-playground
總結
本文的程式碼展現 ZKP 可以做到鏈下計算與隱藏秘密的功能，在真實專案中，可想而知電路的計算過程不會這麼單純。
會出現在真實專案中的計算像是 hash function，複雜一點會加入 Merkle Tree，或是電子簽章 EdDSA，於是就能產生更完整的應用如 Layer 2 擴容方案之一的 ZK Rollup，或是做到匿名交易的 Tornado Cash。
本文原始碼：https://github.com/chnejohnson/mini-zkp
下篇文章就來分享 Tornado Cash 是如何利用 ZKP 達成匿名交易的！
參考資料
概念介紹
Cryptography Playground
zk-SNARKs-Explainer
神奇的零知識證明！既能保守秘密，又讓別人信你！
認識零知識證明 — COSCUP 2019 | Youtube
應用零知識證明 — COSCUP 2020 | Youtube
ZK Rollup
動手實做零知識 — circom — Kimi
ZK-Rollup 开发经验分享 Part I — Fluidex
ZkRollup Tutorial
ZK Rollup & Optimistic Rollup — Kimi Wu | Medium
Circom
circom/TUTORIAL.md at master · iden3/circom · GitHub
ZKP Hello World
其他
深入瞭解 zk-SNARKs
瞭解神秘的 ZK-STARKs
zk-SNARKs和zk-STARKs解釋 | Binance Academy
[ZKP 讀書會] MACI
Semaphore
Zero-knowledge Virtual Machines, the Polaris License, and Vendor Lock-in | by Koh Wei Jie
Introduction & Evolution of ZK Ecosystem — YouTube
The Limitations of Privacy — Barry Whitehat — YouTube
Introduction to Zero Knowledge Proofs — Elena Nadolinski
ZKP 與智能合約的開發入門 was originally published in Taipei Ethereum Meetup on Medium, where people are continuing the conversation by highlighting and responding to this story.
👏 歡迎轉載分享鼓掌
【開箱實測】小米液晶手寫板13.5吋，算數、畫畫好方便！環保又輕薄。學習筆記好幫手。小米米家液晶手寫板，螢幕尺寸更大。新竹面交免運費。艾蛙團購網，竹科愛團購！
-
#新竹免運費 #小米液晶手寫板 #米家
-
小米液晶手寫板
●感壓書寫
●超清筆跡
●ㄧ鍵鎖定
●磁吸收納
團購價請洽艾蛙~
新竹地區可直送社區或公司喔！
=======================
《新竹美食旅遊+延伸閱讀》
自費體驗【2021新車開箱】Kymco FAMOUS 新名流 125 ABS七期
https://youtu.be/JegWosrAeh0...
【5分鐘出好菜】台式炸年糕，作法超簡單！
https://youtu.be/EZDy4RmUDYo...
【2021福袋懶人包】寶雅福袋！登錄發票再抽奧迪百萬名車
https://youtu.be/0WjfOxnrC7g...
茂昌草本茶：紅豆花芝圓，香Q可口
https://youtu.be/qwDSgudhIyI...
Bingo 賓果廚房，濃湯，飲品，冰淇淋，甜湯，餅乾無限暢飲
https://youtu.be/uHblB22h50k...
【2020新竹寶山鄉】秘境之旅！
https://youtu.be/TT1EHN2TNBo...
帝王食補，胡椒豬肚雞口味清爽
https://youtu.be/cZaUte_UO-U...
黑糖飄香遊新城，甘蔗職人體驗好好玩！
https://youtu.be/9tm9DKfNQ8Y...
日本進口鮪魚蔥花丼甘鮮滑腴，油嫩爽口！
https://youtu.be/E4YpsGWkwLQ...
肥滋滋鯛魚燒！一隻25元
https://youtu.be/dAMxqQi1tNk...
傳承三代的純樸家鄉味，雅珍號ㄍㄜㄍㄜ羹
https://youtu.be/vsTefYqVxYs...
北門炸粿，百年老店！
https://youtu.be/I2V2BBxxwEM...
涼冰菓店，五十年代古早冰棒！
https://youtu.be/El4Uj1poHXQ...
甘木赤水咖啡館，真正的手做蛋糕只有親嚐才知道
https://youtu.be/fy7bOEHrQGE...
無名雞蛋糕，一個六元
https://youtu.be/ZqbJgND-_Os...
到日式老屋「湖畔生活」的豊賀伴手，快樂吃梅花冰
https://youtu.be/pjKjesa6jPk...
美美早餐點心館，脆脆的香酥餅皮配上雙蛋
https://youtu.be/_7Uwd5lm_cg...
熊寶廚房健康滷味，家傳私房菜
https://youtu.be/gxl0nDYz4Sw...
竹北鄧記牛肉餡餅！爆漿牛肉餡餅
https://youtu.be/c30gi9EBQfM...
新竹旅遊Vlog X來新竹市採荔枝
https://youtu.be/jjSTs0jOlMg...
金陵包子，鮮肉包就是要配青辣椒
https://youtu.be/Ynv9rgh1J0A...
竹北音樂酒吧推薦！Soul bar DJ現場演奏
https://youtu.be/QKXPsolWYOw...
料多味美的禾日香魯肉飯專門店
https://youtu.be/_fgCv-EiKWY...
草本茶 竹北勝利店，開幕慶！
https://youtu.be/rLMBXPVwX4Y...
吳家紅茶冰-中正店，歡慶開幕
https://youtu.be/pCYk25OgpMI...
【新竹湖口老街美食推薦】小窩口窯烤Pizza
https://youtu.be/n0C_5Ff20Mc...
【新竹美食週記】湖口老街-邱媽媽客家美食
https://youtu.be/LEEHvLdXICw...
鄭家祖傳特製雞蛋糕！民國57年創立
https://youtu.be/L0Nre8kjbR0...
東門旺角！母親節大餐推薦
https://youtu.be/ufGGvDWSlq0...
【新竹假日花市】香Q可口的白玉米只要10元！
https://youtu.be/9NZ6y3H1bmk...
肆爺炒泡麵！三杯雞炒泡麵創新又美味！
https://youtu.be/xIYNnhQRs4M...
烤桶柑橘子！阿嬤的古老智慧
https://www.youtube.com/watch?v=_uK3J......
【竹北人的後花園】厚食聚落
https://youtu.be/Q_8qVxIX3Ag...
老漁港新海鮮美式餐廳，十全十美水桶海鮮
https://www.youtube.com/watch?v=yZdqH......
ㄤ咕麵，新竹關西人氣老店
https://www.youtube.com/watch?v=hzAFR......
燒番麥！一級棒碳烤玉米
https://www.youtube.com/watch?v=k1TKl......
太空總薯，現烤現做起司馬鈴薯香濃可口
https://www.youtube.com/watch?v=yVjTr......
米咕家的日式飯糰好吃又健康啊！
https://www.youtube.com/watch?v=VuSlG......
璽子牛肉麵，斤餅專賣店！斤餅很好吃阿！
https://www.youtube.com/watch?v=QjPwU......
竹蓮市場上好佳筒仔米糕，手工現切的肉燥飯
https://www.youtube.com/watch?v=vv4Wm......
======================================
❤ 艾蛙的社群 / 歡迎追蹤 ❤
instagram：https://www.instagram.com/aiwa_hu/...
Facebook：https://www.facebook.com/aiwa.vs.doll...
Youtube：https://www.youtube.com/c/AiwaHualwa1...
My Blog：http://alwa1919.pixnet.net/blog...
Website：https://www.aiwamkt.com/
特別感謝Chromedia提供的造型
Especially thanks to Chromedia for the skins
👉https://www.youtube.com/c/Chromedia/videos
▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬
👉幫助達到70,000 訂閱▶ http://bit.ly/2ItnvA6
👉公開Line群: https://reurl.cc/Xkzyja
👉LBRY: https://lbry.tv/@FriesBro:2
👉Discord: https://discord.gg/X8Pft8X
👉Facebook粉絲團: https://www.facebook.com/heroclub2.0/
▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬
👉BGM
中華風の勇壮なオーケストラ曲「Wuxia」
https://www.youtube.com/watch?v=WZWofTSlgn0
スピード感のある戦闘曲「BattleField5」
https://www.youtube.com/watch?v=y9kki5LxFEc
▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬
歡迎投稿個人精彩操作👉https://m.me/heroclub2.0
LOL錄製&投稿教學👉https://youtu.be/aKkDWMG3vGk
投稿短片請加入Line群👉 https://reurl.cc/Xkzyja
▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬
#大薯 #愚人節特別企劃 #沒有要騙你
了解SaGa其中一個最大的樂趣，無止境的育成endgame~
SaGa便利工具網：https://nao-romasaga.github.io
2021年8月24日 — 看到了Yerin要加入Universe的消息，不知道板上巴底們有沒有使用過這個程式，所以做個簡短教學，大家可以先收藏起來+存錢等之後訂閱 ，之後用起來就不 ... ... <看更多>
之前PO過一篇UNIVERSE大概的介紹#1W228qLh 今天官方出了跟費用有關的說明和影片預告收費說明https://twitter.com/into__universe/status/1354330817674190852… ... <看更多>
universe教學 在 [閒聊] 關於新的K-POP娛樂平台'UNIVERSE' - 看板KoreaStar 的推薦與評價
最近幾個月宣傳做滿大的，我在YT也有看到廣告
但是對UNIVERSE還不了解的人應該也不少
以下簡單說明UNIVERSE:
韓國網路遊戲公司NCsoft與CJ ENM攜手合作推出的手機K-POP娛樂平台，能夠支援各種
Fandom線上線下活動的All-In-One APP
APP將在1/28上市，在Google Play商店和iOS都可以預約
應該是需要付費的，但目前還不清楚費用細節
目前參與的藝人:
IZ*ONE、ASTRO、AB6IX、CIX、(G)I-DLE、THE BOYZ、姜丹尼爾、朴志訓、ATEEZ、
宇宙少女、MONSTA X共11組
預定未來還會有其他藝人加入
UNIVERSE內容(參考APP的應用程式說明)
★FNS：與偶像一起分享今天的日常
比誰都要更快地確認偶像的最新消息，並試著聊聊吧。
也別錯過偶像回覆我的留言及幫我按讚的機會了。
★COLLECTION：紀錄粉絲活動並領取獎勵
購買專輯、播放音樂、參加演唱會等
所有參加過的粉絲活動都會被紀錄並留下回憶。
參加越多活動，就能獲得越多獎勵。
★PRIVATE：無論何時何地都能更親近偶像
透過個人訊息來更親近偶像吧。
可以預約偶像直接參與的AI語音個人通話，來進行Morning Call及晚安問候等。
★STUDIO：與心儀偶像的角色同在
可以透過偶像直接參與動作捕捉及人物掃描製成的角色，來體驗全新的樂趣。
試著打扮心儀偶像的角色或製作MV看看吧。
★CONTENT CREATOR：透過親手製作的內容來獲得各種優惠
舞蹈翻跳、飯拍、2次創作影片、粉絲繪圖、甚至總攻情報
試著將親手製作的內容分享到平台上，來提升UNIVERSE等級與里程(KLAP)吧。
★UNIVERSE：每天都有全新的原創內容
去看看綜藝、畫報、MV、廣播等偶像直接參與的原創內容吧。
每天都有新內容更新，完全不會感到無聊。
韓飯整理目前已知的各團contents
https://www.instiz.net/name_enter/76446608
藝能contents "UNIVERSE ORIGINAL"系列(11組藝人都有)
[TEASER 1] AREA51: THE CODE (MONSTA X)
https://youtu.be/X1GlI1HJO5Q
[TEASER 1] Agent BlackJack K (姜丹尼爾)
https://youtu.be/jIcGq39UgLM
UNIVERSE賺取的收益將會分享給偶像。
在UNIVERSE上的活動越熱絡，便能越親近偶像，
粉絲活動的意義也會傳達給偶像的。
--------------------------------
以上是APP官方說明
另外還有：
★UNIVERSE MUSIC
UNIVERSE的所有idol都會參與，第一組藝人是IZ*ONE
將在1/26發行音源、1/28公開M/V
每個月依序公開音源、畫報、M/V等多樣的內容
★Welcome Kit
這個目前只知道是送給idol們的禮物
借用MONSTA X基賢的開箱照
ATEEZ潤浩(繡了名字的外套)
★演唱會
[UNI-KON] UNIVERSE KPOP CONCERT - TEASER
https://youtu.be/4Tk9PhPlpZ0
2021.02.14 下載APP即可免費收看
除此之外也會提供藝人跟粉絲自由交流的空間
目前知道的就這些，若之後有釋出其他資訊再更新
參考來源:
IZ*ONE, 'UNIVERSE MUSIC'第一個主角...'D-D-DANCE'日程公開
https://www.dispatch.co.kr/2124916
NC,能否通過IT技術和資訊的合縱連橫成為'颱風眼'?
https://0rz.tw/nCwcD
UNIVERSE官方推特
https://twitter.com/into__universe
心得:
1.雖然粉絲們會滿開心的，不過偶像們的工作量好像增加了不少XD
2.據說還有直播的功能
3.不知道跟Weverse和Bubble差在哪邊因為我都沒用過，不過應該是U的功能更多
4.最重要的一點是希望不要收太貴...(才剛買了官方會員TT)
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.46.29.104 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/KoreaStar/M.1611145780.A.56B.html
把內容更換成官方說明，應該更容易看得懂
※ 編輯: nccucat (114.46.29.104 臺灣), 01/21/2021 11:57:52
... <看更多>