Witness Encryption 中可以使用一個 NP 語言 L（對應一個關係 R）的一個實例 x 加密一段訊息，對於知道某個 w 使 R(x, w) 成立的人可以解密，而若某 x 不存在於 L 中，則沒有多項式時間的攻擊者可以分辨任兩個具有相同長度原文的密文。值得注意的是，加密者不一定知道 x 是否存在於 L 中。[1] 以更白話的說法，我們可以找到一個 NP 問題，但不必要知道這個問題是否有解，而利用這個問題對某段訊息加密，接著交給可能知道的人解密。例如在 Goyal and Goyal[2] 中利用某筆紀錄對於某個 PoS 區塊鏈的存在條件中作為 NP 問題並對某電路進行加密，因此這個電路只有在區塊鏈將某筆紀錄上鏈後才可執行，也只能執行一次。
作者: flyinglimao
@ViteTipBot – Twitter 上的 $VITE 打賞機器人
Grants Round 11 Hackathon: Vite Labs 參賽作品 – @ViteTipBot
https://vitetipbot.deta.dev/
VariaNFT – 批量發行 NFT 的小工具
NFT Vision Hack 參賽作品 – VariaNFT
https://varianft.studio/
黑客松紀實 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 這東西。