密码学中的数论一：模运算、最大公约数、模逆、线性同余方程、（扩展）欧几里德算法。

一、Notation

1.背景（Background）

我们将使用一些数论的知识来构造：
    1.密钥交换协议（Key exchange protocols）
    2.数字签名（Digital Signatures）
    3.公钥加密（Public-Key encryption）

2.相关符号（Notation）

在数论中：
    1.N 表示为正整数；
    2.p表示为正质数；
    3. Z N = { 0 , 1 , 2 , . . . , N − 1 } \mathbb{Z}_N= \left\{0,1,2,...,N-1\right\} ZN​={ 0,1,2,...,N−1} ,${\mathbb{Z}}_N$表示一个环，其加法和乘法都定义为模N的。

3.模运算（Modular arithmetic）

  例如：令 N = 12：
$9+8=15in{\mathbb{Z}}_{12}$
$5\times 8=11in{\mathbb{Z}}_{12}$
$5-7=10in{\mathbb{Z}}_{12}$

  注意：所有知道的关于加法和乘法的运算法则在${\mathbb{Z}}_N$中也同样适用，例如分配率：
                            $x\cdot (y+z)=x\cdot y+x\cdot zin{\mathbb{Z}}_{12}$

4.最大公约数（Greatest common divisor）

  定义：对于整数$x，y：gcd(x，y)$ 表示$x，y$的最大公约数。
  例如：$gcd(12,18)=6$
  指定$x，y$，总存在另外两个整数(使用扩展欧几里得 Extended Euclid 算法找到)$a，b$，使得贝祖等式成立：
                                        $a\cdot x+b\cdot y=gcd(x，y)$
  如果$gcd(x,y)=1$，则说明$x，y$互质。

5.模逆（Modular inversion）

  我们知道，对于有理数而言，2的倒数(inversion)是1/2。那么在${\mathbb{Z}}_N$中呢？
  定义：在${\mathbb{Z}}_N$中$x$的逆是中的元素$y$，其中$y$满足$x\cdot y=1in\mathbb{Z}$