模擬器與證明者——零知識屬性
我知道這個話題在這個平台上已經討論過很多次了；但是，我仍然缺乏證明系統零知識屬性背後的直覺。
我知道模擬器的目標是模擬驗證者和證明者之間的真實成績單。因此，如果模擬器可以在無需訪問與驗證者的真實證明無法區分的證人的情況下創建成績單（它可以欺騙驗證者），我們就說證明是零知識。
這是沒有意義的。
驗證者使用真實證明來驗證不是模擬器創建的證明。如果模擬的可以欺騙，它與真實的證明有什麼關係？模擬器是否有一些真正的證明者沒有的額外資訊？
編輯
隨著我收到的評論，我的理解發生了一些變化；如果有人能告訴我它是正確的，我會很感激。直覺是證明者可以使用模擬器生成這個副本（因此，無法從模擬生成的副本中提取任何內容）。但是，我們不知道證據是否真的證明了證人的知識，即“知識健全性”屬性。我對麼？
模擬器（S）在證明互動式系統具有零知識屬性方面發揮了關鍵作用，它模擬 P 但無法訪問見證人。他的貢獻如下： V 與 S 互動。在某些時候 V 將使 S 處於無法回答問題的“困難位置”，因為他無法訪問證人。在這種情況下，我們將 V 電影返回到令人不快的問題（倒帶）之前的狀態，並從該點開始執行協議。如果 V（連續倒帶）最終接受了 S 的證明，則協議處於零知識狀態，因為 V 無法區分認識證人的 P 和假裝的 S。也就是說，V 不會從協議中導出任何附加資訊（因為在第二種情況下沒有要導出的資訊）。
模擬器沒有見證。模擬證明代替 P 與 V 相互作用 我們無法區分相互作用 ⟨S, V⟩ 和 ⟨P, V⟩ 我們還允許倒帶：如果在某個點 V ‘問’某事他無法回答 S 然後停止 - 倒帶如果 V 在某個時候接受（即使有倒帶），則零知識 為什麼：無法區分 P（有見證）和 S（不可用）只要 S 保持 PPT 具體來說：從 P 中提取資訊的 AV 將從 S 中提取相同的資訊（沒有什麼可出口的）