《信息科学技术学术著作丛书》序
译者前言
原书前言
缩略语
第1章 绪论
1.1 数论的概念
1.1 节习题
1.2 计算数论的概念
1.2 节习题
1.3 量子计算数论的概念
1.3 节习题
1.4 本章要点及进阶阅读
参考文献
第2章 经典计算和量子计算
2.1 经典计算理论
2.1.1 图灵机
2.1.2 丘奇-图灵论点
2.1.3 可判定性和可计算性
2.1 节习题
2.2 经典复杂度理论
2.2.1 复杂度分类
2.2.2 Cook-Karp论点
2.2 节习题
2.3 量子信息与量子计算
2.3 节习题
2.4 量子可计算性和量子复杂性
2.4 节习题
2.5 本章要点及进阶阅读
参考文献
第3章 分解整数的量子算法
3.1 分解整数的经典算法
3.1.1 基本概念
3.1.2 数域筛法
3.1.3 ρ分解方法
3.1 节习题
3.2 基于整数分解问题的密码体制
3.2 节习题
3.3 分解整数的Shor算法
3.3.1 量子寻阶算法
3.3.2 量子整数分解算法
3.3.3 破解RSA密码体制的量子算法
3.3 节习题
3.4 量子整数分解算法的其他变体
3.4 节习题
3.5 本章要点及进阶阅读
参考文献
第4章 针对离散对数问题的量子计算
4.1 针对离散对数问题的经典算法
4.1.1 基本概念
4.1.2 Shanks的大步小步算法
4.1.3 Silver-Pohlig-Hellman算法
4.1.4 针对离散对数问题的ρ方法
4.1.5 Index Calculus算法
4.1.6 利用函数域筛法求解小特征域上的离散对数
4.1 节习题
4.2 基于离散对数问题的密码体制
4.2.1 Diffie-Hellman-Merkle密钥交换协议
4.2.2 ElGamal密码体制
4.2.3 Massey-Omura密码体制
4.2.4 基于离散对数问题的数字签名
4.2 节习题
4.3 针对离散对数问题的量子算法
4.3.1 基本概念
4.3.2 易解离散对数问题的量子算法
4.3.3 针对一般情形离散对数问题的量子算法
4.3.4 量子离散对数算法的其他变形
4.3 节习题
4.4 本章要点及进阶阅读
参考文献
第5章 针对椭圆曲线离散对数问题的量子计算
5.1 求解椭圆曲线离散对数问题的经典算法
5.1.1 基本概念
5.1.2 针对椭圆曲线离散对数问题的Pohlig-Hellman算法
5.1.3 针对椭圆曲线离散对数问题的大步小步算法
5.1.4 针对椭圆曲线离散对数问题的ρ方法
5.1.5 针对椭圆曲线离散对数问题的Xedni方法
5.1.6 椭圆曲线离散对数问题最新进展
5.1 节习题
5.2 基于椭圆曲线离散对数问题的密码学
5.2.1 基本概念
5.2.2 椭圆曲线密码学中的预处理
5.2.3 基于椭圆曲线的Diffie-Hellman-Merkle协议
5.2.4 基于椭圆曲线的Massey-Omura协议
5.2.5 基于椭圆曲线的ElGamal密码
5.2.6 Menezes-Vanstone密码体制
5.2.7 基于椭圆曲线的数字签名算法
5.2 节习题
5.3 针对椭圆曲线离散对数问题的量子算法
5.3.1 基本概念
5.3.2 针对椭圆曲线离散对数问题的Eicher-Opoku量子算法
5.3.3 针对椭圆曲线离散对数问题的Proos-Zalka量子攻击算法
5.3.4 针对ECDLP/ECC量子算法的改进算法
5.3 节习题
5.4 本章要点及进阶阅读
参考文献
第6章 针对其他数论难题的量子算法
6.1 求解Pell方程
6.1 节习题
6.2 数论猜想验证
6.2.1 黎曼猜想验证
6.2.2 BSD猜想验证
6.2 节习题
6.3 其他量子算法
6.4 本章要点及进阶阅读
参考文献