Quantum computers are reaching a level where interactions between classical and quantum computations can happen in real-time. This marks the advent of a new, broader class of quantum circuits: dynamic quantum circuits. They offer a broader range of available computing primitives that lead to new challenges for design tasks such as simulation, compilation, and verification. Due to the non-unitary nature of dynamic circuit primitives, existing techniques for these tasks are no longer applicable in an out-of-the-box fashion. In this work, we discuss the resulting consequences for quantum circuit verification and present first ideas for corresponding automatic methods. More precisely, we propose two different schemes that eventually allow to treat the involved circuits as if they were not dynamic at all. By this, we provide a basis for applying existing techniques for quantum circuit verification to this broader class of circuits.

中文翻译：

---

动态量子电路的验证

量子计算机正在达到经典计算和量子计算之间可以实时交互的水平。这标志着一种新的、更广泛的量子电路的出现：动态量子电路。它们提供了更广泛的可用计算原语，从而为仿真、编译和验证等设计任务带来了新的挑战。由于动态电路原语的非统一性质，用于这些任务的现有技术不再适用于开箱即用的方式。在这项工作中，我们讨论了量子电路验证的结果，并提出了相应自动方法的初步想法。更准确地说，我们提出了两种不同的方案，最终允许将所涉及的电路视为根本不是动态的。这样，