博客
关于我
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/

    你可能感兴趣的文章
    MyEclipse更改项目名web发布名字不改问题
    查看>>
    MyEclipse用(JDBC)连接SQL出现的问题~
    查看>>
    mt-datetime-picker type="date" 时间格式 bug
    查看>>
    myeclipse的新建severlet不见解决方法
    查看>>
    MyEclipse设置当前行背景颜色、选中单词前景色、背景色
    查看>>
    Mtab书签导航程序 LinkStore/getIcon SQL注入漏洞复现
    查看>>
    myeclipse配置springmvc教程
    查看>>
    MyEclipse配置SVN
    查看>>
    MTCNN 人脸检测
    查看>>
    MyEcplise中SpringBoot怎样定制启动banner?
    查看>>
    MyPython
    查看>>
    MTD技术介绍
    查看>>
    MySQL
    查看>>
    MySQL
    查看>>
    mysql
    查看>>
    MTK Android 如何获取系统权限
    查看>>
    MySQL - 4种基本索引、聚簇索引和非聚索引、索引失效情况、SQL 优化
    查看>>
    MySQL - ERROR 1406
    查看>>
    mysql - 视图
    查看>>
    MySQL - 解读MySQL事务与锁机制
    查看>>