In the coming years, increasingly larger and more powerful quantum systems are expected to tackle problems that are difficult or impossible to solve using conventional computers. However, the more powerful quantum simulations become, the more difficult it is to independently verify their results. Where classical simulation is still feasible, results can be cross-checked directly; beyond that regime, other methods are needed.