Intermediate-scale quantum devices are becoming more reliable, and may soon be harnessed to solve useful computational tasks. At the same time, common classical methods used to verify their computational output become intractable due to their prohibitive scaling of required resources with system size. In this talk, I aim at giving an overview of selected verification strategies. Inspired by recent experimental progress, we analyze efficient cross-platform verification protocols for quantum states and computations. We focus on the pair-wise comparison between distant nodes of a quantum network, identify the most promising protocols and then discuss how they can be implemented in laboratory settings. As a proof of principle, we implement basic versions of these schemeson IBM’s superconducting-qubit processors.
