# zbMATH — the first resource for mathematics

Honest-verifier statistical zero-knowledge equals general statistical zero-knowledge. (English) Zbl 1027.68695
STOC ’98. Proceedings of the 30th annual ACM symposium on theory of computing, Dallas, TX, USA, May 23-26, 1998. New York, NY: ACM, Association for Computing Machinery. 399-408 (1998).

##### MSC:
 68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
##### Keywords:
Arthur-Merlin proof system