SZK ⊆ IP

Inclusion · folklore

Statement

$\mathbf{SZK}\subseteq \mathbf{IP}$: a statistical zero-knowledge proof system is an interactive proof with an added simulation requirement — folklore.