SZK ⊆ CZK

Inclusion · folklore

Statement

$\mathbf{SZK}\subseteq \mathbf{CZK}$: statistical closeness of the verifier’s view to the simulator’s output implies computational indistinguishability, so every statistical zero-knowledge proof system is a computational zero-knowledge proof system with the same protocol and simulator — folklore.