From: Minimizing CNOT-count in quantum circuit of the extended Shor’s algorithm for ECDLP
Process | The change in value | |
---|---|---|
13.2 | \({\texttt{ctrl}}\)-CNOT\(\quad c_9,c_{10},c_1,c_2,{\texttt{ctrl}}\) | \(c_9\leftarrow [x_3]_1,[0]_0;c_{10}\leftarrow [y_3]_1,[0]_0\) |
12.2 | \({\texttt {ModAdd}}\quad c_{10},c_4\) | \(c_{10}\leftarrow [\lambda (x_1-x_3)]_1,[0]_0\) |
11.2 | \({\texttt {D-Mul}} ^{-1}\quad c_{10},c_3,c_7\) | \(c_{10}\leftarrow 0\) |
10.2 | \({\texttt {ModAdd}}\quad c_3,c_4\) | \(c_3\leftarrow [x_1]_1,[0]_0\) |
9.2 | \({\texttt{ctrl}}-{\texttt {ModAdd}}(\cdot )\quad c_9,x_2,{\texttt{ctrl}}\) | \(c_9\leftarrow [\lambda ^2-x_1]_1,[0]_0\) |
8.2 | \({\texttt {ModAdd}}\quad c_9,c_3\) | \(c_9\leftarrow [\lambda ^2]_1,[0]_0\) |
7.2 | \({\texttt{ctrl}}\)-CNOT\(\quad c_9,c_8,{\texttt{ctrl}}\) | \(c_9\leftarrow 0\) |
6.2 | \({\texttt {D-Mul}} ^{-1} \quad c_8,c_6,c_7\) | \(c_7\leftarrow 0;c_8\leftarrow 0\) |
5.2 | \({\texttt {M-Mul}} ^{-1}\quad c_6,y_1,c_5\) | \(c_6\leftarrow 0\) |
4.2 | \({\texttt {Inv}} ^{-1}\quad c_5,x_1\) | \(c_5\leftarrow 0\) |
3.2 | \({\texttt {ModAdd}}(\cdot )\quad x_1,y_1,x_2,y_2\) | \(x_1\leftarrow x_1;y_1\leftarrow y_1\) |
2.2 | \({\texttt{ctrl}}\)-CNOT\(\quad c_3,c_4,x_1,y_1,{\texttt{ctrl}}\) | \(c_3\leftarrow 0;c_4\leftarrow 0\) |
1.2 | CNOT\(\quad c_1,c_2,x_1,y_1\) | \(c_1\leftarrow 0;c_2\leftarrow 0\) |