Witness Encryption 中可以使用一個 NP 語言 L（對應一個關係 R）的一個實例 x 加密一段訊息，對於知道某個 w 使 R(x, w) 成立的人可以解密，而若某 x 不存在於 L 中，則沒有多項式時間的攻擊者可以分辨任兩個具有相同長度原文的密文。值得注意的是，加密者不一定知道 x 是否存在於 L 中。[1] 以更白話的說法，我們可以找到一個 NP 問題，但不必要知道這個問題是否有解，而利用這個問題對某段訊息加密，接著交給可能知道的人解密。例如在 Goyal and Goyal[2] 中利用某筆紀錄對於某個 PoS 區塊鏈的存在條件中作為 NP 問題並對某電路進行加密，因此這個電路只有在區塊鏈將某筆紀錄上鏈後才可執行，也只能執行一次。
黑客松紀實 Ep. 4 – 回顧這三個月，以及之後要幹嘛
比賽結束也半個月了，目前的成績是拿到了決賽的門票，也完成簡報了。想說今天這篇文就來回顧這兩個月，並說明一下之後如果要繼續的要幹啥，為什麼是「如果」的話……你懂的。
黑客松紀實 Ep. 3 – 新夥伴加入與各種文件的誕生
這兩週主要就是弄些文件，在上次開會時深感自己的英文真的不太好，所以就招了幫忙校正英文的學弟，好像是小時候在國外 …
黑客松紀實 Ep. 2 – 終於可以用了……大概？
原本之前說八月底要上線，結果東拖西拖還是弄到了八月第二週，不過總算可以把主流程給跑完了，接下來主力就放在製造簡報和錄影片，寫文章的當下剛好收到來自主辦方的訊息說要安排 Meeting 來介紹這個 Project。
黑客松紀實 Ep. 1 – 拖拖拉拉進度緩慢的兩週
上上週規劃了黑客松要做的東西，後來兩個週末就開始弄這些，坦白說遠遠的沒有達到我的規劃，讓我想起了上次黑客松的經歷，希望這次不要再大趕工就是了。這兩週主要把 Layout 給建好，以及一些功能。
黑客松紀實 Ep. 0 – 從零開始設計一個 Web App
暑假時有一個黑客松開始了：NFT Vision Hack，也是我一直很感興趣的 NFT 領域，正好暑假可能相對比較輕鬆（也把一些事務給推掉了）以及剛好有個想法可以試試看，就決定參加了。今天 7/7 設定成參加的第一天，主要就是記錄一下想做什麼、怎麼做。
聽過 Merkle Tree，那你聽過 Verkle Tree 嗎？
上個月 Vitalik 寫了一篇文講 Verkle Tree，對於區塊鏈技術熟悉的人，大概會很快聯想到 Merkle Tree，也確實，Verkle Tree 就是 Merkle Tree 的一種變形，意思是 Very Short Merkle Tree，那具體改了什麼？又有什麼好處呢？從 Very Short 上，大概就可以猜出 Verkle Tree 提供的改進就是縮短了 Merkle Tree 的某部分。在開始之前，我們先往回看 Merkle Tree 這東西。
代理重加密：NuCypher Umbral 介紹
NuCypher 是一個滿久的項目了，最主要的目標是為隱私保護的應用提供基礎設施，包含了 Secret Management、Dynamic Access Control 與 Secure Computation。其中會用到的代理重加密這個功能，這篇文章將介紹 NuCypher 使用的代理重加密方法，他們命名為 Umbral，在西班牙文中這是 Threshold 的意思。
React 整合 Ethereum 的新方法：試玩 useDApp
之前自己做 Ethereum 的專案時，常常是自己拿 Web3.js 或 Ethers.js 來做，包含前一次的幣安黑客松作品也是這樣來的。最近看到 Solidity 讀書會 上面有人分享 EthWorks 的 Bounty Program 而發現新玩具，也稍微把玩了一下。這篇就來記錄一下，順便看能不能做出什麼去投 Bounty。