対話証明系

対話証明系は、強力な証明者と確率的多項式時間検証者の間の相互作用によって、言語のメンバーシップを検証する計算複雑性理論の重要な概念である。

---

Table of contents

• 対話証明系の定義
• ゼロ知識証明
• NPに対するゼロ知識対話証明系