Curiosity
椭圆曲线入门
从几何定义到密码学基础:理解椭圆曲线的形状、点加法与标量乘法,以及它们如何支撑现代加密。
Before you enter
A complete interactive classroom, not just a preview.
Start when you are ready to enter this Stage's 12 scenes and explore, respond, and learn as you go.
12
Scenes
24 min
Estimated
为什么一条形如 y² = x³ + ax + b 的曲线能成为现代密码学的基石?
What this covers
- curve-def
- 椭圆曲线由 y² = x³ + ax + b 定义,且判别式非零(无非奇异点)。
- point-addition
- 椭圆曲线上两点的加法通过连线交第三点后取关于 x 轴的镜像完成。
- infinity-point
- 无穷远点 O 是加法单位元,P + O = P,用来处理平行线等特殊情况。
- scalar-multiplication
- kP 表示将点 P 与自身相加 k 次,是椭圆曲线密码学的核心操作。
- finite-field
- 把曲线限定在有限域 F_p 上,得到有限个离散点,使几何直觉不能再直接套用。
- ecc-security
- 椭圆曲线离散对数问题:由 P 和 kP 反推 k 在经典计算下极其困难,构成安全性基础。
Common misconceptions
Many people assume
椭圆曲线看起来像椭圆,所以和椭圆有关。
Actually
说明名称来自椭圆积分,几何图像并不是椭圆。
Many people assume
曲线上任意两点相加就是把它们的坐标数值加起来。
Actually
展示点加法是连线取交点的几何规则,不是普通坐标加法。
Many people assume
知道了 kP 和 P,就可以轻松算出 k。
Actually
强调椭圆曲线离散对数问题的计算困难性,说明这正是 ECC 安全性的来源。
Before you start
- 平面直角坐标系与函数图像
- 二次/三次方程基本概念
- 模运算的直观理解
Not covered here
- ECDSA/ECDH 等具体协议实现细节
- 安全证明与量子攻击
- 有限域高级数论理论
What you'll be able to do
- 能写出椭圆曲线标准形式并说明非奇异条件
- 能按几何规则描述 P + Q 与 P + P 的计算过程
- 能解释为什么由 P 和 kP 反推 k 在经典计算下困难
- 将椭圆曲线点加法与标量乘法思维迁移到其他曲线或密码方案(如 Ed25519、SM2)中,理解其安全性设计要点。
Written for
具备高中函数与方程基础的初学者;不要求抽象代数或数论先修知识。
What happens inside
- 01为什么叫“椭圆”曲线?slideOrientationObserve
启发学生对名称的好奇,并澄清椭圆曲线并不是椭圆。
- 椭圆曲线不是椭圆,名称源自计算椭圆弧长的积分
- 标准形式:y² = x³ + ax + b
- 本课目标:理解形状、点加法,以及它如何支撑密码学
- 02椭圆曲线的标准形式slideModel buildingObserve
建立 y² = x³ + ax + b 的图像直觉,介绍非奇异条件与对称性。
- [Chart] 曲线示例:y² = x³ − x + 1 与 y² = x³ − 3x + 3
- 判别式 4a³ + 27b² = 0 时曲线会出现尖点/自交,密码学中必须避免
- 由于 y²,图像关于 x 轴对称
- 03参数探索:动手画出椭圆曲线interactivePredictionPredict
改变 a、b 观察曲线形状,预测并检查曲线何时退化。
- 尝试多组 a、b,观察曲线何时出现尖点或断开
- 预测 4a³ + 27b² 的正负与曲线形态
- 体会 x 轴对称的图像特征
- 04图像判断小测quizAssessmentChoose
用选择题巩固非奇异条件与图像特征。
- 判断给定 a、b 是否构成有效椭圆曲线
- 识别曲线的对称轴
- 为后续点加法建立图像基础
- 05点加法:一条直线决定的运算slideMisconception repairObserve
介绍椭圆曲线上加法运算的几何规则,纠正“坐标相加”的误解。
- P + Q:连接 P、Q 的直线与曲线交于第三点,取关于 x 轴对称点
- 无法连线的特殊情况用无穷远点处理
- 点加法不同于普通坐标加法
- 06点加法工作台interactivePracticeConstruct
在模拟器中点击两点,观察直线、第三交点和镜像结果。
- 拖拽设置 P、Q,观察加法结果
- 选择 P = Q 时观察切线倍点规则
- 用几个例子验证:P + Q 不是普通坐标相加
- 07倍点、无穷远点与标量乘法slideModel buildingObserve
从两个不相同点到 P+P,再到 kP,理解椭圆曲线密码学的核心运算。
- P + P 使用切线法,切线与曲线交于另一点后取镜像
- 无穷远点 O 是加法单位元:P + O = P
- 标量乘法 kP = P + P + … + P(k 次),是后续密码学的基础
- 08点加法与倍点检查quizAssessmentChoose
用选择题确认几何规则和单位元的作用。
- 判断 P + P 的几何操作
- 理解无穷远点的作用
- 区分不同输入情形下的加法结果
- 09进入有限域:从曲线到密码学slideApplicationApply
将连续曲线替换为有限域上的离散点集,解释为什么密码学需要这种“离散化”。
- [Table] 实数域 vs 有限域:连续无穷多点 → F_p 上有限个离散点
- 密码学使用 y² ≡ x³ + ax + b (mod p) 的整数解
- 离散点让“看图秒懂”的几何直觉失效,为安全性提供基础
- 10单向门:为什么不能轻松反推 kslideMisconception repairExplain
说明椭圆曲线离散对数问题(ECDLP)的困难性,修复“知道 P 和 kP 就能轻松算出 k”的误区。
- 正向计算 kP 很快,反向由 kP 求 k 在经典计算机上非常困难
- 目前已知最好算法需要指数级时间,安全性由此而来
- 这也是 ECDH、ECDSA 等协议依赖的核心假设
- 11椭圆曲线密码学基础quizAssessmentChoose
综合检查标量乘法方向性与椭圆曲线离散对数问题的理解。
- 判断标量乘法在加密中的方向性
- 理解为什么 ECDLP 是安全性基石
- 将概念联系到真实密码协议
- 12小结:从曲线到密码学slideSynthesisExplain
串联定义、点加法、标量乘法与离散对数难题,展望真实应用。
- 一条非奇异椭圆曲线 + 点加法 = 一个封闭的数学结构
- 标量乘法让加密可行,ECDLP 让解密困难
- 真实应用:ECDH、ECDSA、区块链与安全通信
Discussion
Discussion threads for a Stage aren't available yet.
Where this leads
Next on this path
More from this author
Explore more