Three approaches allow quantum computers to produce results that can be verified classically, outperforming classical computers.