Fig. 11From: Minimizing CNOT-count in quantum circuit of the extended Shor’s algorithm for ECDLPCircuit of the quantum state modular addition \({\texttt {ModAdd}}\). Since addition is the inverse operation of subtraction, we can use the reverse circuit of \({\texttt{1-Add}}\) to compute \(|x-y\rangle\) and denote it \({\texttt{1-Add}}^{-1}\)Back to article page