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

    你可能感兴趣的文章
    nginx最最最详细教程来了
    查看>>
    Nginx服务器---正向代理
    查看>>
    Nginx服务器上安装SSL证书
    查看>>
    Nginx服务器的安装
    查看>>
    Nginx模块 ngx_http_limit_conn_module 限制连接数
    查看>>
    nginx添加模块与https支持
    查看>>
    Nginx用户认证
    查看>>
    Nginx的location匹配规则的关键问题详解
    查看>>
    Nginx的Rewrite正则表达式,匹配非某单词
    查看>>
    Nginx的使用总结(一)
    查看>>
    Nginx的使用总结(三)
    查看>>
    Nginx的使用总结(二)
    查看>>
    Nginx的可视化神器nginx-gui的下载配置和使用
    查看>>
    Nginx的是什么?干什么用的?
    查看>>
    Nginx访问控制_登陆权限的控制(http_auth_basic_module)
    查看>>
    nginx负载均衡和反相代理的配置
    查看>>
    nginx负载均衡器处理session共享的几种方法(转)
    查看>>
    nginx负载均衡的5种策略(转载)
    查看>>
    nginx负载均衡的五种算法
    查看>>
    nginx转发端口时与导致websocket不生效
    查看>>