阿里巴巴的「零知識證明」

2021-08-02 04:55:45 字數 2115 閱讀 3826

這並不是天方夜譚,而是學術界常見的難題,前些年有個博士生告他的泰斗級導師剽竊他的成果,但除了令師生關係惡化外沒有任何效果,最後他使出了撒手鐗,稱他在給導師審閱的**的關鍵公式中,故意標錯了乙個下標,而這會導致整個推導失敗。學術委員會一查果真如此,但還是有傾向於泰斗的聲音,有人說那是泰斗的筆誤,只不過讓你發現了而矣,並不能證明那公式就是你推導出來的。

這個博士生故意標錯下標,不能說他沒有心眼,但他沒有把「零知識證明」理論用好,以致於落到這種地步。「零知識證明」早在2023年就被a.fiat和a.

shamir用數學的方法給出了解決方案,並在同年申請了美國專利,但由於該理論可能被用於軍事領域,專利局被軍方密令擱置,6個月後,軍方命令:「該申請發表後會有害於****……所有美國人的研究未經許可而洩露將會被判刑罰款」。看來軍方認為作者肯定是美國人了,但作者實際上是在美國申請專利的以色列人,研究也是在以色列的大學裡做的,軍方這個命令擺了個大烏龍,雖然兩天後撤消了,但已經成為了學術界的笑柄。

這個笑柄也說明了乙個問題,即「零知識證明」非常重要。基於數學的推理雖然非常複雜,但思路卻很簡單,上述的阿里巴巴方案就是其中之一。其它的一些方案,也都是像這樣遵循著分割和選擇(cut and chose)協議的。

例如圖論中有個哈公尺爾頓迴路(hamiltonian cyclic)問題,說的是多個頂點的全連通圖,若有一條通路通過了所有頂點,且每個頂點只通過一次,那這就是哈公尺爾頓迴路。如果頂點較多的話,即使用計算機窮舉計算很難找出這條迴路,因為通路的可能性真在是太多了。

如果松鼠會貼了一張全連通圖(命名為a圖)懸賞哈公尺爾頓迴路,而且任命我(奧卡姆剃刀)作為評審官,你幸運的找到了一條,那該怎麼辦呢,將結果直接發給我嗎?千萬不要,因為保不齊我會將你的成果讓給了我的親信。那你該怎麼辦呢?

應該這麼辦:

1、你將a圖的頂點搞亂了,並生成一張新圖,只是頂點的位置變了,而新圖頂點之間的連線關係與a圖是完全一致的。這時,新圖中每個頂點與a圖中每個頂點的對應關係你是清楚的,而且新圖中的哈公尺爾頓迴路你也是知道的。

2、你將這張新圖發給我,沒錯,就是僅僅一張新圖,上面並沒有畫著你發現的牛b迴路。

3、我收到後,對你提出兩個問題中的乙個:一是證明新圖就是從a圖變形過來的,所有頂點和連線的關係完全一致,二是畫出新圖中的哈公尺爾頓迴路。

4、如果你真的找到了a圖的哈公尺爾頓迴路,這兩個問題當然都能輕鬆回答。需要注意的是:你只需要回答第3步的其中乙個問題,千萬不要兩個問題一併回答,否則我就知道你關於a圖的哈公尺爾頓迴路了,你就sb了。

5、我還是不相信你,因為有可能你只是將a圖變了形,卻根本不知道a圖的哈公尺爾頓迴路,而我在第3步時恰好要求你證明新圖就是從a圖變形過來的,你當然能證明。或者有可能你找了個你知道哈公尺爾頓迴路的圖,但這張圖跟a圖一點關係都沒有,而我在第3步恰好要求你畫出這張圖的哈公尺爾頓迴路。

6、我要求你從第1步開始重複這個驗證過程,隨著次數的增加,第5步那種巧合的可能性就越來越低,如果你多次能回答對第3步中的問題,那我還不相信你已經找到了a圖的哈公尺爾頓迴路,那我就是乙個傻瓜。

7、為了表明我不是傻瓜,我在松鼠會群博裡宣布你找到了a圖的哈公尺爾頓迴路,而這時我並沒有看到你所畫的a圖的哈公尺爾頓迴路。

回到你證明了世界級的數學難題的問題,你可以用這種分割和選擇協議來進行零知識證明,來保護你的權利。你公開聲稱你解決了這個數學難題後,驗證者會給你出乙個其它的題,而能做出這道題的前提條件是已經解決了那個數學難題,否則的話無解,而且這個條件是學術界所公認的,這個題就是所謂的平行問題。不出所料,你靠著已經解開數學難題的基礎把這個平行問題做出來了,但驗證者還是不信,他又出了一道平行問題,你又做出來了,多次較量後,驗證者就確信了你已經解決了那個數學難題,雖然他並沒有看到具體的解法。

大家已經看出來了,零知識證明需要示證者和驗證者的密切配合,但如果你只是乙個數學界的無名之輩,即使你宣稱你解決了數學難題,也不會有人跟你配合著玩零知識證明,那你該怎麼辦呢?

我告訴你乙個可以在法庭上都能當作有效證據的招數,你將證明列印好,選擇乙個最可靠最權威的郵政公司,把它寄給自己,當你收到這個扣著郵戳的包裹後,不要開啟,把它放好,然後就可以把證明寄給數學泰斗。如果他用自己的名義發表了,不必著急,等他依靠其影響力把這個證明炒熱後再出手,你上法庭控告他,他當然不承認,在法庭上你將那個沒開封的包裹拿出來,上面清清楚楚地蓋著時間戳,這就證明了你包裹裡的證明是發生在那個時間戳之前的,加上之後的你郵給泰斗**的郵件存根,和泰斗以自己名義發表**的時間,三者就構成了乙個完整的證據鏈,泰斗灰頭土臉名聲掃地,而你大獲全勝名利雙收。

阿里巴巴優點

四 主題明確,重點突出 阿里雖然資訊量很大,但是不會給人很亂的感覺,就是因為阿里的主題明確,重點突出,因為阿里就是圍繞四個版塊來操作的 我要銷售,我要採購,以商會友和我的阿里助手等。首頁的內容和資訊就是圍繞這四大版塊來安排的,比如首頁裡重點突出公司的資訊和資料很多,他的首頁大致分為 公司資訊版塊,論...

阿里巴巴如何盈利

簡單的說,盈利模式就是企業賺錢的渠道,通過怎樣的模式和渠道來賺錢。阿里巴巴的盈利模式人們談論很多,我想可否總結為 它是組合盈利拳,是進化盈利鏈,是動態發展的盈利模式。將其歸結到企業戰略和核心競爭力的乙個共同點上,就是 難以模仿 阿里巴巴的盈利模式是難以模仿的乙個典型。它的關鍵的棋步,如果算上準備出台...

觀阿里巴巴有感

這場會議讓我明白了國家高度重視了電子商務了,感覺電子商務是個好平台,做網路是件好事,像我們這樣還在創業路上的人在在這個網路大潮中也走得很是艱難,現在做網路的人實在是太多,高手如雲,什麼競價排名 關鍵詞優化 這些我都不太懂,所後在後來的日子裡,我會盡量的努力研究學習電子商務這們行業。發現很多人都在跑了...