零知識證明 概述性質數學困難問題與舉例

2021-09-21 17:36:18 字數 945 閱讀 2263

概述:

零知識證明(zero—knowledge proof),是由s.goldwasser、s.micali及c.rackoff在20世紀80年代初提出的。它指的是證明者能夠在不向驗證者提供任何有用的資訊的情況下,使驗證者相信某個論斷是正確的。零知識證明實質上是一種涉及兩方或更多方的協議,即兩方或更多方完成一項任務所需採取的一系列步驟。證明者向驗證者證明並使其相信自己知道或擁有某一訊息,但證明過程不能向驗證者洩漏任何關於被證明訊息的資訊。

早在16世紀的文藝復興時期,義大利有兩位數學家為競爭一元三次方程求根公式發現者的桂冠,就採用了零知識證明的方法。當時,數學家塔爾塔里雅和菲奧都宣稱自己掌握了這個求根公式,為了證明自己沒有說謊,又不把公式的具體內容公布出來(可能在當時數學公式也是一種技術秘密),他們擺開了擂台:雙方各出30個一元三次方程給對方解,誰能全部解出,就說明誰掌握了這個公式。比賽結果顯示,塔爾塔里雅解出了菲奧出的全部30個方程,而菲奧乙個也解不出。於是人們相信塔爾塔里雅是一元三次方程求根公式的真正發現者,雖然當時除了塔爾塔里雅外,誰也不知道這個公式到底是個什麼樣子。從這個故事,我們可以初步了解零知識證明的概念。

性質:

(1)正確性。p無法欺騙v。換言之,若p不知道乙個定理的證明方法,則p使v相信他會證明定理的概率很低。

(2)完備性。v無法欺騙p。若p知道乙個定理的證明方法,則p使v以絕對優勢的概率相信他能證明。

(3)零知識性。v無法獲取任何額外的知識。

數學問題:

零知識證明協議主要基於的幾類數學問題,通常零知識證明協議所基於的數學問題類似於密碼學中的公鑰密碼體制,都是主要基於如下幾類數學問題的.

舉例:

攻擊:

知網**:

謝謝!

零知識證明

零知識證明的幾個例子 原創 1 a要向b證明自己擁有某個房間的鑰匙,假設該房間只能用鑰匙開啟鎖,而其他任何方法都打不開。這時有2個方法 一 a把鑰匙出示給b,b用這把鑰匙開啟該房間的鎖,從而證明a擁有該房間的正確的鑰匙。二 b確定該房間內有某一物體,a用自己擁有的鑰匙開啟該房間的門,然後把物體拿出來...

零知識證明

定義 能夠在不向驗證者提供有效資訊的情況下,使得驗證者相信某種論斷的正確性。淺顯易懂的說明 zcash 零知識證明的三條性質 1.完備性 驗證方和證明方都是誠實的,並遵循證明的每乙個步驟 2.合理性 沒人能假冒證明方,阿里巴巴和強盜的故事,存在一種可能的情況 阿里巴巴不知道咒語,但和別人串通好,強盜...

零知識證明

零知識證明 zero knowledge proofs,簡寫為 zkps,最初由 s.goldwasser s.micali 及 c.rackoff 在 1985 年的 互動證明系統的知識複雜性 提出,指的是證明者能夠在不向驗證者提供任何有用資訊的情況下,使驗證者相信某個論斷是正確的。允許證明者 p...