Home > Tags > interactive-proof
Interactive Proof¶
Description¶
Tags entries about the general interactive proof model (IP), complexity class IP, and multi-round protocols between prover and verifier.
Canonical entry¶
→ TheoreticalModels/Interactive-Proof-Model
Entries tagged¶
- Algebraic Methods for Interactive Proof Systems
- Fiat-Shamir Transformation
- Interactive Proof Model (IP)
- Non-Interactive Zero-Knowledge and Its Applications
- On Sigma Protocols (Damgård)
- Scalable Secure Multiparty Computation
- Sumcheck Protocol
- The Knowledge Complexity of Interactive Proof Systems
- The Knowledge Complexity of Interactive Proof Systems (GMR85)