伽罗瓦域是抽象代数下的域论分支中的内容,这部分想必很多人都比较熟悉,此处不再赘述。

最近,国密算法中的SM2和SM9已经成为国际标准,其中SM9算法在椭圆曲线离散对数难题的基础上,添加了若干个双线性配对难题来保证安全性。

配对的过程中,除去群G1中的元素与SM2算法一样在素域下之外,群G2中的元素为GFq2域,群GT中的元素为GFq12域。

SM9算法大部分运算都在阔域中进行,而塔式扩张的意义在于将阔域中的元素用基域中的元素进行表示和计算。这里先按照塔式扩张的顺序(1→2→4→12)探讨一下阔域中的元素计算。

1.  (1)

塔式扩张中的(1),就是指基域。在SM9算法中,是素域Fq,其中q是256位BN曲线的基域特征值。

Fq域下的元素运算,与我们日常的加减乘除运算并无差异,略去不谈。

2.   (2)

塔式扩张中的(2),即域Fq2。这是从素域向二次域的第一次扩张,扩张公式如下:

Fq2[μ] = Fq[μ] /( μ2 - α), 其中,α = -2

即:该次扩张的即约多项式为 x2 - α, α = -2

下面以具体的例子来说明该次扩张。

SM9规范第5部分中,群 G2 的生成元 P2 = (xP2, yP2):

坐标 xP2:( 85AEF3D0 78640C98 597B6027 B441A01F  F1DD2C19 0F5E93C4 54806C11  D8806141 ,  37227552 92130B08 D2AAB97F D34EC120 EE265948 D19C17AB F9B7213B AF82D65B  )

坐标 yP2:( 17509B09 2E845C12 66BA0D26 2CBEE6ED 0736A96F A347C8BD 856DC76B 84EBEB96 ,   A7CF28D5 19BE3DA6 5F317015 3D278FF2  47EFBA98 A71A0811 6215BBA5 C999A7C7 )

此处,点P2的x轴和y轴均为域Fq2下的元素,且高维在前,低维在后。

按照这种表示顺序,此处定义两个域Fq2下的元素:

X = (a, b)

Y = (c, d)

即:

X = a * μ1 + b * μ0 = a * μ + b

Y = c * μ1 + d * μ0 = c * μ + d


加法和减法计算就是对应维度的数值在素域q下的加和减:

X + Y = (a, b) + (c, d) = (a + c, b + d)

X - Y = (a, b) - (c, d) = (a - c, b - d)


乘法

X * Y = (a, b) * (c, d)

    = (a * μ + b) * (c * μ + d)

    = (a * c * μ2 + (a * d + b * c)μ + b * d) mod ( μ2 - α)

    = -2 *a * c + (a * d + b * c)μ + b * d

    = (a * d + b * c)μ + (b * d - 2 * a * c)

即:

X * Y = (a, b) * (c, d) = (a * d + b * c , b * d - 2 * a * c)

其中,最终结果中的 * 运算均为素域q下的乘法运算。


求逆

计算 X-1 = (a, b)-1

假设结果为(x, y)

则有,(a, b) * (x, y) = (0, 1)

(0, 1)为域Fq2下的单位元,相当于素域q下的 1。

将上式展开

(a, b) * (x, y) = (a * y + b * x)μ + (b * y - 2 * a * x)

      = (a * y + b * x  ,   b * y - 2 * a * x)  = (0, 1)

相当于求解二元一次方程。

a * y + b * x      = 0

b * y - 2 * a * x = 1

求解x和y的过程省去不说,可以得到求逆操作的结果为

X-1 = (a , b)-1 = ((-a) / (b2 + 2 * a2) ,  b / (b2 + 2 * a2))

其中相关元素与计算均在素域q下进行。


以上便是塔式扩张的第一次扩张后的元素计算公式。

如上可知,扩张的实际作用是将阔域元素使用基域下的元素表示并按照基域下的运算规则进行运算。

SM9算法的群G2中的点加与倍点计算,虽然与SM2的素域下运算公式一致,但实际处理时,所有元素均按照上面的公式在域Fq2下进行。

后面再画两个篇幅探讨第二次扩张2→4和第三次扩张→12,并推导4次阔域和12次阔域下的元素计算公式。

伽罗瓦域(有限域)GFq^12上元素的1→2→4→12塔式扩张(1)------第一次扩张的更多相关文章

  1. 伽罗瓦域(有限域)GFq^12上元素的1→2→4→12塔式扩张(2)------第二次扩张

    接上文https://www.cnblogs.com/heshuchao/p/8196307.html 继续探讨塔式扩张的第二部分,即1→2→4→12中2 → 4的元素扩张表示方式与计算公式推导. 3 ...

  2. 如何在Vue中,当鼠标hover上元素时,给元素加遮罩层

    介绍 当鼠标hover 上元素时,给元素加一层遮罩层. 效果图 使用 import VueHoverMask from 'vue-hover-mask' export default { compon ...

  3. 在VS13上编译通过的代码放在12上编译-错误:l __dtoui3 referenced in function _event_debug_map_HT_GROW

    在VS13上编译通过的代码放在12上编译 遇到错误:l __dtoui3 referenced in function _event_debug_map_HT_GROW 1>------ 已启动 ...

  4. 获取html上元素的真正坐标

    使用HTML元素的style.left,style.top,style.width,style.height以及width,height属性,都不能获得元素的真正位置与大小,这些属性取出来的都是原来的 ...

  5. Appium+python自动化14-查看webview上元素(DevTools)

    前言 app上webview的页面实际上是启用的chrome浏览器的内核加载的,如何把手机的网页加载到电脑上,电脑的chrome浏览器上有个开发模式DevTools,是可以方便调试的. 一.环境准备 ...

  6. Appium+python自动化14-查看webview上元素(DevTools)【转载】

    前言 app上webview的页面实际上是启用的chrome浏览器的内核加载的,如何把手机的网页加载到电脑上,电脑的chrome浏览器上有个开发模式DevTools,是可以方便调试的. 一.环境准备 ...

  7. Appium如何查看webview上元素

    现在大部分app都是混合式的native+webview,对应native上的元素通过uiautomatorviewer很容易定位到,webview上的元素就无法识别了: 那么如何定位webview上 ...

  8. leetcode:Minimum Path Sum(路线上元素和的最小值)【面试算法题】

    题目: Given a m x n grid filled with non-negative numbers, find a path from top left to bottom right w ...

  9. python 不同集合上元素的迭代 chain()

    itertools.chain()可以接受一个可迭代对象列表作为输入,并返回一个迭代器,有效的屏蔽掉在多个容器中迭代细节 >>> from itertools import chai ...

随机推荐

  1. Java面试常见算法题

    1.实现字符串反转 提供七种方案实现字符串反转 import java.util.Stack; public class StringReverse { public static String re ...

  2. file-loader 使用心得

    将webpack 里面的图片文件都放在制定文件夹. 配置如下 { test: /\.png$/, loader: "file-loader?name=imgs/[name]-[hash].[ ...

  3. 如何用九条命令在一分钟内检查Linux服务器性能?

    一.uptime命令 这个命令可以快速查看机器的负载情况.在Linux系统中,这些数据表示等待CPU资源的进程和阻塞在不可中断IO进程(进程状态为D)的数量.这些数据可以让我们对系统资源使用有一个宏观 ...

  4. bootstrap-select多选下拉列表插件使用小记

    下载插件 插件地址:http://silviomoreto.github.io/bootstrap-select/ 下载好后引用css和js文件 <!-- 因为是jquery插件,所以引用前先引 ...

  5. Java学习之计算机基础(一)

    阅读本文大概需要 4 分钟 想要开始学习Java开发,需要掌握一些必要的计算机基础.如果你是计算机专业的人或者已经学过类似的课程,可以跳过这篇文章的阅读.计算机基础课程有很多,小编在大学里学过的课程就 ...

  6. python3 三级菜单-基础版

    # -*- coding:utf-8 -*- data = { "北京":{ "东城区":{ "安定门":["国子监", ...

  7. vue 二进制文件的下载(解决乱码和解压报错)

    问题描述:项目中使用的是vue框架进行开发,因为文件下载存在权限问题,所以并不能通过 a 链接的 href 属性直接赋值 URL进行下载, (如果你的文件没有下载权限,可以直接通过href属性赋值UR ...

  8. spring的aop详解

    一.aop术语 1.连接点joinpoint: 程序执行的某个特定位置:如类开始初始化之前.类初始化之后.类某个方法调用前.调用后等.Spring仅支持方法的连接点,即仅能在方法调用前.方法调用后以及 ...

  9. Apache+PHP+MySQL+phpMyAdmin环境搭建

    最近在学习web服务端开发,一开始是使用wamp的,后来决定自己完整配置一下环境,并把整个过程记录下来.其中,Apache是服务器,php是用来编写服务端的语言,MySQL作为数据库,phpMyAdm ...

  10. 动手开发一个名为“微天气”的微信小程序(上)

    引言:在智能手机软件的装机量中,天气预报类的APP排在比較靠前的位置.说明用户对天气的关注度非常高.由于人们不管是工作还是度假旅游等各种活动都须要依据自然天气来安排.跟着本文开发一个"微天气 ...