CZK ⊆ IP

Inclusion · folklore

Statement

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