1、如果語句為真，誠實的驗證者（即，正確遵循協議的驗證者）將由誠實的證明者確信這一事實。
2、如果語句為假，不排除有概率欺騙者可以說服誠實的驗證者它是真的。
3、如果語句為真，證明者的目的就是向驗證者證明并使驗證者相信自己知道或擁有某一消息，而在證明過程中不可向驗證者泄漏任何有關被證明消息的內容。
零知識證明并不是數學意義上的證明，因為它存在小概率的誤差，欺騙者有可能通過虛假陳述騙過證明者。換句話來說，零知識證明是概率證明而不是確定性證明。但是也存在有技術能將誤差降低到可以忽略的值。
零知識的形式定義必須使用一些計算模型，最常見的是圖靈機的計算模型。
版權申明：本內容來自于互聯網，屬第三方匯集推薦平臺。本文的版權歸原作者所有，文章言論不代表鏈門戶的觀點，鏈門戶不承擔任何法律責任。如有侵權請聯系QQ：3341927519進行反饋。
