1、如果語句為真，誠實的驗證者（即，正確遵循協議的驗證者）將由誠實的證明者確信這一事實。www.emoneybtc.com2、如果語句為假，不排除有概率欺騙者可以說服誠實的驗證者它是真的。3、如果語句為真，證明者的目的就是向驗證者證明並使驗證者相信自己知道或擁有某一消息，而在證明過程中不可向驗證者洩漏任何有關被證明消息的內容。零知識證明並不是數學意義上的證明，因為它存在小概率的誤差，欺騙者有可能通過虛假陳述騙過證明者。換句話來說，零知識證明是概率證明而不是確定性證明。但是也存在有技術能將誤差降低到可以忽略的值。零知識的形式定義必須使用一些計算模型，最常見的是圖靈機的計算模型。