Security • Estimated 45m

Interactive Proofs

fundamentals.interactive-proofs

Interactive proofs model verification as a dialogue between a prover and a verifier. They matter because many zero-knowledge protocols start from this challenge-response structure before later non-interactive variants compress the interaction.

Open visual node page • Browse the concept library

Curated resources (3)

• MIT OCW: Lecture 25 - Interactive Proof Systems, IP (article) Structured lecture notes on prover-verifier protocols, completeness, and soundness.
• Proofs, Arguments, and Zero-Knowledge (article) Accessible bridge from interactive proofs to modern argument systems and zero-knowledge.
• The Knowledge Complexity of Interactive Proof Systems (article) Primary-source paper that formalized interactive proof systems and introduced zero-knowledge.

Direct prerequisites (0)

• None

Direct dependents (1)

• Zero-Knowledge Proofs

Canonical site description: Interactive Bitcoin knowledge graph with prerequisites, curated resources, and structured topic pages.