Zero-Knowledge-Proofs
零知識證明中證明者的計算無界策略
我目前正在研究零知識證明。（特別是零知識的簡短教程——Oded Goldreich）
在互動式證明系統定義中，要求證明者俱有無限計算能力（即執行計算無界策略），而驗證者俱有某種有限計算能力（即執行（機率）多項式時間策略）。
證明者比驗證者擁有更多計算能力的原因是什麼？是不是因為我們希望證明者能夠在理論上而不是在實踐中“作弊”（即我們證明給定 zkp 協議的合理性）？
另外：鑑於驗證者原則上可以將成績單呈現為模擬器，證明者比驗證者俱有更多的計算能力，這難道不奇怪嗎？
要添加到 baro77 的答案：
證明者比驗證者擁有更多計算能力的原因是什麼？
如果互動式協議中的證明者與驗證者俱有相同的權力，那麼擁有證明者就沒有意義：驗證者可以自己做任何證明者在協議中所做的事情。 $ ^* $ 不過，證明者不一定總是無界的——只要雙方的能力之間存在“差距”，互動式協議的概念就有意義。
$ ^* $ 然而，當證明者擁有一些關於驗證者沒有的陳述的輔助資訊時，情況就不是這樣了，例如，當陳述存在時，它的證人 $ \mathbf{NP} $ . 然後可以談論有限的證明者（例如，如本文中所述）。