QSZK ⊆ QIP

Inclusion · quantum setting · folklore

Statement

$\mathbf{QSZK}\subseteq \mathbf{QIP}$: a quantum statistical zero-knowledge proof system is a quantum interactive proof system with an additional simulation requirement — folklore.