The following pages link to (Q4725777):
Displaying 4 items.
- A language-dependent cryptographic primitive (Q676829) (← links)
- Minimal from classical proofs (Q1946677) (← links)
- Minimum-Knowledge Interactive Proofs for Decision Problems (Q3835409) (← links)
- Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems (Q4302852) (← links)