public-coin interactive proof
GPTKB entity
Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
interactive proof system
|
| gptkbp:alsoKnownAs |
gptkb:Arthur–Merlin_protocol
|
| gptkbp:application |
gptkb:probabilistically_checkable_proofs
zero-knowledge proofs |
| gptkbp:contrastsWith |
private-coin interactive proof
|
| gptkbp:feature |
verifier's messages are random coin tosses
|
| https://www.w3.org/2000/01/rdf-schema#label |
public-coin interactive proof
|
| gptkbp:introduced |
gptkb:László_Babai
|
| gptkbp:introducedIn |
1985
|
| gptkbp:property |
prover cannot see verifier's private coins in private-coin protocols
verifier's randomness is public prover sees all verifier's messages in public-coin protocols |
| gptkbp:relatedTo |
gptkb:AM_complexity_class
gptkb:Arthur–Merlin_class gptkb:IP_complexity_class gptkb:MA_complexity_class |
| gptkbp:usedIn |
theoretical computer science
|
| gptkbp:bfsParent |
gptkb:interactive_proof_systems
|
| gptkbp:bfsLayer |
5
|