Towards cross-platform verification in quantum networks
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.