|
|
1 | (32) |
|
1.1 What is Number Theory |
|
|
1 | (9) |
|
1.2 What is Computational Number Theory |
|
|
10 | (14) |
|
1.3 What is Quantum Computational Number Theory |
|
|
24 | (4) |
|
1.4 Chapter Notes and Further Reading |
|
|
28 | (5) |
|
|
28 | (5) |
|
2 Classical and Quantum Computation |
|
|
33 | (26) |
|
2.1 Classical Computability Theory |
|
|
33 | (6) |
|
|
34 | (2) |
|
2.1.2 The Church-Turing Thesis |
|
|
36 | (1) |
|
2.1.3 Decidability and Computability |
|
|
37 | (2) |
|
2.2 Classical Complexity Theory |
|
|
39 | (6) |
|
|
39 | (4) |
|
2.2.2 The Cook-Karp Thesis |
|
|
43 | (2) |
|
2.3 Quantum Information and Computation |
|
|
45 | (5) |
|
2.4 Quantum Computability and Complexity |
|
|
50 | (5) |
|
2.5 Chapter Notes and Further Reading |
|
|
55 | (4) |
|
|
56 | (3) |
|
3 Quantum Algorithms for Integer Factorization |
|
|
59 | (62) |
|
3.1 Classical Algorithms for Integer Factorization |
|
|
59 | (20) |
|
|
59 | (2) |
|
3.1.2 Number Field Sieve Factoring |
|
|
61 | (12) |
|
|
73 | (6) |
|
3.2 Integer Factorization Based Cryptography |
|
|
79 | (15) |
|
3.3 Shor's Algorithm for Integer Factorization |
|
|
94 | (12) |
|
3.3.1 Quantum Order Finding Algorithm |
|
|
94 | (6) |
|
3.3.2 Quantum Integer Factoring Algorithm |
|
|
100 | (3) |
|
3.3.3 Quantum Algorithm for Breaking RSA |
|
|
103 | (3) |
|
3.4 Variations of Quantum Factoring Algorithms |
|
|
106 | (9) |
|
3.5 Chapter Notes and Further Reading |
|
|
115 | (6) |
|
|
116 | (5) |
|
4 Quantum Computing for Discrete Logarithms |
|
|
121 | (52) |
|
4.1 Classical Algorithms for Discrete Logarithms |
|
|
121 | (22) |
|
|
121 | (2) |
|
4.1.2 Shanks' Baby-Step Giant-Step Algorithm |
|
|
123 | (3) |
|
4.1.3 Silver--Pohlig--Hellman Algorithm |
|
|
126 | (4) |
|
|
130 | (3) |
|
4.1.5 Index Calculus Algorithm |
|
|
133 | (6) |
|
4.1.6 Discrete Logarithm in Small Characteristic Fields Using FFS |
|
|
139 | (4) |
|
4.2 Discrete Logarithm Based Cryptography |
|
|
143 | (12) |
|
4.2.1 The Diffie-Hellman-Merkle Key-Exchange Protocol |
|
|
143 | (3) |
|
4.2.2 ElGamal Cryptography |
|
|
146 | (1) |
|
4.2.3 Massey-Omura Cryptography |
|
|
147 | (2) |
|
4.2.4 DLP-Based Digital Signatures |
|
|
149 | (6) |
|
4.3 Quantum Algorithms for Discrete Logarithms |
|
|
155 | (12) |
|
4.3.1 Basic Ideas of Quantum Computing for DLP |
|
|
155 | (1) |
|
4.3.2 Easy Case of Quantum DLP Algorithm |
|
|
156 | (3) |
|
4.3.3 General Case of Quantum DLP Algorithm |
|
|
159 | (2) |
|
4.3.4 Variations of Quantum DLP Algorithms |
|
|
161 | (6) |
|
4.4 Chapter Notes and Further Reading |
|
|
167 | (6) |
|
|
169 | (4) |
|
5 Quantum Computing for Elliptic Curve Discrete Logarithms |
|
|
173 | (56) |
|
5.1 Classical Algorithms for Elliptic Curve Discrete Logarithms |
|
|
173 | (18) |
|
|
173 | (1) |
|
5.1.2 Pohlig-Hellman Algorithm for ECDLP |
|
|
174 | (1) |
|
5.1.3 Baby-Step Giant-Step Algorithm for ECDLP |
|
|
175 | (1) |
|
|
176 | (4) |
|
5.1.5 Xedni Calculus for ECDLP |
|
|
180 | (5) |
|
5.1.6 Recent Progress in ECDLP |
|
|
185 | (6) |
|
5.2 ECDLP-Based Cryptography |
|
|
191 | (21) |
|
5.2.1 Basic Ideas in ECDLP-Based Cryptography |
|
|
191 | (1) |
|
5.2.2 Precomputations of Elliptic Curve Cryptography |
|
|
192 | (1) |
|
|
193 | (3) |
|
5.2.4 Elliptic Curve Massey-Omura |
|
|
196 | (3) |
|
5.2.5 Elliptic Curve ElGamal |
|
|
199 | (3) |
|
5.2.6 Menezes-Vanstone ECC |
|
|
202 | (1) |
|
|
203 | (9) |
|
5.3 Quantum Algorithms for Elliptic Curve Discrete Logarithms |
|
|
212 | (12) |
|
5.3.1 Basic Idea for Quantum Attacking on ECDLP/ECDLP-Based Cryptography |
|
|
212 | (4) |
|
5.3.2 Eicher-Opoku's Quantum Algorithm for ECDLP |
|
|
216 | (4) |
|
5.3.3 Proos-Zalka's Quantum Algorithm for ECDLP |
|
|
220 | (3) |
|
5.3.4 Optimized Quantum Algorithm on ECDLP/ECC |
|
|
223 | (1) |
|
5.4 Chapter Notes and Further Reading |
|
|
224 | (5) |
|
|
225 | (4) |
|
6 Miscellaneous Quantum Algorithms |
|
|
229 | (20) |
|
6.1 Solving Pell's Equation |
|
|
229 | (7) |
|
6.2 Verifying Number-Theoretic Conjectures |
|
|
236 | (4) |
|
6.2.1 Verifying Riemann's Hypothesis |
|
|
236 | (2) |
|
6.2.2 Verifying BSD Conjecture |
|
|
238 | (2) |
|
6.3 More Quantum Algorithms |
|
|
240 | (2) |
|
6.4 Chapter Notes and Further Reading |
|
|
242 | (7) |
|
|
243 | (6) |
Index |
|
249 | |