SM2 研究

最新推荐文章于 2023-12-11 10:32:38 发布

cugriver

最新推荐文章于 2023-12-11 10:32:38 发布

阅读量620

点赞数

分类专栏： golang 文章标签：算法

本文链接：https://blog.csdn.net/cugriver/article/details/127110827

版权

golang 专栏收录该内容

20 篇文章 0 订阅

订阅专栏

本文介绍了椭圆曲线加密(ECC)的基本原理，包括其背后的数学基础——群论，以及如何利用离散对数问题实现数据加密。通过对比RSA，解释了ECC的安全性和效率优势，并给出了SM2和secp256k1两个具体实现的例子。

摘要由CSDN通过智能技术生成

文章目录

椭圆曲线

加密算法具有一个特征， 正向容易，逆向困难
比如 RSA，基于大整数因子分解难题，大致理解如下：

$y = x * k$

正向：已知 x 和 k, 求解 y。非常容易
逆向：已知 y, 将 y 质因式分解成 x 和 k。非常困难

比如 ECC, 基于离散对数求解难题，大致理解如下：

$y = \log_{x} {k}$

正向：已知 x 和 k, 求解 y。非常容易
逆向：已知 y和x, 求解 $k = \log_{x} {y}$ 。非常困难

RSA key size (bits)	ECC key size (bits)
1024	160
2048	224
3072	256
7680	384

$y^2 = x^3 + a x + b$
$4a^3 + 27b^2 \neq 0$

椭圆曲线在线画图
$y^2 = x^3 + 7 椭圆曲线$
在这里插入图片描述
看到该曲线，一脸懵逼，咋就成为数据加密的基石；深入了解发现，椭圆曲线加密有两点比较重要，第一点加密是基于群论分析的，第二点计算机只能处理整数，是离散的。

群论	整数

在数学中，群（group）是由一种集合以及一个二元运算所组成的代数结构，并且符合“群公理”。群公理包含下述四个性质，分别是封闭性、结合律、单位元和对于集合中所有元素存在逆元素。

封闭性
$\in \mathbb{G} , b \in \mathbb{G}，那么 a \cdot b \in \mathbb{G}$
结合性
$\cdot b ）\cdot c = a \cdot （b \cdot c）$
单位元
$a\cdot e=a\cdot e=a$
逆元
$\in \mathbb{G}，存在 b \in \mathbb{G}，使得 a \cdot b = e，则a 和b 互为逆元，记 a=b^{-1} ， b=a^{-1}$

交换律
$\cdot b = b \cdot a$

整数集就是一个阿贝尔群，单位元是 0;

在这里插入图片描述
椭圆曲线集合做一个扩充，引入一个“特殊”的点，这个点叫“无穷远点”，记作 $\infty$ ，当作单位元; 椭圆曲线上的阿贝尔群定义。证明可参考这篇文章

因为
$\cdot Q \cdot R = \infty$
$\cdot -R \cdot \infty = \infty$
那么
$\cdot Q \cdot R = R \cdot -R => P \cdot Q = - R$

基于P 的切线与椭圆曲线的交点的逆元为 $R_{1}(2P)$
$\cdot P = R_{1}$
在这里插入图片描述

基于P和 $R_{1}$ 的直线与椭圆曲线的交点的逆元为 $R_{2}(3P)$
$\cdot R_{1}= R_{2} => P \cdot 2P = R_{2}$

在这里插入图片描述

基于P和 $R_{2}$ 的直线与椭圆曲线的交点的逆元为 $R_{3}(4P)$ 或基于 $R_{1}(2P)$ 的切线与椭圆曲线的交点的逆元为 $R_{3}(4P)$
在这里插入图片描述
$\cdot R_{2}= R_{3} => P \cdot 3P = R_{3}$
$R_{1} \cdot R_{1}= R_{3} => 2P \cdot 2P = R_{3}$

那么对于基点 $\mathbb{G}$ ，乘法定义
$\mathbb{G}$

对于计算机，更希望研究整数，即针对有限域 $\mathbb{F}$ 的离散数学; 对此，非常佩服密码学家的想象力，将点收敛到某个素数 $p$ 的有限域 $\mathbb{F}_{p}$ (⚠️ $\equiv$ 符号表示 “同余")

$\left\{ (x,y) \in \mathbb{F}_{p}^2 \mid y^2 \equiv x ^3 + ax + b \pmod{p} ，(4a^3 + 27b^2 \not\equiv 0 \pmod{p}) \right\} \cup \left\{ \infty \right\}$

那么已知 $Q 和 G$ 求解 $k$ 难度更加困难，因为存在 $\infty$
$\mathbb{G}$

在这里插入图片描述

即

$1 P$	$2 P$	$3 P$	$4 P$	…	$\infty$
$(n + 1) P = 1 P$	$(n + 2) P = 2 P$	$(n + 3) P = 3 P$	$(n + 4) P = 4 P$	…	$(n+n)P=\infty$
$(2 n + 1) P = 1 P$	$(2 n + 2) P = 2 P$	$(2 n + 3) P = 3 P$	$(2 n + 4) P = 4 P$	…	$(2n+n)P=\infty$

这样的集合称之为循环子群， $n$ 为该子群阶， $P$ 是子群的基点。

有限域 $\mathbb{F}_{p}$ 群的阶是群中元素的个数，Schoof算法快速求解。子群的阶一定是父群阶的一个因子。假设父群的阶是N，子群的阶是n，那么h=N/n一定是一个整数，h被称为子群的余因子

因此，对于椭圆曲线加密算法， $\mathbb{G}，a，b，p，n，h$ 参数是确定的

SM2

sm2p256v1

p  = 0xFFFFFFFEFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF00000000FFFFFFFFFFFFFFFF
a  = 0xFFFFFFFEFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF00000000FFFFFFFFFFFFFFFC
b  = 0x28E9FA9E9D9F5E344D5A9E4BCF6509A7F39789F515AB8F92DDBCBD414D940E93
xG = 0x32C4AE2C1F1981195F9904466A39C9948FE30BBFF2660BE1715A4589334C74C7
yG = 0xBC3736A2F4F6779C59BDCEE36B692153D0A9877CC62A474002DF32E52139F0A0
n  = 0xFFFFFFFEFFFFFFFFFFFFFFFFFFFFFFFF7203DF6B21C6052B53BBF40939D54123
h  = 1

secp256k1

p  = 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEFFFFFC2F
a  = 0
b  = 7
xG = 0x79BE667EF9DCBBAC55A06295CE870B07029BFCDB2DCE28D959F2815B16F81798
yG = 0x483ADA7726A3C4655DA4FBFC0E1108A8FD17B448A68554199C47D08FFB10D4B8
n  = 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEBAAEDCE6AF48A03BBFD25E8CD0364141
h  = 1