nothing but their validity or all languages in NP have zero-knowledgeproof systems. Journal of the ACM (JACM). 1991-07-01, 38 (3): 690–728 [2018-04-02]
(原始内容存档于2021-03-08) (英语). S. Goldwasser, S. Micali, C. Rackoff. The knowledge complexity of interactive proof-systems. ACM: 291–304. 1985-12-01 [2018-04-03]. ISBN 0897911512