A.3 定義

再接近正式定義一些，零知識機制發生在兩個參與方之間：聲稱者A和驗證者B。聲稱者盡力使驗證者相信某一個陳述是真實的。例如，這個陳述可能是“我知道對應于PA的私有密鑰”。為了使B確信，聲稱者和驗證者首先交換一些消息，然后B決定接受或拒絕聲稱者的證明。
這樣一個機制需要三個本質上的特性：
– 完備性。 如果A的陳述是真實的，那么B應該以極大的概率接受它。
– 合理性。 如果A的陳述不是真實的，那么無論A怎么做，B應該以極大的概率拒絕它。
– 零知識。無論B是如何做的，B所接收到的只是A的陳述為真。更確切一點說：無論在與誠實的聲稱者會話時候B接收到了什么，B應該與完全不與A會話一樣容易由自己計算出來。這意味著B自身能夠模擬會話，所產生的會話看上去好象的確是在與A會話一樣。