Key points are not available for this paper at this time.
Desenvolvimentos recentes aproximam a possibilidade de alcançar dispositivos quânticos escaláveis. Do ponto de vista computacional, essas tecnologias tornam-se relevantes quando não são mais clássicas. Assim, um desafio premente é a construção de métodos práticos para verificar a correção dos resultados produzidos por dispositivos quânticos universais ou não universais. Uma abordagem promissora que foi extensivamente estudada é o esquema de verificação por meio de criptografia através de qubits quânticos
Kashefi et al. (Qui,) estudaram essa questão.