SZK ⊆ AM

Inclusion · AH91

Statement

$\mathbf{SZK}\subseteq \mathbf{AM}$: every promise problem with an honest-verifier statistical zero-knowledge proof system has a two-message public-coin Arthur–Merlin proof — AH91.

Notes

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