最接地氣的零知識證明解釋_比特幣

編者按：本文來自萬向區塊鏈，Odaily星球日報經授權轉載。小A、小B、小C三個小朋友是學霸，非常喜歡玩數獨游戲，而且經常湊一起解決難題，以此證明自己更聰明。

他們還經常喜歡挑戰高難度的，比如這樣的：

小A是三個小朋友中最聰明的，他會自己出題，并且設置一些規則，給另外兩個小伙伴去解。證明

有一天，小A出了一道非常難的題，小B花了很長時間，就是解不開，于是：小B生氣了：“小A，這個數獨題根本無解，你這是耍我，想看我出丑！”小A一臉王者之氣：“我能證明給你看這題是有解的，而且我知道這個解。”小B：“行，我等著”。同時，內心OS：等你解出來之后，我就把答案記下來，再去測試小C。小A：“我會用‘零知識證明’的方法給你證明我會解這題。也就是說我不會把解給你看，但你卻明白我確實有這題的解。”小B：“emmm試試吧。”內心OS：別BB了，快點，我還要去看小C吃癟呢。承諾

CertiK：QuestN_com的服務器上存在釣魚鏈接:金色財經報道，據CertiK監測，@QuestN_com的服務器上發布了一個釣魚鏈接。在團隊確認他們重新獲得服務器控制權之前，請不要點擊該鏈接。[2023/5/31 11:48:59]

小A拿出81張空白卡片，在每張卡片上寫上1-9中的一個數字，并按9x9的矩陣形式，將卡片排列在桌上。代表謎底的卡片，數字面朝下放在桌上；代表謎面的卡片，數字面朝上放在桌上。

隨機挑戰

小B內心很激動，這就像學霸花很長時間沒有解出的附加題，但即將在另一個學霸那看到解題步驟和答案，能不激動嗎。小A這時說：“小B，你不能偷看這些面朝下的卡片”。小B很失望，還以為很快就能知道答案了呢。小A接著說：“但我能讓你檢驗這些解，你可以隨意挑一行，或一列，或者一個3x3的九宮格區域來檢驗我的解。”小B決定挑一行來檢驗。接下來，小A把每一行的9張卡片收起來，每行單獨放到一個袋子里。總共9行，所有卡片都被收完放在了9個袋子里。小A搖了搖每個袋子，把里面的卡片順序打亂，然后把9個袋子遞給小B。

Paxos Treasury銷毀1.17億枚BUSD，過去兩天市值縮水超10億美元:2月15日消息，Whale Alert數據顯示，Paxos Treasury于UTC時間2月15日07:54:47銷毀117,401,943枚BUSD。隨著持續銷毀，BUSD市值過去兩天大幅縮水，據Coingecko數據顯示，BUSD市值在2月13日約為162.04億美元，當前約為152.03億美元，減少已超10億美元。[2023/2/15 12:08:34]

小B很困惑，心想這是什么鬼？驗證

小A：“好了，你可以打開袋子了。每個袋子里應該都正好有9張卡片，這9張卡片上的數字分別是1-9。”小B打開袋子一看，還真是這樣。

小B：“你耍賴，這根本沒有證明任何事！我也可以做到，我只要把數字從1到9按任意順序排成一行不就行了！。”小A解釋說：“我又不會讀心術，我可不知道你事先會按照行來選，還是按照列或者九宮格來選。你之前如果按照列來選，照樣能夠得到這樣的結果。”事實上，只有正確的解，才會得到這樣的結果，即有了正確的解，任意行、列、九宮格內的數字才會是1-9不重復的數字。如果小A的解不正確，至少有30%的概率得不到這樣的結果。重復測試

新加坡高等法院：NFT可被視為財產:10月24日消息，新加坡高等法院表示，NFT 可以被視為財產（Property）。新加坡高等法院法官 Lee Seiu Kin 于周五裁定，NFT 符合被視為財產的部分法律要求，例如：可與其他類似資產區分開，并且所有者可以被第三方認可。據悉，該法官的裁決是為了對其 5 月頒布的禁令進行解釋，即禁止任何可能出售無聊猿 NFT 的行為。[2022/10/24 16:37:21]

小B還是不服氣，他根本沒有被小A說服，仍然認為這道題無解。他要求小A按照原來的方法重來一次，他重新測試。后來，他們又重新做了好多次這個測試，無論小B選擇行，還是選擇列，或者選擇一塊九宮格，都能得到相同的結果。這下小明不得不承認，小A確實知道這道題的解，因為小A不可能運氣好到每次都壓中小B會選擇哪一行、哪一列或哪一塊，畢竟小A不是他肚子里的蛔蟲。小A很失望，這么多次測試做完，他還是不知道答案，他只知道每次的排列里，很可能每一行、每一列、每個九宮格確實包含了數字1-9，并且沒有重復的數。這很有可能是小A在知道答案的情況下才能實現的。后來小C也知道了這個方法，此后三個小伙伴養成了通過零知識證明去證明給對方看自己知道某道題的解的習慣。雖然每次證明所需的時間都很長而且還挺累人的，但每個數獨謎題都是自己花費很長時間才解出來的，才不想把答案告訴其他人呢。越來越多的人加入游戲

比特幣礦商Bitfarms第二季度凈虧損1.42億美元:金色財經報道，比特幣礦商Bitfarms第二季度凈虧損 1.42 億美元，低于上一季度 500 萬美元的凈收入。該公司還在本季度將其哈希率提高了 33% 至每秒3.6 exahash (EH/s)。盡管本季度比特幣價值大幅下跌，但Bitfarms報告的收入增長了5%，達到4200萬美元。[2022/8/16 12:27:10]

后來，小A發現世界上有成千上萬的數獨愛好者，很多人都通過線上玩。所以他決定開個抖音直播間，這樣他可以在線上發布他獨創的數獨挑戰，讓更多人來解謎題。做這樣直播的人很多，怎樣才能吸引更多粉絲呢？小A想了一個辦法：他和小B聯合直播，每次直播時讓小B用零知識證明的方法向觀看直播的粉絲們證明這題有解，并且自己知道這道題的解，但不會輕易告訴粉絲。就這樣，越來越多的粉絲進入直播間，想要解出小A出的謎題。不僅如此，小A還會把數獨挑戰的謎題以及證明過程拍下來，發到個人頻道上。作假被發現了

有一天，小A又來找小B一起直播，但他發現自己把記錄謎題答案的筆記本落家里了。開播時間馬上到了，回去拿又趕不上。于是，他和小B商量說：“我們假裝做一個零知識證明。”兩人一起商定了等會兒小B該如何“隨機地”選擇行、列、塊，因為小A事先就知道小B會選擇什么，他只需要按照順序擺好數字就行了。小C也看了這場直播，事后小A和小B告訴小C，這次直播作假了。小C很氣憤，覺得自己的感情受到了欺騙，并且揚言再也不會相信他們倆了，他們根本對不起那么多粉絲對他們的喜歡。神奇的機器和非交互證明

Crypto Quant CEO：多數人并未離開加密市場而是在等待觸底:6月30日消息，Crypto Quant CEO Ki Young Ju在推特上表示，每個人都在談論看跌的事情，但他們中的大多數人都沒有離開加密貨幣市場。他們只是在等待市場觸底。數據顯示，比特幣市值從頂部下跌了70%，而穩定幣市值僅下跌了11%。目前在交易所的穩定幣價值是比特幣儲備的一半。我們有250億美元的子彈可以讓加密資產價格上漲。這只是時間問題。[2022/6/30 1:41:59]

小C越想越氣，他很喜歡解出數獨謎題的那種爽感，也喜歡之前和小A、小B一起玩零知識證明的挑戰，但小A、小B卻打破了他的信任，他想找出一個檢驗零知識證明的方法。小C拼命想啊想，甚至失眠了數晚，終于讓他想出了一個方法。然后他去找小A和小B，給他們展示自己的新發明“zk-SNIPM”。這臺機器本質上是小A和小B的測試的自動化版本。小A只需要把卡片放在傳送帶上，然后把數獨的解放到機器上。機器會自動選擇按行、或列、或九宮格來收集卡片，然后放到袋子里打亂順序，袋子會通過傳送帶從另一邊再送出來。然后小A就可以當著鏡頭的面拆開袋子展示里面的卡片。這臺機器有一個控制面板，上面有一長串的旋轉鈕，用來指示每次測試選擇行還是列或者九宮格。小C設置好了測試順序選擇，并且把機器的控制面板焊死了，以保證小A和小B不知道他選擇了怎樣的測試順序。這下小C很放心了，他完全信任自己的這臺機器，并把它交給小A和小B，讓他倆在下次直播中用這臺機器來證明。他很確定有了這臺機器，小A和小B再也無法作弊了。儀式

小A和小B很嫉妒小C的這臺機器，并且也想用這臺機器來驗證數獨的解。問題是只有小C知道這臺機器設置的測試順序，他們沒辦法用它來驗證小C的解，因為小C知道自己設置了怎樣的測試順序，有可能小C沒有解出的題也能通過測試。小A建議小C把控制面板打開，把之前的設置清除，大家一起重新設置控制面板上的測試順序，他把這個過程叫做“可信任的設置儀式”。小A建議把這臺機器放在一個黑屋子里，并把旋鈕上的標簽撕掉。他們三人分別進入這個屋子，并將機器上的旋鈕旋轉到一個隨機的位置，順時針旋轉三分之一圈，或者順指針旋轉三分之二圈，或者保持原樣，隨便怎樣都行。這樣，沒有人知道每個旋鈕的最終設置，即使其中兩個參與者串通一氣，沒有另外一個人的幫助，他們也不會知道旋鈕的最終狀態。這個儀式結束后，他們一起把控制面板焊死了。破解機器

一天下午，小B和小C因為有事要出遠門，只有小A守著機器，他就想試試這臺機器是不是真的像小C吹的那樣安全。想了一會兒后，他決定給機器輸入一些錯誤的題解，以此來測試機器的驗證順序。首先，他選擇了一個他能解開的謎題，輸入機器，觀察機器是否接受這個解。然后，他不斷重復這個過程，但他改變了輸入的解，只在每行里包含1-9的數字，但每列和每個九宮格區域沒有嚴格遵循包含數字1-9，且每個數字不重復的規則。機器沒有報錯，檢驗通過了，這意味著可以用這個方式來測試出機器里預先設定的檢驗順序。小A挺沮喪的，這個驗證方式看來并不完美啊。數獨與零知識證明

上面數獨游戲的證明就是零知識證明，證明者能夠在不向驗證者提供任何有用的信息的情況下，使驗證者相信某個論斷是正確的。零知識證明就是既能充分證明自己是某種權益的合法擁有者，又不把有關的信息泄露出去——即給外界的“知識”為“零”。游戲中用來自動化驗證數獨題解的機器zk-SNIPM就像是“實體化的”zk-SNARKs算法。zk-SNIPM存在一定漏洞，但可以通過設計進行改進，比如，用復印機把卡片的組合復印下來，然后同時驗證這些卡片的行、列、九宮格區域。這樣就很難通過試錯的方式來破解機器。小A和小B在直播中使用的驗證方式，就像是“交互式零知識證明”。小B在小A提交答案后，不斷地進行隨機試驗。在這種情況下，如果兩個人事先串通，那么在小A沒有真正解出題的情況下，小B能夠造假證明小A知道答案了。非交互式證明則不需要小A和小B有任何交互，解決了驗證者和證明者之間的造假問題，它通過預先將“密碼”和“程序”隱藏在“機器”中，自動算出一個證明。

Tags：比特幣ERTBUSDNFT比特幣最高市值GEERTBUSDXI will poop it NFT

OKB