博客
关于我
Elliptic curve isogeny and group theory基本概念
阅读量:278 次
发布时间:2019-03-01

本文共 1184 字,大约阅读时间需要 3 分钟。

1. isogeny同源性定义

《The Arithmetic of Elliptic Curves by Silverman 2nd Edition》定义了isogeny同源性为曲线之间的映射,这些映射保持曲线的结构,使得它们在代数上相似。具体而言,isogeny是一个群作用,能够将椭圆曲线变换为另一种椭圆曲线,保持其优化形式和相关数论性质。

2. isogeny同源性举例

2.1 Montgomery与Edwards curve之间的isogeny

对于Curve25519,其Montgomery形式表示为:[ v^2 = u^3 + 486662u^2 + u ]其中,( q = 2^{255} - 19 )。对应的Edwards曲线表示为:[ x^2 + y^2 = 1 + \frac{121665}{121666}x^2y^2 ]两者之间的变换关系为:[ (x, y) ↦ (u, v): u = \frac{1 + y}{1 - y}, v = \frac{486664u}{x} ]以及反向映射:[ (u, v) ↦ (x, y): x = \frac{486664u}{v}, y = \frac{u - 1}{u + 1} ]因此,Montgomery曲线和Edwards曲线之间存在isogeny同源性。

2.2 Edwards与Jacobi Quartic curve之间的isogeny

Jacobi四次曲线的形式为:[ t^2 = es^4 + 2As^2 + 1 ]当 ( e = a^2 ) 且 ( A = 2a - d ) 时,对应的形式变为:[ t^2 = a^2s^4 + 2(2a - d)s^2 + 1 ]Twisted Edwards曲线的形式为:[ ax^2 + y^2 = 1 + dx^2y^2 ]两者之间的变换关系为:[ (s, t) ↦ (x, y): x = \frac{2s}{1 + as^2}, y = \frac{1 - as^2}{t} ]以及反向映射:[ (x, y) ↦ (s, t): s = \frac{x}{y}, t = \frac{2 - y^2 - ax^2}{y^2} ]因此,Jacobi四次曲线和Twisted Edwards曲线之间也存在isogeny同源性。

2.3 group theory基本概念

书中提供了以下群论基础概念的图表和解释:

  • 群的定义:一个非空的有限或无限集,满足封闭性、结合律、有单位元和每个元素都有逆元素。
  • 群作用:一个群的元素与另一个集合的元素之间的作用,保持集合的结构不变。
  • 群同态:一个群到另一个群的映射,保持群运算的结构。
  • 群同构:两个群之间的双射映射,使得映射保留群结构。
  • 这些概念在椭圆曲线同源性理论中是基础,用于描述和分类曲线变换。

    转载地址:http://hbqx.baihongyu.com/

    你可能感兴趣的文章
    MySQL 证明为什么用limit时,offset很大会影响性能
    查看>>
    Mysql 语句操作索引SQL语句
    查看>>
    MySQL 误操作后数据恢复(update,delete忘加where条件)
    查看>>
    MySQL 调优/优化的 101 个建议!
    查看>>
    mysql 转义字符用法_MySql 转义字符的使用说明
    查看>>
    mysql 输入密码秒退
    查看>>
    mysql 递归查找父节点_MySQL递归查询树状表的子节点、父节点具体实现
    查看>>
    mysql 里对root及普通用户赋权及更改密码的一些命令
    查看>>
    Mysql 重置自增列的开始序号
    查看>>
    MySQL 高可用性之keepalived+mysql双主
    查看>>
    mysql-connector-java各种版本下载地址
    查看>>
    mysql-group_concat
    查看>>
    MySQL-【4】基本操作
    查看>>
    Mysql-丢失更新
    查看>>
    Mysql-事务阻塞
    查看>>
    Mysql-存储引擎
    查看>>
    mysql-开启慢查询&所有操作记录日志
    查看>>
    MySQL-数据目录
    查看>>
    MySQL-数据页的结构
    查看>>
    MySQL-架构篇
    查看>>