olemus
teabetu tõestuse alaliik (U. Feige, A. Shamir, 1990)
= a variant of a zero-knowledge proof

ülevaateid
https://en.wikipedia.org/wiki/Witness-indistinguishable_proof
https://www.isical.ac.in/~rcbose/internship/lectures2016/rt02feigeshamir.pdf
http://www.cs.umd.edu/~jkatz/gradcrypto2/NOTES/lecture21.pdf

vt ka
- zap