Proq: Projection-based Runtime Assertions for Debugging on a Quantum Computer
Table 1. Detailed assertion implementation cost comparison between Proq and QECA (liu2020quantum)
['# of', '[ITALIC] A0 Proq', '[ITALIC] A0 QECA', '[ITALIC] A1 Proq', '[ITALIC] A1 QECA', '[ITALIC] A3 Proq', '[ITALIC] A3 QECA']
In particular, we compare the number of H gates, CNOT gates, measurements, and auxiliary qubits. It can be observed that Proq uses no CNOT gates and auxiliary qubits for the three considered assertions, while QECA always needs to use additional CNOT gates and auxiliary qubits. This reason is that QECA always measures auxiliary qubits to indirectly probe the qubit information. So that additional CNOT gates are always required to couple the auxiliary qubits with existing qubits. This design significantly increases the implementation cost when comparing with Proq.