知識論證 - 定義

我最近了解了互動式證明和論證之間的區別，但即使 IP 的幾個標準變體眾所周知並且在教科書（例如 Goldreich）中進行了詳盡的描述，但論證並沒有很好的記錄。

特別是，我很難為知識論證的概念找到一個完善的定義（我知道提取器直覺地可以訪問帶有輔助輸入的 PPT 證明器），這也可能被引用

預先感謝

知識證明（分別是論證）的概念是在

$$ GMR $$（分別，$$ BCLL $$)，但兩篇論文中的定義都比正式的更直覺。嘗試在更正式的定義$$ FFS $$和$$ FS $$. 這些工作的高潮（我相信）是$$ BG $$，這是我推薦閱讀的內容，因為 (i) 它晚於其他作品，並且 (ii) 它很好地總結了以前的定義（參見附錄 A）。$$ BG $$側重於知識證明，但知識論證的定義是相似的（見 §4​​.7）。 附錄。正如@Yehuda Lindell 指出的那樣，教科書的定義

$$ G $$值得研究，似乎那裡的定義緊隨其後$$ BG $$（參見 §4.12.1 中的歷史註釋）。 $$ BCLL $$, Brassard, Crépeau, Laplante 和 Léger,計算上令人信服的知識證明, STACS'91 $$ BG $$Bellare 和 Goldreich，關於定義知識證明，Crypto'92 Feige、Fiat 和 Shamir，身份的零知識證明，STOC'87

Feige 和 Shamir，見證不可區分和見證隱藏協議，STOC'90

Goldwasser、Micali 和 Rackoff，互動式證明系統的知識複雜性，STOC'85

Goldreich，密碼學基礎，第 1 卷

引用自：https://crypto.stackexchange.com/questions/82118