interactive proof system
Sign in to savein 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
Connections
NP-complete
Entity
Arthur–Merlin protocol
Entity
International Standard Book Number
Entity
probability
Entity
Wayback Machine
Entity
cryptography
Entity
digital object identifier
Entity
International Standard Serial Number
Entity
Turing machine
Entity
Q118398
Entity
formal language
Entity
string
Entity
quantum computing
Entity
P versus NP problem
Entity
Shafrira Goldwasser
Entity
Adi Shamir
Entity
computational complexity theory
Entity
Q22908627
Entity
Avi Wigderson
Entity
NP
Entity