量子计算的验证：现有方法概述

量子计算机有望不仅高效解决那些对经典计算机而言被认为棘手的问题，还能解决那些其解的验证也被认为是棘手的问题。这引发了如何检查量子计算机是否确实产生正确结果的问题。这项被称为量子验证的任务，已被强调为通向可扩展量子计算技术道路上的一个重大挑战。我们回顾了量子验证的最重要方法，并在结构、复杂度和所需资源方面对它们进行了比较。我们还评论了密码技术的使用，对于所提出的许多协议而言，这已被证明在执行验证时极为有用。最后，我们讨论了与容错、实验实现以及未来协议展望相关的问题。