1.
导论
1.1.
目标读者
1.2.
关于本书
1.3.
如何阅读此书
2.
软件工具
2.1.
Sagemath
2.2.
Circom
3.
算术
3.1.
整数算术
3.1.1.
整数、自然数与有理数
3.1.2.
欧几里得除法
3.1.3.
扩展欧几里得算法
3.1.4.
互质
3.1.5.
整数表示
3.2.
模运算
3.2.1.
同余关系
3.2.2.
运算规则
3.2.3.
中国剩余定理
3.2.4.
同余类表示
3.2.5.
逆模
3.3.
多项式运算
3.3.1.
多项式运算
3.3.2.
多项式欧几里得除法
3.3.3.
素因子
3.3.4.
拉格朗日插值
4.
代数
4.1.
交换群
4.1.1.
有限群
4.1.2.
生成元
4.1.3.
指数映射
4.1.4.
商群
4.1.5.
配对
4.1.6.
密码学群
4.1.6.1.
离散对数问题
4.1.6.2.
决策性 Diffie–Hellman 假设
4.1.6.3.
计算性 Diffie-Hellman 假设
4.1.7.
哈希到群
4.1.7.1.
哈希函数
4.1.7.2.
哈希到循环群
Light
Rust
Coal
Navy
Ayu
MoonMath SNARK 手册
本章主要介绍在本书中所需要的软件及其安装过程。