本文翻譯自AvivZohar的博文《TheIncredibleMachine》。這是小編看過的最接地氣、最好理解的“零知識證明”解釋。推薦大家一定要看!本文分為兩部分,第二部分將于下期小課堂發布。
小A、小B、小C三個小朋友是學霸,非常喜歡玩數獨游戲,而且經常湊一起解決難題,以此證明自己更聰明。
他們還經常喜歡挑戰高難度的,比如這樣的:
小A是三個小朋友中最聰明的,他會自己出題,并且設置一些規則,給另外兩個小伙伴去解。
Azuki #4864以138 WETH的價格成交:金色財經報道,Azuki #4864在LooksRare平臺上以138 WETH(價值超過16萬美元)的價格成交,買家是NFT巨鯨luggis.eth。[2023/1/2 22:20:53]
證明
有一天,小A出了一道非常難的題,小B花了很長時間,就是解不開,于是:
小B生氣了:“小A,這個數獨題根本無解,你這是耍我,想看我出丑!”
小A一臉王者之氣:“我能證明給你看這題是有解的,而且我知道這個解。”
小B:“行,我等著”。同時,內心OS:等你解出來之后,我就把答案記下來,再去測試小C。
小A:“我會用‘零知識證明’的方法給你證明我會解這題。也就是說我不會把解給你看,但你卻明白我確實有這題的解。”
DeBank推出女巫地址標記功能,女巫標簽對所有用戶公開:12月30日,據官方推特,一站式DeFi錢包DeBank推出女巫地址標記功能,所有用戶可在相應的地址頁面查看該地址是否被標記為“女巫地址”。
此外,被標記為女巫地址的用戶無法使用“DeBank Hi”和“Live chat”功能。DeBank 同時歡迎用戶對錯誤標記的地址進行申訴。[2022/12/30 22:16:21]
小B:“emmm試試吧。”內心OS:別BB了,快點,我還要去看小C吃癟呢。
承諾
小A拿出81張空白卡片,在每張卡片上寫上1-9中的一個數字,并按9x9的矩陣形式,將卡片排列在桌上。代表謎底的卡片,數字面朝下放在桌上;代表謎面的卡片,數字面朝上放在桌上。
上市公司時代環球集團擬出售全部加密貨幣:金色財經報道,上市公司時代環球集團(02310.HK)宣布,于2022年11月30日,公司擬以129.08萬港元向買方黃敏菁出售目標公司100%股權及相關貸款895.79萬港元。目標集團的主要資產為加密貨幣。預計集團將從出售事項確認收益約900萬港元。完成后,集團將不再從事投資加密貨幣。
公告稱,自2022年起,加密貨幣市場出現衰退。公司一直積極尋找機會以出售集團所持的加密貨幣。經考慮當前的加密貨幣市場后,董事認為出售全部加密貨幣以避免手頭的加密貨幣的市價進一步波動,符合集團的最佳利益。[2022/12/1 21:13:30]
BendDAO聯合創始人:沒有流動性危機,只有一群貪婪的人想要更便宜的藍籌:11月18日消息,NFT借貸協議BendDAO聯合創始人PirateCode.eth在推特上表示:“我希望人們停止fud BendDAO,沒有流動性危機,只有一群貪婪的人想要更好更便宜的藍籌,那些fud的人是你應該討厭的人,而不是建造的人。”
此前消息,BAYC地板價跌破50E,BendDAO中28個BAYC進入清算,市場恐慌BendDAO將再次引發清算危機。[2022/11/18 13:21:49]
隨機挑戰
小B內心很激動,這就像學霸花很長時間沒有解出的附加題,但即將在另一個學霸那看到解題步驟和答案,能不激動嗎。
小A這時說:“小B,你不能偷看這些面朝下的卡片”。小B很失望,還以為很快就能知道答案了呢。
SBF:FTX是加密行業的“縮小版摩根大通”,每月都會訪問數次華盛頓:10月14日消息,在最近舉行的國際金融協會年會一次采訪中,FTX創始人Sam Bankman-Fried表示,他的公司就像是加密行業的“縮小版摩根大通”。摩根大通以在1907年金融恐慌之后組織銀行救助而聞名,導致立法者在幾年后創建了美聯儲,而現在SBF和FTX則向BlockFi和Voyager等許多陷入困境的加密公司提供了信貸或股權投資支持,其中許多交易并非以盈利為主要目的,而是為了防止風險被進一步傳染。
此外,SBF還談到了金融監管問題,并透露自己每個月都會不止一次訪問華盛頓特區,與立法者和監管機構會面,目前對加密行業在促進立法方面取得的進展感到驚喜并補充說:在過去的一年里,我對監管機構的興趣和參與程度感到有些震驚,我不會說監管方面的成績會一下子從0到60分,但我們現在能從0到23分,而且進度很快。(Morningstar)[2022/10/14 14:27:29]
小A接著說:“但我能讓你檢驗這些解,你可以隨意挑一行,或一列,或者一個3x3的九宮格區域來檢驗我的解。”
小B決定挑一行來檢驗。接下來,小A把每一行的9張卡片收起來,每行單獨放到一個袋子里。總共9行,所有卡片都被收完放在了9個袋子里。小A搖了搖每個袋子,把里面的卡片順序打亂,然后把9個袋子遞給小B。
小B很困惑,心想這是什么鬼?
驗證
小A:“好了,你可以打開袋子了。每個袋子里應該都正好有9張卡片,這9張卡片上的數字分別是1-9。”小B打開袋子一看,還真是這樣。
小B:“你耍賴,這根本沒有證明任何事!我也可以做到,我只要把數字從1到9按任意順序排成一行不就行了!。”
小A解釋說:“我又不會讀心術,我可不知道你事先會按照行來選,還是按照列或者九宮格來選。你之前如果按照列來選,照樣能夠得到這樣的結果。”
事實上,只有正確的解,才會得到這樣的結果,即有了正確的解,任意行、列、九宮格內的數字才會是1-9不重復的數字。如果小A的解不正確,至少有30%的概率得不到這樣的結果。
重復測試
小B還是不服氣,他根本沒有被小A說服,仍然認為這道題無解。他要求小A按照原來的方法重來一次,他重新測試。后來,他們又重新做了好多次這個測試,無論小B選擇行,還是選擇列,或者選擇一塊九宮格,都能得到相同的結果。
這下小明不得不承認,小A確實知道這道題的解,因為小A不可能運氣好到每次都壓中小B會選擇哪一行、哪一列或哪一塊,畢竟小A不是他肚子里的蛔蟲。小A很失望,這么多次測試做完,他還是不知道答案,他只知道每次的排列里,很可能每一行、每一列、每個九宮格確實包含了數字1-9,并且沒有重復的數。這很有可能是小A在知道答案的情況下才能實現的。
后來小C也知道了這個方法,此后三個小伙伴養成了通過零知識證明去證明給對方看自己知道某道題的解的習慣。雖然每次證明所需的時間都很長而且還挺累人的,但每個數獨謎題都是自己花費很長時間才解出來的,才不想把答案告訴其他人呢。
越來越多的人加入游戲
后來,小A發現世界上有成千上萬的數獨愛好者,很多人都通過線上玩。所以他決定開個抖音直播間,這樣他可以在線上發布他獨創的數獨挑戰,讓更多人來解謎題。
做這樣直播的人很多,怎樣才能吸引更多粉絲呢?小A想了一個辦法:他和小B聯合直播,每次直播時讓小B用零知識證明的方法向觀看直播的粉絲們證明這題有解,并且自己知道這道題的解,但不會輕易告訴粉絲。就這樣,越來越多的粉絲進入直播間,想要解出小A出的謎題。不僅如此,小A還會把數獨挑戰的謎題以及證明過程拍下來,發到個人頻道上。
作假被發現了
有一天,小A又來找小B一起直播,但他發現自己把記錄謎題答案的筆記本落家里了。開播時間馬上到了,回去拿又趕不上。于是,他和小B商量說:“我們假裝做一個零知識證明。”兩人一起商定了等會兒小B該如何“隨機地”選擇行、列、塊,因為小A事先就知道小B會選擇什么,他只需要按照順序擺好數字就行了。
小C也看了這場直播,事后小A和小B告訴小C,這次直播作假了。小C很氣憤,覺得自己的感情受到了欺騙,并且揚言再也不會相信他們倆了,他們根本對不起那么多粉絲對他們的喜歡。
未完待續......
小C很生氣,后果很嚴重。預知后續情節,且聽下回小課堂分解。
原文鏈接:https://medium.com/qed-it/the-incredible-machine-4d1270d7363a
作者|哈希派分析團隊 德鄰資本創始人李昆運:對比特幣的行情發展樂觀,波卡的行情會緊跟大盤:據官方消息.
1900/1/1 0:00:00編者注:原標題為《央行數字貨幣都要來了,你竟然還不懂如何跟小姐姐解釋區塊鏈?》農行開測央行數字貨幣了知道嗎?DC/EP的發行正式進入倒計時! 對于區塊鏈行業來說, 這無疑是一個巨大的好消息.
1900/1/1 0:00:00Twitter首席執行官兼聯合創始人杰克·多爾西在接受技術研究員的播客采訪時,將比特幣的白皮書稱為“詩歌”.
1900/1/1 0:00:00摘要:大盤繼續下行,USDT場外溢價水平繼續下降,短時會有所反彈。目前,不斷增發的USDT并不能作為場外資金進入的信號,很多并沒有用于購買比特幣,而是被用于借貸投機、資金轉移、價值存儲等需求增長.
1900/1/1 0:00:00作者:白特冪 來源:幣乎 編者注:原標題為《我踩雷了。昨天剛說準備了一筆錢抄底,今天就全在Defi里炸掉了》中午吃飯后,一覺到現在剛醒,迷迷糊糊的。此刻內心還在滴血,說出來讓大家高興一下吧.
1900/1/1 0:00:00小結 本文試圖從貨幣流通理論出發構建代幣經濟體價值及代幣”內在價值”的評估框架。根據貨幣流通理論,銷毀不能直接提高代幣的理論價格.
1900/1/1 0:00:00