Quantum computers are advancing at a rapid pace and are already starting to push the limits of the world's largest supercomputers. Yet, these devices are extremely sensitive to external influences and thus prone to errors which can change the result of the computation. This is particularly challenging for quantum computations that are beyond the reach of our trusted classical computers, where we can no longer independently verify the results through simulation. "In order to take full advantage of future quantum computers for critical calculations we need a way to ensure the output is correct, even if we cannot perform the calculation in question by other means," says Chiara Greganti from the University of Vienna.
