Frobenius endomorphism含脚本验证

mutourend

于 2019-03-26 15:23:18 发布

阅读量510

点赞数

分类专栏：基础理论文章标签：密码学

本文链接：https://blog.csdn.net/mutourend/article/details/88821416

版权

基础理论专栏收录该内容

135 篇文章 29 订阅

订阅专栏

《Pairings for beginners》,Example 2.2.5,
If E is defined over Fq, then the Frobenius endomorphism π is defined
as
π : E → E, (x, y) |→ (x^q, y^q)

在这里插入图片描述

clear;

Fq:=GF(67);
Fq2<u>:=ExtensionField<Fq,x|x^2+1>;
Fq3<v>:=ExtensionField<Fq,x|x^3+2>;

E:=EllipticCurve([Fq|4,3]);
pi:=FrobeniusMap(E);
pi2:=FrobeniusMap(E,2);
pi3:=FrobeniusMap(E,3);

P1:=E![15,50];
P2:=E(Fq2)![2*u + 16, 30*u + 39];
P3:=E(Fq3)![15*v^2 + 4*v + 8 , 44*v^2 + 30*v + 21];

P1; pi(P1);  

P2; pi(P2); pi2(P2); 

P3; pi(P3); pi2(P3); pi3(P3);

运行结果为：

(15 : 50 : 1)
(15 : 50 : 1)
(2*u + 16 : 30*u + 39 : 1)
(65*u + 16 : 37*u + 39 : 1)
(2*u + 16 : 30*u + 39 : 1)
(15*v^2 + 4*v + 8 : 44*v^2 + 30*v + 21 : 1)
(33*v^2 + 14*v + 8 : 3*v^2 + 38*v + 21 : 1)
(19*v^2 + 49*v + 8 : 20*v^2 + 66*v + 21 : 1)
(15*v^2 + 4*v + 8 : 44*v^2 + 30*v + 21 : 1)