信息安全数学基础复习笔记

annesede

已于 2024-06-07 05:36:18 修改

阅读量444

点赞数 3

CC 4.0 BY-SA版权

分类专栏：课程记录文章标签：密码学

于 2023-10-28 23:47:26 首次发布

本文链接：https://blog.csdn.net/annesede/article/details/134097372

课程记录专栏收录该内容

28 篇文章

订阅专栏

本文概述了密码学中的数学基础知识，包括群、环、域的概念，欧几里得算法，模运算，以及RSA加密中的关键概念如Euler函数、Euler定理、Fermat定理、威尔逊定理等，还介绍了椭圆曲线在群构造中的应用。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

复习自用，详请参考我的blog：密码学导引(annesede.github.io)。

记号：/或， $G$ 群， $R$ 环， $F$ 域， $p, q$ 素数， $g$ 原根/生成元，变量默认为正整数。

整除

（扩展）Euclid算法：数/多项式（大除法）； $(a, b) = n$ ， $\exists s,t$ s.t. $s a + b t = n$ 。
模除（模逆）： $(b, m) = 1$ ， $x\equiv\frac{a}{b} \equiv ab^{-1}({\rm mod}\ m)$ ；扩展Euclid算法。

技巧：
$A\iff B$ ：必要性 $A\implies B$ ；充分性 $B\implies A$ 。
$p|ab\implies p|a$ 或 $p ∣ b$ 。
$a|b,b|a\implies a=b$ 。
$\exists q,r$ s.t. $a = q b + r$ ， $0\leq r<b$ 。

同余

Euler函数： $\varphi(n)=n\prod_{p|n}(1-\frac{1}{p})$ 。

Euler定理： $(a, m) = 1$ ， $a^{\varphi(m)}\equiv 1({\rm mod}\ m)$ 。

Fermat定理： $a^p\equiv a({\rm mod}\ p)$ 。

Wilson定理： $(p-1)!\equiv -1({\rm mod}\ p)$ 。

$(a, p) = 1$ ， $a^{-1}\equiv a^{p-2}({\rm mod}\ p)$ 。

同余式

一次同余式： $ax\equiv b({\rm mod}\ m)$ 有解 $\iff (a,m)|b$ ；此时 $x\equiv ((\frac{a}{(a,m)})^{-1}({\rm mod}\ \frac{m}{(a,m)}))+\frac{b}{(a,m)}+t\frac{m}{(a,m)}({\rm mod}\ m)$ ， $t = 0, 1, ..., (a, m) - 1$ ，共 $(a, m)$ 个解。

CRT： $x\equiv a_i({\rm mod}\ m_i)$ ， $m_i$ 两两互素，有唯一解 $x\equiv \sum M_iM_i^{-1}a_i({\rm mod}\ m)$ ；其中 $m=\prod m_i$ ， $M_i=\prod m_{-i}$ ， $M_iM_i^{-1}\equiv 1({\rm mod}\ m_i)$ 。

RSA： $n = pq$ ， $\varphi(n)=(p-1)(q-1)$ ， $(e,\varphi(n))=1$ ， $d\equiv e^{-1}({\rm mod}\ \varphi(n))$ 。
加密： $c\equiv m^e({\rm mod}\ n)$ 。
解密： $m\equiv c^d({\rm mod}\ m)\Longleftarrow$ CRT $\Longleftarrow m\equiv c^d({\rm mod}\ p)$ 和 $m\equiv c^d({\rm mod}\ q)$ 。

二次剩余

Euler判定： $a^\frac{p-1}{2}\equiv 1({\rm mod}\ p) \iff a$ 为二次剩余； $a^\frac{p-1}{2}\equiv -1({\rm mod}\ p) \iff a$ 为二次非剩余。

$a^2\equiv (p-a)^2({\rm mod}\ p)$ 。

原根

元素阶： $∣ a ∣∣∣ G ∣$ ； $|a^d|=\frac{|a|}{(|a|,d)}$ 。
不妨设 $a|=n,|a^d|=m$ ，由于 $a^{dm}=e$ ，即 $n ∣ d m$ ，进而 $\frac{n}{(n,d)}|\frac{d}{(n,d)}m$ ，即 $\frac{n}{(n,d)}|m$ ；
同时 $(a^d)^\frac{n}{(n,d)}=e$ ，即 $m|\frac{n}{(n,d)}$ ，故 $|a^d|=\frac{|a|}{(|a|,d)}$ 。

考虑循环群 $\mathbb{Z}_p^*=\langle g\rangle$ 时，原根即为生成元。

原根（生成元）： $p-1=\prod p_i$ ， $g^\frac{p-1}{p_i}\not\equiv 1({\rm mod}\ p)$ ；即 $∣ g ∣ = p - 1$ ；共 $\varphi(p-1)$ 个。

群、环、域

群/环证明： $H$ 为群 $\Longleftarrow H<G$ ； $I$ 为环 $\Longleftarrow I<R$ 。

循环群： $∣ g ∣ = ∣ G ∣$ 。

整环：无零因子交换幺环；零因子 $a,b\ne 0$ ，但 $ab = ba = 0$ 。
域： $(F-\{0\},\times)$ 为Abel群；有群表。

多项式域： $F_p[x]/\langle q(x)\rangle=\{\sum_{i=0}^{{\rm deg}q}a_ix^i\ | \ a_i\in F_p\}\cong F_{p^n}$ 。

椭圆曲线

群构造： $y^2\equiv x^3+ax+b ({\rm mod}\ p)\to E_p(a,b)$ ；二次剩余。

群加法： $P(x_1,y_1),Q(x_2,y_2),P+Q(x_3,y_3)$ ；模除。
$x_3=\lambda^2-x_1-x_2$ ； $y_3=\lambda(x_1-x_3)-y_1$ 。
$\lambda=\frac{y_2-y_1}{x_2-x_1}\ (P\ne Q);\ \frac{3x_1^2+a}{2y_1}\ (P=Q)$ 。