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

    你可能感兴趣的文章
    Openstack企业级云计算实战第二、三期培训即将开始
    查看>>
    OpenStack创建虚拟机实例实战
    查看>>
    OpenStack安装部署实战
    查看>>
    OpenStack实践系列⑨云硬盘服务Cinder
    查看>>
    OpenStack架构
    查看>>
    OpenStack版本升级与故障排查实战
    查看>>
    OpenStack的基本概念与架构详解
    查看>>
    Openstack的视频学习
    查看>>
    openstack虚拟机迁移live-migration中libvirt配置
    查看>>
    OpenStack项目管理实战
    查看>>
    OpenStreetMap初探(一)——了解OpenStreetMap
    查看>>
    openSUSE 13.1 Milestone 2 发布
    查看>>
    openSUSE推出独立 GUI 包管理工具:YQPkg,简化了整个软件包管理流程
    查看>>
    OpenVSwtich(OVS)Vlan间路由实战 附实验环境
    查看>>
    Openwrt LuCI模块练习详细步骤
    查看>>
    OpenWrt固件编译刷机完全总结
    查看>>
    Open××× for Linux搭建之二
    查看>>
    Open×××有线网络时使用正常,无线网络时使用报错的解决方案
    查看>>
    ORA-00942 表或视图不存在
    查看>>
    ORA-01795: 列表中的最大表达式数为 1000
    查看>>