olemus
krüptograafiline meetod, mis võimaldab ühel poolel tõestada teisele, et väide kehtib, andmata talle seejuures mingit lisateavet
= a method by which one party (the prover) can prove to another party (the verifier) that a given statement is true while the prover avoids conveying any additional information

väite näiteid
identiteediväide, mingi matemaatiline väide, salajase võtme teadmise väide

ülevaateid
https://en.wikipedia.org/wiki/Zero-knowledge_proof
https://www.cs.princeton.edu/courses/archive/fall07/cos433/lec15.pdf
http://www.wisdom.weizmann.ac.il/~oded/PSX/oren.pdf
https://info.cs.st-andrews.ac.uk/student-handbook/files/project-library/cs4796/gf45-Final_Report.pdf
https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.pdf

vt ka
- teabetu protokoll
- tunnistieristamatu tõestus
- zap