当前位置: 首页 > news >正文

椭圆曲线的数学基础

一、引言

椭圆曲线密码学(Elliptic Curve Cryptography, ECC)是现代公钥密码学的核心工具之一。
相比传统的 RSA,ECC 可以用 更短的密钥长度 提供 同等甚至更高的安全性,因此被广泛应用于区块链、TLS、移动设备加密等场景。

要理解 ECC,必须先了解它背后的数学结构 —— 椭圆曲线上的点运算。本文将从基础开始,逐步介绍椭圆曲线的数学原理。


二、椭圆曲线方程

一个椭圆曲线通常由如下方程表示:

y2=x3+ax+b y^2 = x^3 + ax + b y2=x3+ax+b

其中 a,ba, ba,b 是常数,要求曲线 无奇异点(即没有自相交和尖点),满足:

4a3+27b2≠0 4a^3 + 27b^2 \neq 0 4a3+27b2=0

在实数范围内,这条曲线看起来像一条光滑的对称曲线:

  • 关于 x 轴对称
  • 呈“S”形或“波浪”形

但在密码学中,我们不会在实数范围上研究,而是定义在 有限域 Fp\mathbb{F}_pFp(模素数 ppp)上的椭圆曲线。


三、有限域上的椭圆曲线

在有限域中,所有运算都取模 ppp

y2≡x3+ax+b(modp) y^2 \equiv x^3 + ax + b \pmod p y2x3+ax+b(modp)

例如:
选择 p=17,a=2,b=2p = 17, a = 2, b = 2p=17,a=2,b=2,曲线为:

y2≡x3+2x+2(mod17) y^2 \equiv x^3 + 2x + 2 \pmod{17} y2x3+2x+2(mod17)

我们可以枚举 x∈[0,16]x \in [0,16]x[0,16],找到满足条件的点 (x,y)(x,y)(x,y),这就是曲线上的点集。


四、点运算(群结构)

ECC 的核心不是曲线方程本身,而是 曲线点上的运算规则
椭圆曲线上的点(包括一个“无穷远点” OOO)形成一个 ,支持以下运算:

  1. 点加法 P+QP+QP+Q

    • 几何直观:过两点作直线,直线与曲线相交于第三点 RRR,再取 RRR 关于 x 轴的对称点。
    • 特殊情况:P=QP=QP=Q 时,用切线定义加法。
  2. 点倍乘 kPkPkP

    • 相当于 P+P+...+PP+P+...+PP+P+...+P(共 kkk 次)。
    • 在 ECC 中,公钥计算就是 点倍乘

五、ECC 的安全性来源

  • 容易:给定 PPP 和整数 kkk,计算 Q=kPQ = kPQ=kP 很快。
  • 困难:给定 PPPQQQ,求 kkk 很难(椭圆曲线离散对数问题,ECDLP)。

这种 单向性 是 ECC 的安全核心。


六、Go 语言小实验:有限域椭圆曲线点加法

下面我们用 Go 写一个小程序,在有限域 p=17p=17p=17 上实现椭圆曲线点加法。

package mainimport ("fmt""math/big"
)// 椭圆曲线参数: y^2 = x^3 + ax + b mod p
var p = big.NewInt(17)
var a = big.NewInt(2)
var b = big.NewInt(2)// 点结构
type Point struct {x, y *big.Intinf  bool // 是否是无穷远点
}// 取模
func mod(v *big.Int) *big.Int {r := new(big.Int).Mod(v, p)if r.Sign() < 0 {r.Add(r, p)}return r
}// 逆元
func modInverse(v *big.Int) *big.Int {return new(big.Int).ModInverse(v, p)
}// 点加法
func add(P, Q Point) Point {// 处理无穷远点if P.inf {return Q}if Q.inf {return P}var m *big.Intif P.x.Cmp(Q.x) == 0 && P.y.Cmp(Q.y) == 0 {// P == Q, 切线斜率num := new(big.Int).Mul(big.NewInt(3), new(big.Int).Mul(P.x, P.x))num.Add(num, a)den := new(big.Int).Mul(big.NewInt(2), P.y)m = new(big.Int).Mul(num, modInverse(den))} else {// P != Q, 直线斜率num := new(big.Int).Sub(Q.y, P.y)den := new(big.Int).Sub(Q.x, P.x)m = new(big.Int).Mul(num, modInverse(den))}m = mod(m)xr := mod(new(big.Int).Sub(new(big.Int).Sub(new(big.Int).Mul(m, m), P.x), Q.x))yr := mod(new(big.Int).Sub(new(big.Int).Mul(m, new(big.Int).Sub(P.x, xr)), P.y))return Point{xr, yr, false}
}func main() {P := Point{big.NewInt(5), big.NewInt(1), false}Q := Point{big.NewInt(6), big.NewInt(3), false}R := add(P, Q)fmt.Printf("P=(%v,%v), Q=(%v,%v)\n", P.x, P.y, Q.x, Q.y)fmt.Printf("P+Q=(%v,%v)\n", R.x, R.y)
}

运行结果示例:

P=(5,1), Q=(6,3)
P+Q=(10,6)

说明在有限域上,椭圆曲线点运算是完全可行的。


七、总结

本文介绍了椭圆曲线的数学基础,包括:

  • 椭圆曲线方程及有限域定义
  • 点加法和点倍乘运算
  • ECC 的安全来源 —— 椭圆曲线离散对数问题
http://www.dtcms.com/a/362241.html

相关文章:

  • 【算法专题训练】17、双向链表
  • openEuler2403部署Redis8集群
  • AI推理方法演进:Chain-of-Thought、Tree-of-Thought与Graph-of-Thought技术对比分析
  • Spring 控制器参数注解
  • LangGraph 边(Edge)机制完全指南
  • Java 不支持在非静态内部类中声明静态 Static declarations in inner classes are not supported异常处理
  • 2025我“生发”了『折行』|『内注』|『终端正偿』|『中文负偿』四大“邪术”(前二造福python代码阅读者;后二助力所有艺术人)
  • nrf52840 解锁
  • 2025年09月01日Github流行趋势
  • 数据结构初阶:详解栈和队列(下)——队列
  • 并发编程--线程池(1)线程池概念 Java 线程池体系(Executor、ThreadPoolExecutor、Executors)
  • resnet网络
  • 甲烷浓度时空演变趋势分析与异常值计算(附下载脚本)
  • 洛谷 P5836 [USACO19DEC] Milk Visits S-普及/提高-
  • 基于MCP架构的OpenWeather API服务端设计与实现
  • jetson开发板Ubuntu系统Docker中使用 MySQL 数据库详解-安装与配置指南
  • Python上下文管理器与资源管理
  • 基于51单片机停车场车位引导系统设计
  • 四个典型框架对比
  • 软考-操作系统-错题收集(2)文件系统的多级索引结构
  • 【重学MySQL】九十七、MySQL目录结构与文件系统解析
  • 二叉树核心操作知识点整理
  • 大模型微调显存内存节约方法
  • Java实现的IP4地址合法判断新思路
  • GPT - 5 技术前瞻与开发者高效接入路径探索​
  • 高性能客服系统源码实现
  • 文件上传漏洞基础及挖掘流程
  • 2013 NeuralIPS Translating Embeddings for Modeling Multi-relational Data
  • JAVA后端开发——MyBatis 结合 MySQL JSON 类型查询详解
  • vue组件中实现鼠标右键弹出自定义菜单栏