interactive proof system (Q1665886)
Jump to navigation
Jump to search
in computational complexity theory, an abstract machine modeling computation as two parties (an untrusted but powerful ‘prover’; a trusted ‘verifier’ with bounded resources) exchanging messages to ascertain whether some string belongs to a language
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | interactive proof system |
in computational complexity theory, an abstract machine modeling computation as two parties (an untrusted but powerful ‘prover’; a trusted ‘verifier’ with bounded resources) exchanging messages to ascertain whether some string belongs to a language |
Statements
Identifiers
Sitelinks
Wikipedia(9 entries)
- cawiki Sistema de demostració interactiu
- dewiki Interaktives Beweissystem
- enwiki Interactive proof system
- eswiki IP (clase de complejidad)
- frwiki Système de preuve interactive
- hewiki מערכת הוכחה אינטראקטיבית
- jawiki 対話型証明系
- ptwiki Sistema de prova interativa
- zhwiki 交互式证明系统