Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00840624n
Noun Concept
Categories: Computational complexity theory
EN
interactive proof system  soundness  Interactive proof-system  interactive proof systems  Multi-prover interactive proof
EN
In computational complexity theory, an interactive proof system is an abstract machine that models computation as the exchange of messages between two parties: a prover and a verifier. Wikipedia
Definitions
Relations
Sources
EN
In computational complexity theory, an interactive proof system is an abstract machine that models computation as the exchange of messages between two parties: a prover and a verifier. Wikipedia
abstract machine used in computational complexity theory Wikidata
HAS KIND
zero-knowledge proof
Arthur–Merlin protocol
Wikipedia
EN
interactive proof system
Wikidata
EN
Interactive proof system
Wikipedia Redirections
EN
Interactive proof-system, Interactive Proof System, interactive proof systems, Multi-prover interactive proof, Multiprover Interactive Proofs, quantum interactive proof system, soundness (interactive proof)

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License