SZK ⊆ coAM

Inclusion · For87

Statement

SZK $\subseteq$ coAM: the complement of every promise problem with an honest-verifier statistical zero-knowledge proof system has an Arthur–Merlin proof — For87.

Notes

• The $\mathbf{SZK}$-completeness of Statistical Difference gives a simpler, unified proof of this containment and of $\mathbf{SZK}\subseteq \mathbf{AM}$ — SV03.