Statements (12)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
crypt
|
| gptkbp:application |
gptkb:interactive_proof_systems
|
| gptkbp:contrastsWith |
private coin protocol
|
| gptkbp:feature |
verifier's randomness is public
|
| https://www.w3.org/2000/01/rdf-schema#label |
public coin protocol
|
| gptkbp:notableExample |
gptkb:Fiat-Shamir_heuristic
|
| gptkbp:property |
verifier sends random challenges
|
| gptkbp:relatedTo |
gptkb:Arthur-Merlin_protocol
|
| gptkbp:usedFor |
soundness amplification
|
| gptkbp:usedIn |
zero-knowledge proofs
|
| gptkbp:bfsParent |
gptkb:Arthur-Merlin_protocol
|
| gptkbp:bfsLayer |
6
|