摘要 在本文中,我们提出了用于运行时断言的量子电路,它既可用于软件调试,也可用于错误检测。运行时断言在量子计算中具有挑战性,主要有两个原因。首先,量子比特(量子位)无法复制,这被称为不可克隆定理。其次,当测量量子比特时,其叠加态会坍缩为经典态,从而丢失固有的并行信息。在本文中,我们通过辅助量子比特进行运行时计算克服了这些挑战,辅助量子比特用于间接收集感兴趣的量子比特的信息。我们设计量子电路来断言经典状态、纠缠和叠加态。我们的实验结果表明,它们在调试方面非常有效,并能提高 IBM Q 量子计算机上各种量子算法的成功率。 CCS 概念。• 硬件 → 量子技术。关键词。量子计算;运行时断言