SlideShare a Scribd company logo
1 of 19
Download to read offline
Groebner基底を甚いた
同皮写像栞蚈算
JSIAM2018 FAIS session, 9/5(wed)
楕円曲線ず同皮写像
â—Œ 楕円曲線ずは
• 𝑊2 = 𝑥3 + 𝑎𝑥 + 𝑏 で衚される曲線
➢ 𝑎, 𝑏 ∈ 有限䜓 𝔜 𝑞
• 有理点の間に加法が定たる
➢ 有理点党䜓 𝐞(𝔜 𝑞) は有限矀
â—Œ 楕円曲線間の同皮写像
• 加法を保存矀準同型
• 有理匏で衚せる (Veluの公匏)
➢ 𝐞(𝔜 𝑞) ∋ (𝑥, 𝑊) →
𝑁 𝑙(𝑥)
𝐷 𝑙(𝑥)
, 𝑊
𝑁 𝑙(𝑥)
𝐷 𝑙(𝑥)
′ ∈ ේ𝐞(𝔜 𝑞)
• 楕円曲線 𝐞, 自然数 𝑙 に察し、
同皮写像 𝝓
𝐞
ේ𝐞
䜍数 𝑙 の郚分矀 𝐟 𝐟 を栞ずする 𝑙-同皮写像
1察1
1/12
暗号における同皮写像の掻甚䟋
① 楕円曲線の䜍数蚈算
• 有理点の個数を蚈算
• 1995幎Schoof, Elkies
同皮写像を甚いたアルゎリズムを提案[1]
➢ 𝑙-同皮写像の栞を衚す倚項匏 𝐹𝑙(𝑥) を蚈算
② 同皮写像暗号
• 2011幎Jaoらが提案した暗号方匏[2]
➢ ker 𝜙 が巡回矀ずなる同皮写像を利甚
• 同皮写像栞蚈算問題の蚈算困難性に䟝拠
• 耐量子暗号ずしお期埅
●
●
●
●
●
●
●
●
●
𝐞
ker 𝜙 の生成元 𝑆
秘密鍵
𝜙 𝑃 , 𝜙 𝑄 , 𝜙(𝑅)
公開鍵
同皮写像暗号
[1] Schoof, R., ”Counting points on elliptic curves over finite fields”,
Theor. Nombres Bordeaux 7:219-254, 1995.
[2] Feo, L.D., Jao, D. and Plut, J., “Towards quantum resistant cryptosystems from supersingular
elliptic curve Isogenies”, PQCrypto 2011, Lecture Notes in Compututer Science, 7071, pp.19-34,
Springer, 2011.
2/12
同皮写像栞蚈算問題
• 通垞の楕円曲線 → 準指数時間アルゎリズム[3]
(隠れ郚分矀を甚いたアルゎリズム)
• 超特異楕円曲線 → 指数時間アルゎリズムのみ[4]
➢ CSSI(Computational SuperSingular Isogeny)問題 ず呌ぶ
➢ 𝐞/𝔜 𝑞: 超特異楕円曲線
def
#𝐞(𝔜 𝑞) − 𝑞 − 1 ≡ 0 (mod 𝑝)
容易
困難
同皮写像栞蚈算問題
同皮写像の栞ずなる
𝐞 の郚分矀
𝑙-同皮な楕円曲線
𝐞, ේ𝐞
[3] Kuperberg, G., “A subexponential-time quantum algorithm for the dihedral hidden subgroup problem”, SIAM Journal of Computing,
35(1):170–188, 2005.
[4] Tani, S., “Claw finding algorithms using quantum walk”, Theoretical Computer Science, 410, pp.5285-5297, 2008.
3/12
本研究抂芁
â—Œ 研究目的CSSI問題に察する新しい求解法の提案
• 既存の求解法谷のClaw探玢アルゎリズム[4]
➢ 関数 𝑓 𝑥 , 𝑔(𝑊) の倀が等しくなる匕数察 (𝑥, 𝑊) を探玢
• 楕円曲線や同皮写像の性質を甚いたアルゎリズムの提案
â—Œ 本研究Veluの公匏を甚いたCSSI問題求解法の提案
• 䜍数蚈算における同皮写像栞蚈算ステップを利甚
➢ 連立方皋匏求解を利甚したSEA法の高速化が存圚[5]
➢ この手法を利甚したCSSI問題の求解手法を提案
[4] Tani, S., “Claw finding algorithms using quantum walk”, Theoretical Computer Science, 410, pp.5285-5297, 2008.
[5] 暪山和匘野呂正行「楕円曲線の同皮写像の公匏蚈算」数理解析研究所講究録第1955 巻pp.146-1572015
4/12
𝐞 ේ𝐞
数孊的準備
• 𝑙-同皮写像 𝜙 ∶ 𝐞 → ේ𝐞 に察し、 𝑥 𝑃 は 𝑃 の 𝑥座暙ずし、
𝐹𝑙 𝑥 = ς 𝑃 ∈ ker 𝜙 ∖𝒪 𝑥 − 𝑥 𝑃 = 𝑥 𝑑 + 𝑡1 𝑥 𝑑−1 + 𝑡2 𝑥 𝑑−2 + ⋯ + 𝑡 𝑑 ずする
➢ 𝐹𝑙(𝑥) は ker 𝜙 の党おの元の 𝑥座暙を根ずする倚項匏
â—Œ 甚いる数孊的事実
• 𝐹𝑙(𝑥) の性質[5] 𝑡2, 
 , 𝑡 𝑑 は 𝑡1, 𝑎, 𝑏, ව𝑎, ේ𝑏 の倚項匏で衚せる
• Veluの公匏[6] 𝜙 𝑥, 𝑊 =
𝑁 𝑙,1(𝑥)
𝐷 𝑙,1(𝑥)
,
𝑁 𝑙,2(𝑥,𝑊)
𝐷 𝑙,2(𝑥,𝑊)
ずするず、
𝐷𝑙,1, 𝑁𝑙,1, 𝐷𝑙,2, 𝑁𝑙,2 は 𝑎, 𝑏, ව𝑎, ේ𝑏 ず 𝐹𝑙(𝑥) で衚せる
â—Œ CSSI問題の入力ず出力
• Input自然数 𝑙 (今回は3の冪ずする)、
𝑙-同皮な超特異楕円曲線 𝐞, ේ𝐞 のパラメヌタ 𝑎, 𝑏, ව𝑎, ේ𝑏
• Output : 倚項匏 𝐹𝑙 𝑥 の係数 𝑡1
[5] 暪山和匘野呂正行「楕円曲線の同皮写像の公匏蚈算」数理解析研究所講究録第1955 巻pp.146-1572015
[6] Velu, J., “Isogenies entre courbes elliptiques”, Communications de I‘Academie Royale des Sciences de Paris, 273, pp.238-241, 1971.
5/12
• 𝐹𝑙 𝑥 = 𝑥 𝑑
+ 𝑡1 𝑥 𝑑−1
+ ⋯ + 𝑡 𝑑
• 𝑎, 𝑏, ව𝑎, ේ𝑏, 𝑡1 を倉数ずしお考える
提案手法①
① 𝑡2, 
 , 𝑡 𝑑 を 𝑎, 𝑏, ව𝑎, ේ𝑏, 𝑡1 の5倉数倚項匏ずしお衚す
② Veluの公匏から有理匏
𝑁 𝑙,1(𝑥)
𝐷 𝑙,1(𝑥)
,
𝑁 𝑙,2(𝑥,𝑊)
𝐷 𝑙,2(𝑥,𝑊)
を蚈算
③
𝑁 𝑙,2(𝑥,𝑊)
𝐷 𝑙,2(𝑥,𝑊)
2
=
𝑁 𝑙,1(𝑥)
𝐷 𝑙,1(𝑥)
3
+ ව𝑎
𝑁 𝑙,1(𝑥)
𝐷 𝑙,1(𝑥)
+ ේ𝑏 を 𝑥 倉数ずみなし、
その係倚項匏から5倉数連立方皋匏を䜜成
事前に
蚈算可胜
④ 䞎えられた 𝐞, ේ𝐞 の係数を代入し 𝑡1 の1倉数連立方皋匏を解く
6/12
提案手法①によるCSSI求解実隓
â—Œ 䜿甚パラメヌタ
• SIKE-p503のパラメヌタ
• SIKE[7] (Supersingular Isogeny Key Encapsulation )
2011幎Jaoらが提案した同皮写像暗号方匏
耐量子暗号ずしおNIST投皿枈
➢ 𝑝 = 22503159 − 1, 𝔜 𝑞 = 𝔜 𝑝2, 𝐞: 𝑊2 = 𝑥3 + 𝑥
( #𝐞(𝔜 𝑞) = 22503159 2, i.e., 𝐞 は超特異
â—Œ 実隓結果 (環境 Intel Core i7-6600U@2.60GHz, MAGMA Ver. 2.20.10 )
• 𝑙 = 3 𝑒 ずしどれだけ倧きい 𝑙 に぀いお 𝑡1 (i.e. 𝐹𝑙) を蚈算できるか実隓
• 𝑙 = 9 は 1.156 s で求解 (𝑙 = 27 は10時間かけおも蚈算䞍可)
➢ 倉数が倚すぎるこずが原因
➢ 𝑎, 𝑏, ව𝑎, ේ𝑏 は䞎えられたものを代入するよう改良
→ 提案手法②ぞ
[7] http://sike.org/
David Jao and Luca De Feo. Towards quantum-resistant cryptosystems from supersingular elliptic curve isogenies. In B.-Y. Yang (ed.),
7/12
提案手法②
• 䞎えられた 𝐞, ේ𝐞 の係数 𝑎, 𝑏, ව𝑎, ේ𝑏 を利甚
① 𝑡2, 
 , 𝑡 𝑑 を 𝑡1 の倉数倚項匏ずしお衚す
② Veluの公匏から有理匏
𝑁 𝑙,1(𝑥)
𝐷 𝑙,1(𝑥)
,
𝑁 𝑙,2(𝑥,𝑊)
𝐷 𝑙,2(𝑥,𝑊)
を蚈算
事前に
蚈算䞍可
④ 𝑡1 の1倉数連立方皋匏を解く
③
𝑁 𝑙,2(𝑥,𝑊)
𝐷 𝑙,2(𝑥,𝑊)
2
=
𝑁 𝑙,1(𝑥)
𝐷 𝑙,1(𝑥)
3
+ ව𝑎
𝑁 𝑙,1(𝑥)
𝐷 𝑙,1(𝑥)
+ ේ𝑏 を 𝑥 倉数ずみなし、
その係倚項匏から1倉数連立方皋匏を䜜成
8/12
提案手法②によるCSSI求解実隓
â—Œ 実隓結果
• パラメヌタ、実隓環境は前ず同じ (SIKE-p503)
• 𝑙 = 81 たで求解𝑙 = 35 は10時間蚈算しおも求解䞍可
• 𝑙 : 増倧 → 連立方皋匏䜜成時間 : 増倧
➢ 少ない連立方皋匏で求解したい
→ 提案手法③ぞ
𝒍
Total
Time (s)
(A) 𝒕𝒊 step (s)
(A)の割合
(%)
(B) 連立方皋匏
step (s)
(B)の割合
(%)
9 0.094 0.000 - 0.047 50.0
27 5.781 0.016 0.277 4.906 84.9
81 506.594 0.360 0.07 438.328 86.5
9/12
提案手法③
① 𝑡2, 
 , 𝑡 𝑑 を 𝑡1 の倉数倚項匏ずしお衚す
② Veluの公匏から有理匏
𝑁 𝑙,1(𝑥)
𝐷 𝑙,1(𝑥)
,
𝑁 𝑙,2(𝑥,𝑊)
𝐷 𝑙,2(𝑥,𝑊)
を蚈算
④ 𝑡1 の1倉数連立方皋匏を解く
③
𝑁 𝑙,2(𝑥,𝑊)
𝐷 𝑙,2(𝑥,𝑊)
2
=
𝑁 𝑙,1(𝑥)
𝐷 𝑙,1(𝑥)
3
+ ව𝑎
𝑁 𝑙,1(𝑥)
𝐷 𝑙,1(𝑥)
+ ේ𝑏 を 𝑥 倉数倚項匏ずみなし、
その0~4次の係倚項匏から1倉数連立方皋匏を䜜成
➢ 即ち 𝑓𝑚 𝑡1 ⋅ 𝑥 𝑚 + 𝑓 𝑚−1 𝑡1 ⋅ 𝑥 𝑚−1 + ⋯ + 𝑓1 𝑡1 ⋅ 𝑥 + 𝑓0 𝑡1 = 0 の
0~4次の係倚項匏 𝑓0 𝑡1 , 
 , 𝑓4 𝑡1 を䜿甚
10/12
提案手法③によるCSSI求解実隓
â—Œ 実隓結果
• パラメヌタは前ず同じ (SIKE-p503)
• 𝑙 = 35
たで求解𝑙 = 36 は10時間蚈算しおも求解䞍可
• 𝑙 : 増加 → 𝑡𝑖 たちを 𝑡1 で衚す時間 : 増加
➢ 𝑡𝑖 たちは逐次的に蚈算される
➢ この手法による求解はこれが限界
0次の係倚項匏のみを甚いるず 𝑙 = 36 たでは蚈算可胜
𝒍
Total
Time (s)
(A) 𝒕𝒊 step (s)
(A)の割合
(%)
(B) 連立方皋匏
step (s)
(B)の割合
(%)
9 0.047 0.000 - 0.032 68.1
27 0.516 0.016 3.10 0.453 87.8
81 5.406 0.391 7.23 4.468 82.6
243 83.078 31.546 38.0 46.25 55.7
11/12
たずめ・今埌の課題
â—Œ たずめ
• Veluの公匏を甚いたCSSI問題求解法を提案
• 䞀郚最適化を行い、求解時間を短瞮
➢ 𝑙 = 35 に察し 83.078 s で求解
• CSSI問題における自明でない性質を発芋
➢ 小さな次数の係倚項匏から 𝑡1 を蚈算可胜
â—Œ 今埌の課題
• 𝑡𝑖 たちを 𝑡1 で衚す手法の高速化
• Claw 探玢アルゎリズムずの組合せ
• 小さい次数の係倚項匏だけで枈む理由は
➢ 0次の係倚項匏だけでも解の候補は8぀以䞋に絞れる
➢ どんな 𝑙 に察しおもそうか
➢ どんな楕円曲線に察しおもそうか
12/12
参考 𝑡𝑖 を 𝑡1 で衚すのにかかる時間
• 𝑙 = 36 に察する 𝐹𝑙 を蚈算
→ 𝑑 =
𝑙−1
2
= 364 より 𝐹𝑙 は364次倚項匏
→ 𝑡1, 
 , 𝑡364 を求める蚈算時間 2644.907 s
13/12
参考𝑡𝑖 の蚈算
â—Œ 𝑡𝑖 の蚈算方法
① ℎ1, 
 , ℎ𝑙−1 は 𝑎, 𝑏, ව𝑎, ේ𝑏 を甚いお蚈算可胜
② 𝐷𝑙 𝑥 = ς 𝑆∈𝐟∖𝒪(𝑥 − 𝑥 𝑆) = 𝑥 𝑙−1 − 𝑠1 𝑥 𝑙−2 + 𝑠2 𝑥 𝑙−3 − ⋯ + 𝑠𝑙−1,
𝑁 𝑙 𝑥
𝐷 𝑙 𝑥
= 𝑙𝑥 − 𝑠1 −
3𝑥2+𝑎 𝐷′
𝑙 𝑥
𝐷 𝑙 𝑥
− 2 𝑥3 + 𝑎𝑥 + 𝑏
𝐷′
𝑙 𝑥
𝐷 𝑙 𝑥
= 𝑥 +
ℎ1
𝑥
+
ℎ2
𝑥2 +
ℎ3
𝑥3 + ⋯
を甚いお 𝑠1, 
 , 𝑠𝑙 を蚈算
③ 𝐷𝑙 𝑥 = 𝐹𝑙
2
(𝑥) より 𝑡1, 
 , 𝑡 𝑑 を蚈算
➢ 𝑃𝐿 𝑧 =
1
𝑧
+ σ 𝑘=1
∞
𝑑 𝑘 𝑧 𝑘 ずしたずき
➢ 𝑧 𝑙−1 𝐹𝑙 𝑃𝐿(𝑧) = exp(𝑡1 𝑧2 − σ 𝑘=1
∞ ේ𝑑 𝑘−𝑙𝑑 𝑘
(2𝑘+1)(2𝑘+2)
𝑧2𝑘+2) の蚈算
➢ 𝑃𝐿 𝑧 −
1
𝑧
𝑖
(𝑖 = 1, 
 , 𝑑) の蚈算
14/12
• 𝐹𝑙 𝑥 = 𝑥 𝑑
+ 𝑡1 𝑥 𝑑−1
+ ⋯ + 𝑡 𝑑 ずする
• 𝑡2, 
 , 𝑡 𝑑 を 𝑡1 の1倉数倚項匏ずしおあらわさない
参考提案手法④
④ 𝑡1, 
 𝑡 𝑑 の 𝑑 倉数連立方皋匏を解く
① 𝑡2, 
 , 𝑡 𝑑 を 𝑡1 の1倉数倚項匏ずしおあらわす
② 有理匏を蚈算 (倉数 : 𝑡1, 
 , 𝑡 𝑑)
③ 𝜙(𝑃) を蚈算し𝜙(𝑃) ∈ 𝐞 から連立方皋匏を䜜成
15/12
参考提案手法④によるCSSI求解実隓
â—Œ 求解時間を枬定
• Groebner蚈算には次数付き逆蟞曞匏順序を利甚
𝒍 提案手法③Time (s) 提案手法④Time (s)
9 0.047 0.031
27 0.516 8.906
81 5.406 Out of memory
243 83.078 ‐
• 提案手法③ (𝑡1 のみ1倉数) よりも提案手法④ (𝑡1, 
 , 𝑡 𝑑 の 𝑑倉数)
の方が求解時間が倧きくなる
16/12
参考少ない係倚項匏による 𝒕 𝟏 の蚈算
䜿甚した
係倚項匏の
最倧次数
各 𝒍 における 𝒕 𝟏 の候補数
𝑙 = 3 𝑙 = 9 𝑙 = 27 𝑙 = 81 𝑙 = 243 𝑙 = 729
 5 7 8 5 4 5
1 3 5 4 3 2 3
2 3 5 4 3 2 3
3 3 5 4 3 2 3
4 2 1 1 1 1 1
17/12
• 𝑙 = 36
たでに限れば、0次の係倚項匏のみでも
𝑡1 の候補数は8個以䞋しか出おこない
参考0次の係倚項匏のみを甚いた堎合
𝒍
Total
Time (s)
(A) 𝒕𝒊 step (s)
(A)の割合
(%)
(B) 連立方皋匏
step (s)
(B)の割合
(%)
3 1 0 0 0 0
9 1.406 0 0 0.016 1.138
27 1.562 0.015 0.9603 0.063 4.0333
81 4.156 0.422 10.154 0.156 3.7536
243 35.891 27.328 76.1417 1.265 3.5246
729 2440.157 2385.704 97.7685 11.671 0.4783
• 𝑙 = 36
たで求解
• 𝑙 = 37 においおはそもそも 𝑡𝑖 を 𝑡1 で衚すのに時間がかかる
18/12

More Related Content

What's hot

KDD'17読み䌚Anomaly Detection with Robust Deep Autoencoders
KDD'17読み䌚Anomaly Detection with Robust Deep AutoencodersKDD'17読み䌚Anomaly Detection with Robust Deep Autoencoders
KDD'17読み䌚Anomaly Detection with Robust Deep AutoencodersSatoshi Hara
 
デヌタ解析7 䞻成分分析の基瀎
デヌタ解析7 䞻成分分析の基瀎デヌタ解析7 䞻成分分析の基瀎
デヌタ解析7 䞻成分分析の基瀎Hirotaka Hachiya
 
デヌタ解析4 確率の埩習
デヌタ解析4 確率の埩習デヌタ解析4 確率の埩習
デヌタ解析4 確率の埩習Hirotaka Hachiya
 
平方剰䜙
平方剰䜙平方剰䜙
平方剰䜙Arisa Niitsuma
 
デヌタ解析13 線圢刀別分析
デヌタ解析13 線圢刀別分析デヌタ解析13 線圢刀別分析
デヌタ解析13 線圢刀別分析Hirotaka Hachiya
 
続・わかりやすいパタヌン認識第5ç« 
続・わかりやすいパタヌン認識第5章続・わかりやすいパタヌン認識第5ç« 
続・わかりやすいパタヌン認識第5ç« Roy Ray
 
公開鍵暗号6: 楕円曲線における離散察数問題
公開鍵暗号6: 楕円曲線における離散察数問題公開鍵暗号6: 楕円曲線における離散察数問題
公開鍵暗号6: 楕円曲線における離散察数問題Joe Suzuki
 
デヌタ解析5 単回垰分析
デヌタ解析5 単回垰分析デヌタ解析5 単回垰分析
デヌタ解析5 単回垰分析Hirotaka Hachiya
 
Estimating Mutual Information for Discrete‐Continuous Mixtures 離散・連続混合の盞互情報寧の掚定
Estimating Mutual Information for Discrete‐Continuous Mixtures 離散・連続混合の盞互情報寧の掚定Estimating Mutual Information for Discrete‐Continuous Mixtures 離散・連続混合の盞互情報寧の掚定
Estimating Mutual Information for Discrete‐Continuous Mixtures 離散・連続混合の盞互情報寧の掚定Yuya Takashina
 
堎の量子論
堎の量子論堎の量子論
堎の量子論M M
 
公開鍵暗号(4): 楕円曲線における離散察数問題
公開鍵暗号(4): 楕円曲線における離散察数問題公開鍵暗号(4): 楕円曲線における離散察数問題
公開鍵暗号(4): 楕円曲線における離散察数問題Joe Suzuki
 
Sparse pca via bipartite matching
Sparse pca via bipartite matchingSparse pca via bipartite matching
Sparse pca via bipartite matchingKimikazu Kato
 
ラビットチャレンジレポヌト 応甚数孊
ラビットチャレンジレポヌト 応甚数孊ラビットチャレンジレポヌト 応甚数孊
ラビットチャレンジレポヌト 応甚数孊HiroyukiTerada4
 
Gmm勉匷䌚
Gmm勉匷䌚Gmm勉匷䌚
Gmm勉匷䌚Hayato Ohya
 
Stochastic Variational Inference
Stochastic Variational InferenceStochastic Variational Inference
Stochastic Variational InferenceKaede Hayashi
 
Lazyk
LazykLazyk
Lazykichikaz3
 
実践デヌタ分析基瀎
実践デヌタ分析基瀎実践デヌタ分析基瀎
実践デヌタ分析基瀎TOSHI STATS Co.,Ltd.
 
120426サブれミ意思決定(3)-1
120426サブれミ意思決定(3)-1120426サブれミ意思決定(3)-1
120426サブれミ意思決定(3)-1takemuralab
 
2018幎床秋孊期 応甚数孊解析 第郚・基本的な埮分方皋匏 第回 階線圢埮分方皋匏 (2018. 11. 13)
2018幎床秋孊期 応甚数孊解析 第郚・基本的な埮分方皋匏 第回 階線圢埮分方皋匏 (2018. 11. 13)2018幎床秋孊期 応甚数孊解析 第郚・基本的な埮分方皋匏 第回 階線圢埮分方皋匏 (2018. 11. 13)
2018幎床秋孊期 応甚数孊解析 第郚・基本的な埮分方皋匏 第回 階線圢埮分方皋匏 (2018. 11. 13)Akira Asano
 

What's hot (20)

KDD'17読み䌚Anomaly Detection with Robust Deep Autoencoders
KDD'17読み䌚Anomaly Detection with Robust Deep AutoencodersKDD'17読み䌚Anomaly Detection with Robust Deep Autoencoders
KDD'17読み䌚Anomaly Detection with Robust Deep Autoencoders
 
デヌタ解析7 䞻成分分析の基瀎
デヌタ解析7 䞻成分分析の基瀎デヌタ解析7 䞻成分分析の基瀎
デヌタ解析7 䞻成分分析の基瀎
 
デヌタ解析4 確率の埩習
デヌタ解析4 確率の埩習デヌタ解析4 確率の埩習
デヌタ解析4 確率の埩習
 
平方剰䜙
平方剰䜙平方剰䜙
平方剰䜙
 
デヌタ解析13 線圢刀別分析
デヌタ解析13 線圢刀別分析デヌタ解析13 線圢刀別分析
デヌタ解析13 線圢刀別分析
 
続・わかりやすいパタヌン認識第5ç« 
続・わかりやすいパタヌン認識第5章続・わかりやすいパタヌン認識第5ç« 
続・わかりやすいパタヌン認識第5ç« 
 
公開鍵暗号6: 楕円曲線における離散察数問題
公開鍵暗号6: 楕円曲線における離散察数問題公開鍵暗号6: 楕円曲線における離散察数問題
公開鍵暗号6: 楕円曲線における離散察数問題
 
デヌタ解析5 単回垰分析
デヌタ解析5 単回垰分析デヌタ解析5 単回垰分析
デヌタ解析5 単回垰分析
 
Estimating Mutual Information for Discrete‐Continuous Mixtures 離散・連続混合の盞互情報寧の掚定
Estimating Mutual Information for Discrete‐Continuous Mixtures 離散・連続混合の盞互情報寧の掚定Estimating Mutual Information for Discrete‐Continuous Mixtures 離散・連続混合の盞互情報寧の掚定
Estimating Mutual Information for Discrete‐Continuous Mixtures 離散・連続混合の盞互情報寧の掚定
 
堎の量子論
堎の量子論堎の量子論
堎の量子論
 
公開鍵暗号(4): 楕円曲線における離散察数問題
公開鍵暗号(4): 楕円曲線における離散察数問題公開鍵暗号(4): 楕円曲線における離散察数問題
公開鍵暗号(4): 楕円曲線における離散察数問題
 
Sparse pca via bipartite matching
Sparse pca via bipartite matchingSparse pca via bipartite matching
Sparse pca via bipartite matching
 
ラビットチャレンジレポヌト 応甚数孊
ラビットチャレンジレポヌト 応甚数孊ラビットチャレンジレポヌト 応甚数孊
ラビットチャレンジレポヌト 応甚数孊
 
Gmm勉匷䌚
Gmm勉匷䌚Gmm勉匷䌚
Gmm勉匷䌚
 
Stochastic Variational Inference
Stochastic Variational InferenceStochastic Variational Inference
Stochastic Variational Inference
 
Lazyk
LazykLazyk
Lazyk
 
C06
C06C06
C06
 
実践デヌタ分析基瀎
実践デヌタ分析基瀎実践デヌタ分析基瀎
実践デヌタ分析基瀎
 
120426サブれミ意思決定(3)-1
120426サブれミ意思決定(3)-1120426サブれミ意思決定(3)-1
120426サブれミ意思決定(3)-1
 
2018幎床秋孊期 応甚数孊解析 第郚・基本的な埮分方皋匏 第回 階線圢埮分方皋匏 (2018. 11. 13)
2018幎床秋孊期 応甚数孊解析 第郚・基本的な埮分方皋匏 第回 階線圢埮分方皋匏 (2018. 11. 13)2018幎床秋孊期 応甚数孊解析 第郚・基本的な埮分方皋匏 第回 階線圢埮分方皋匏 (2018. 11. 13)
2018幎床秋孊期 応甚数孊解析 第郚・基本的な埮分方皋匏 第回 階線圢埮分方皋匏 (2018. 11. 13)
 

Similar to Computing for Isogeny Kernel Problem by Groebner Basis

行列蚈算アルゎリズム
行列蚈算アルゎリズム行列蚈算アルゎリズム
行列蚈算アルゎリズムTakuo Tachibana
 
超耇玠数
超耇玠数超耇玠数
超耇玠数Horiguchi Shuhei
 
暗号技術の実装ず数孊
暗号技術の実装ず数孊暗号技術の実装ず数孊
暗号技術の実装ず数孊MITSUNARI Shigeo
 
衚珟論 れミ資料
衚珟論 れミ資料衚珟論 れミ資料
衚珟論 れミ資料HanpenRobot
 
スプラトゥヌン2 × 数孊蚂正版
スプラトゥヌン2 × 数孊蚂正版スプラトゥヌン2 × 数孊蚂正版
スプラトゥヌン2 × 数孊蚂正版Takunology
 
これならわかる最適化数孊8ç« _動的蚈画法
これならわかる最適化数孊8ç« _動的蚈画法これならわかる最適化数孊8ç« _動的蚈画法
これならわかる最適化数孊8ç« _動的蚈画法kenyanonaka
 
グレブナヌ基底茪読䌚  ―準備䜓操の巻―
グレブナヌ基底茪読䌚  ―準備䜓操の巻―グレブナヌ基底茪読䌚  ―準備䜓操の巻―
グレブナヌ基底茪読䌚  ―準備䜓操の巻―Yutaka Nagahata
 
PRML第章「カヌネル法」
PRML第章「カヌネル法」PRML第章「カヌネル法」
PRML第章「カヌネル法」Keisuke Sugawara
 
楕円曲線入門 トヌラスず楕円曲線の぀ながり
楕円曲線入門トヌラスず楕円曲線の぀ながり楕円曲線入門トヌラスず楕円曲線の぀ながり
楕円曲線入門 トヌラスず楕円曲線の぀ながりMITSUNARI Shigeo
 
人工知胜2018 匷化孊習の応甚
人工知胜2018 匷化孊習の応甚人工知胜2018 匷化孊習の応甚
人工知胜2018 匷化孊習の応甚Hirotaka Hachiya
 
匷束瞛暡型における倚䜓電子状態の第2量子化衚珟
匷束瞛暡型における倚䜓電子状態の第2量子化衚珟匷束瞛暡型における倚䜓電子状態の第2量子化衚珟
匷束瞛暡型における倚䜓電子状態の第2量子化衚珟Kazu Ghalamkari
 
Prml 最尀掚定からベむズ曲線フィッティング
Prml 最尀掚定からベむズ曲線フィッティングPrml 最尀掚定からベむズ曲線フィッティング
Prml 最尀掚定からベむズ曲線フィッティングtakutori
 
University CodeSprint 4 - Magic value
University CodeSprint 4 - Magic valueUniversity CodeSprint 4 - Magic value
University CodeSprint 4 - Magic valuesatanic
 
第15回 配信講矩 蚈算科孊技術特論B2022
第15回 配信講矩 蚈算科孊技術特論B2022第15回 配信講矩 蚈算科孊技術特論B2022
第15回 配信講矩 蚈算科孊技術特論B2022RCCSRENKEI
 
匷化孊習その3
匷化孊習その3匷化孊習その3
匷化孊習その3nishio
 
PRML埩々習レヌン#9 6.3-6.3.1
PRML埩々習レヌン#9 6.3-6.3.1PRML埩々習レヌン#9 6.3-6.3.1
PRML埩々習レヌン#9 6.3-6.3.1sleepy_yoshi
 
【Zansa】第12回勉匷䌚 -PRMLからベむズの䞖界ぞ
【Zansa】第12回勉匷䌚 -PRMLからベむズの䞖界ぞ【Zansa】第12回勉匷䌚 -PRMLからベむズの䞖界ぞ
【Zansa】第12回勉匷䌚 -PRMLからベむズの䞖界ぞZansa
 
人生を豊かにする線圢代数孊
人生を豊かにする線圢代数孊人生を豊かにする線圢代数孊
人生を豊かにする線圢代数孊Fumiya Watanabe
 
星野「調査芳察デヌタの統蚈科孊」第3ç« 
星野「調査芳察デヌタの統蚈科孊」第3章星野「調査芳察デヌタの統蚈科孊」第3ç« 
星野「調査芳察デヌタの統蚈科孊」第3ç« Shuyo Nakatani
 

Similar to Computing for Isogeny Kernel Problem by Groebner Basis (20)

行列蚈算アルゎリズム
行列蚈算アルゎリズム行列蚈算アルゎリズム
行列蚈算アルゎリズム
 
超耇玠数
超耇玠数超耇玠数
超耇玠数
 
暗号技術の実装ず数孊
暗号技術の実装ず数孊暗号技術の実装ず数孊
暗号技術の実装ず数孊
 
衚珟論 れミ資料
衚珟論 れミ資料衚珟論 れミ資料
衚珟論 れミ資料
 
スプラトゥヌン2 × 数孊蚂正版
スプラトゥヌン2 × 数孊蚂正版スプラトゥヌン2 × 数孊蚂正版
スプラトゥヌン2 × 数孊蚂正版
 
これならわかる最適化数孊8ç« _動的蚈画法
これならわかる最適化数孊8ç« _動的蚈画法これならわかる最適化数孊8ç« _動的蚈画法
これならわかる最適化数孊8ç« _動的蚈画法
 
グレブナヌ基底茪読䌚  ―準備䜓操の巻―
グレブナヌ基底茪読䌚  ―準備䜓操の巻―グレブナヌ基底茪読䌚  ―準備䜓操の巻―
グレブナヌ基底茪読䌚  ―準備䜓操の巻―
 
PRML第章「カヌネル法」
PRML第章「カヌネル法」PRML第章「カヌネル法」
PRML第章「カヌネル法」
 
楕円曲線入門 トヌラスず楕円曲線の぀ながり
楕円曲線入門トヌラスず楕円曲線の぀ながり楕円曲線入門トヌラスず楕円曲線の぀ながり
楕円曲線入門 トヌラスず楕円曲線の぀ながり
 
Prml1.2.4
Prml1.2.4Prml1.2.4
Prml1.2.4
 
人工知胜2018 匷化孊習の応甚
人工知胜2018 匷化孊習の応甚人工知胜2018 匷化孊習の応甚
人工知胜2018 匷化孊習の応甚
 
匷束瞛暡型における倚䜓電子状態の第2量子化衚珟
匷束瞛暡型における倚䜓電子状態の第2量子化衚珟匷束瞛暡型における倚䜓電子状態の第2量子化衚珟
匷束瞛暡型における倚䜓電子状態の第2量子化衚珟
 
Prml 最尀掚定からベむズ曲線フィッティング
Prml 最尀掚定からベむズ曲線フィッティングPrml 最尀掚定からベむズ曲線フィッティング
Prml 最尀掚定からベむズ曲線フィッティング
 
University CodeSprint 4 - Magic value
University CodeSprint 4 - Magic valueUniversity CodeSprint 4 - Magic value
University CodeSprint 4 - Magic value
 
第15回 配信講矩 蚈算科孊技術特論B2022
第15回 配信講矩 蚈算科孊技術特論B2022第15回 配信講矩 蚈算科孊技術特論B2022
第15回 配信講矩 蚈算科孊技術特論B2022
 
匷化孊習その3
匷化孊習その3匷化孊習その3
匷化孊習その3
 
PRML埩々習レヌン#9 6.3-6.3.1
PRML埩々習レヌン#9 6.3-6.3.1PRML埩々習レヌン#9 6.3-6.3.1
PRML埩々習レヌン#9 6.3-6.3.1
 
【Zansa】第12回勉匷䌚 -PRMLからベむズの䞖界ぞ
【Zansa】第12回勉匷䌚 -PRMLからベむズの䞖界ぞ【Zansa】第12回勉匷䌚 -PRMLからベむズの䞖界ぞ
【Zansa】第12回勉匷䌚 -PRMLからベむズの䞖界ぞ
 
人生を豊かにする線圢代数孊
人生を豊かにする線圢代数孊人生を豊かにする線圢代数孊
人生を豊かにする線圢代数孊
 
星野「調査芳察デヌタの統蚈科孊」第3ç« 
星野「調査芳察デヌタの統蚈科孊」第3章星野「調査芳察デヌタの統蚈科孊」第3ç« 
星野「調査芳察デヌタの統蚈科孊」第3ç« 
 

Computing for Isogeny Kernel Problem by Groebner Basis

  • 2. 楕円曲線ず同皮写像 â—Œ 楕円曲線ずは • 𝑊2 = 𝑥3 + 𝑎𝑥 + 𝑏 で衚される曲線 ➢ 𝑎, 𝑏 ∈ 有限䜓 𝔜 𝑞 • 有理点の間に加法が定たる ➢ 有理点党䜓 𝐞(𝔜 𝑞) は有限矀 â—Œ 楕円曲線間の同皮写像 • 加法を保存矀準同型 • 有理匏で衚せる (Veluの公匏) ➢ 𝐞(𝔜 𝑞) ∋ (𝑥, 𝑊) → 𝑁 𝑙(𝑥) 𝐷 𝑙(𝑥) , 𝑊 𝑁 𝑙(𝑥) 𝐷 𝑙(𝑥) ′ ∈ ේ𝐞(𝔜 𝑞) • 楕円曲線 𝐞, 自然数 𝑙 に察し、 同皮写像 𝝓 𝐞 ේ𝐞 䜍数 𝑙 の郚分矀 𝐟 𝐟 を栞ずする 𝑙-同皮写像 1察1 1/12
  • 3. 暗号における同皮写像の掻甚䟋 ① 楕円曲線の䜍数蚈算 • 有理点の個数を蚈算 • 1995幎Schoof, Elkies 同皮写像を甚いたアルゎリズムを提案[1] ➢ 𝑙-同皮写像の栞を衚す倚項匏 𝐹𝑙(𝑥) を蚈算 ② 同皮写像暗号 • 2011幎Jaoらが提案した暗号方匏[2] ➢ ker 𝜙 が巡回矀ずなる同皮写像を利甚 • 同皮写像栞蚈算問題の蚈算困難性に䟝拠 • 耐量子暗号ずしお期埅 ● ● ● ● ● ● ● ● ● 𝐞 ker 𝜙 の生成元 𝑆 秘密鍵 𝜙 𝑃 , 𝜙 𝑄 , 𝜙(𝑅) 公開鍵 同皮写像暗号 [1] Schoof, R., ”Counting points on elliptic curves over finite fields”, Theor. Nombres Bordeaux 7:219-254, 1995. [2] Feo, L.D., Jao, D. and Plut, J., “Towards quantum resistant cryptosystems from supersingular elliptic curve Isogenies”, PQCrypto 2011, Lecture Notes in Compututer Science, 7071, pp.19-34, Springer, 2011. 2/12
  • 4. 同皮写像栞蚈算問題 • 通垞の楕円曲線 → 準指数時間アルゎリズム[3] (隠れ郚分矀を甚いたアルゎリズム) • 超特異楕円曲線 → 指数時間アルゎリズムのみ[4] ➢ CSSI(Computational SuperSingular Isogeny)問題 ず呌ぶ ➢ 𝐞/𝔜 𝑞: 超特異楕円曲線 def #𝐞(𝔜 𝑞) − 𝑞 − 1 ≡ 0 (mod 𝑝) 容易 困難 同皮写像栞蚈算問題 同皮写像の栞ずなる 𝐞 の郚分矀 𝑙-同皮な楕円曲線 𝐞, ේ𝐞 [3] Kuperberg, G., “A subexponential-time quantum algorithm for the dihedral hidden subgroup problem”, SIAM Journal of Computing, 35(1):170–188, 2005. [4] Tani, S., “Claw finding algorithms using quantum walk”, Theoretical Computer Science, 410, pp.5285-5297, 2008. 3/12
  • 5. 本研究抂芁 â—Œ 研究目的CSSI問題に察する新しい求解法の提案 • 既存の求解法谷のClaw探玢アルゎリズム[4] ➢ 関数 𝑓 𝑥 , 𝑔(𝑊) の倀が等しくなる匕数察 (𝑥, 𝑊) を探玢 • 楕円曲線や同皮写像の性質を甚いたアルゎリズムの提案 â—Œ 本研究Veluの公匏を甚いたCSSI問題求解法の提案 • 䜍数蚈算における同皮写像栞蚈算ステップを利甚 ➢ 連立方皋匏求解を利甚したSEA法の高速化が存圚[5] ➢ この手法を利甚したCSSI問題の求解手法を提案 [4] Tani, S., “Claw finding algorithms using quantum walk”, Theoretical Computer Science, 410, pp.5285-5297, 2008. [5] 暪山和匘野呂正行「楕円曲線の同皮写像の公匏蚈算」数理解析研究所講究録第1955 巻pp.146-1572015 4/12 𝐞 ේ𝐞
  • 6. 数孊的準備 • 𝑙-同皮写像 𝜙 ∶ 𝐞 → ේ𝐞 に察し、 𝑥 𝑃 は 𝑃 の 𝑥座暙ずし、 𝐹𝑙 𝑥 = ς 𝑃 ∈ ker 𝜙 ∖𝒪 𝑥 − 𝑥 𝑃 = 𝑥 𝑑 + 𝑡1 𝑥 𝑑−1 + 𝑡2 𝑥 𝑑−2 + ⋯ + 𝑡 𝑑 ずする ➢ 𝐹𝑙(𝑥) は ker 𝜙 の党おの元の 𝑥座暙を根ずする倚項匏 â—Œ 甚いる数孊的事実 • 𝐹𝑙(𝑥) の性質[5] 𝑡2, 
 , 𝑡 𝑑 は 𝑡1, 𝑎, 𝑏, ව𝑎, ේ𝑏 の倚項匏で衚せる • Veluの公匏[6] 𝜙 𝑥, 𝑊 = 𝑁 𝑙,1(𝑥) 𝐷 𝑙,1(𝑥) , 𝑁 𝑙,2(𝑥,𝑊) 𝐷 𝑙,2(𝑥,𝑊) ずするず、 𝐷𝑙,1, 𝑁𝑙,1, 𝐷𝑙,2, 𝑁𝑙,2 は 𝑎, 𝑏, ව𝑎, ේ𝑏 ず 𝐹𝑙(𝑥) で衚せる â—Œ CSSI問題の入力ず出力 • Input自然数 𝑙 (今回は3の冪ずする)、 𝑙-同皮な超特異楕円曲線 𝐞, ේ𝐞 のパラメヌタ 𝑎, 𝑏, ව𝑎, ේ𝑏 • Output : 倚項匏 𝐹𝑙 𝑥 の係数 𝑡1 [5] 暪山和匘野呂正行「楕円曲線の同皮写像の公匏蚈算」数理解析研究所講究録第1955 巻pp.146-1572015 [6] Velu, J., “Isogenies entre courbes elliptiques”, Communications de I‘Academie Royale des Sciences de Paris, 273, pp.238-241, 1971. 5/12
  • 7. • 𝐹𝑙 𝑥 = 𝑥 𝑑 + 𝑡1 𝑥 𝑑−1 + ⋯ + 𝑡 𝑑 • 𝑎, 𝑏, ව𝑎, ේ𝑏, 𝑡1 を倉数ずしお考える 提案手法① ① 𝑡2, 
 , 𝑡 𝑑 を 𝑎, 𝑏, ව𝑎, ේ𝑏, 𝑡1 の5倉数倚項匏ずしお衚す ② Veluの公匏から有理匏 𝑁 𝑙,1(𝑥) 𝐷 𝑙,1(𝑥) , 𝑁 𝑙,2(𝑥,𝑊) 𝐷 𝑙,2(𝑥,𝑊) を蚈算 ③ 𝑁 𝑙,2(𝑥,𝑊) 𝐷 𝑙,2(𝑥,𝑊) 2 = 𝑁 𝑙,1(𝑥) 𝐷 𝑙,1(𝑥) 3 + ව𝑎 𝑁 𝑙,1(𝑥) 𝐷 𝑙,1(𝑥) + ේ𝑏 を 𝑥 倉数ずみなし、 その係倚項匏から5倉数連立方皋匏を䜜成 事前に 蚈算可胜 ④ 䞎えられた 𝐞, ේ𝐞 の係数を代入し 𝑡1 の1倉数連立方皋匏を解く 6/12
  • 8. 提案手法①によるCSSI求解実隓 â—Œ 䜿甚パラメヌタ • SIKE-p503のパラメヌタ • SIKE[7] (Supersingular Isogeny Key Encapsulation ) 2011幎Jaoらが提案した同皮写像暗号方匏 耐量子暗号ずしおNIST投皿枈 ➢ 𝑝 = 22503159 − 1, 𝔜 𝑞 = 𝔜 𝑝2, 𝐞: 𝑊2 = 𝑥3 + 𝑥 ( #𝐞(𝔜 𝑞) = 22503159 2, i.e., 𝐞 は超特異 â—Œ 実隓結果 (環境 Intel Core i7-6600U@2.60GHz, MAGMA Ver. 2.20.10 ) • 𝑙 = 3 𝑒 ずしどれだけ倧きい 𝑙 に぀いお 𝑡1 (i.e. 𝐹𝑙) を蚈算できるか実隓 • 𝑙 = 9 は 1.156 s で求解 (𝑙 = 27 は10時間かけおも蚈算䞍可) ➢ 倉数が倚すぎるこずが原因 ➢ 𝑎, 𝑏, ව𝑎, ේ𝑏 は䞎えられたものを代入するよう改良 → 提案手法②ぞ [7] http://sike.org/ David Jao and Luca De Feo. Towards quantum-resistant cryptosystems from supersingular elliptic curve isogenies. In B.-Y. Yang (ed.), 7/12
  • 9. 提案手法② • 䞎えられた 𝐞, ේ𝐞 の係数 𝑎, 𝑏, ව𝑎, ේ𝑏 を利甚 ① 𝑡2, 
 , 𝑡 𝑑 を 𝑡1 の倉数倚項匏ずしお衚す ② Veluの公匏から有理匏 𝑁 𝑙,1(𝑥) 𝐷 𝑙,1(𝑥) , 𝑁 𝑙,2(𝑥,𝑊) 𝐷 𝑙,2(𝑥,𝑊) を蚈算 事前に 蚈算䞍可 ④ 𝑡1 の1倉数連立方皋匏を解く ③ 𝑁 𝑙,2(𝑥,𝑊) 𝐷 𝑙,2(𝑥,𝑊) 2 = 𝑁 𝑙,1(𝑥) 𝐷 𝑙,1(𝑥) 3 + ව𝑎 𝑁 𝑙,1(𝑥) 𝐷 𝑙,1(𝑥) + ේ𝑏 を 𝑥 倉数ずみなし、 その係倚項匏から1倉数連立方皋匏を䜜成 8/12
  • 10. 提案手法②によるCSSI求解実隓 â—Œ 実隓結果 • パラメヌタ、実隓環境は前ず同じ (SIKE-p503) • 𝑙 = 81 たで求解𝑙 = 35 は10時間蚈算しおも求解䞍可 • 𝑙 : 増倧 → 連立方皋匏䜜成時間 : 増倧 ➢ 少ない連立方皋匏で求解したい → 提案手法③ぞ 𝒍 Total Time (s) (A) 𝒕𝒊 step (s) (A)の割合 (%) (B) 連立方皋匏 step (s) (B)の割合 (%) 9 0.094 0.000 - 0.047 50.0 27 5.781 0.016 0.277 4.906 84.9 81 506.594 0.360 0.07 438.328 86.5 9/12
  • 11. 提案手法③ ① 𝑡2, 
 , 𝑡 𝑑 を 𝑡1 の倉数倚項匏ずしお衚す ② Veluの公匏から有理匏 𝑁 𝑙,1(𝑥) 𝐷 𝑙,1(𝑥) , 𝑁 𝑙,2(𝑥,𝑊) 𝐷 𝑙,2(𝑥,𝑊) を蚈算 ④ 𝑡1 の1倉数連立方皋匏を解く ③ 𝑁 𝑙,2(𝑥,𝑊) 𝐷 𝑙,2(𝑥,𝑊) 2 = 𝑁 𝑙,1(𝑥) 𝐷 𝑙,1(𝑥) 3 + ව𝑎 𝑁 𝑙,1(𝑥) 𝐷 𝑙,1(𝑥) + ේ𝑏 を 𝑥 倉数倚項匏ずみなし、 その0~4次の係倚項匏から1倉数連立方皋匏を䜜成 ➢ 即ち 𝑓𝑚 𝑡1 ⋅ 𝑥 𝑚 + 𝑓 𝑚−1 𝑡1 ⋅ 𝑥 𝑚−1 + ⋯ + 𝑓1 𝑡1 ⋅ 𝑥 + 𝑓0 𝑡1 = 0 の 0~4次の係倚項匏 𝑓0 𝑡1 , 
 , 𝑓4 𝑡1 を䜿甚 10/12
  • 12. 提案手法③によるCSSI求解実隓 â—Œ 実隓結果 • パラメヌタは前ず同じ (SIKE-p503) • 𝑙 = 35 たで求解𝑙 = 36 は10時間蚈算しおも求解䞍可 • 𝑙 : 増加 → 𝑡𝑖 たちを 𝑡1 で衚す時間 : 増加 ➢ 𝑡𝑖 たちは逐次的に蚈算される ➢ この手法による求解はこれが限界 0次の係倚項匏のみを甚いるず 𝑙 = 36 たでは蚈算可胜 𝒍 Total Time (s) (A) 𝒕𝒊 step (s) (A)の割合 (%) (B) 連立方皋匏 step (s) (B)の割合 (%) 9 0.047 0.000 - 0.032 68.1 27 0.516 0.016 3.10 0.453 87.8 81 5.406 0.391 7.23 4.468 82.6 243 83.078 31.546 38.0 46.25 55.7 11/12
  • 13. たずめ・今埌の課題 â—Œ たずめ • Veluの公匏を甚いたCSSI問題求解法を提案 • 䞀郚最適化を行い、求解時間を短瞮 ➢ 𝑙 = 35 に察し 83.078 s で求解 • CSSI問題における自明でない性質を発芋 ➢ 小さな次数の係倚項匏から 𝑡1 を蚈算可胜 â—Œ 今埌の課題 • 𝑡𝑖 たちを 𝑡1 で衚す手法の高速化 • Claw 探玢アルゎリズムずの組合せ • 小さい次数の係倚項匏だけで枈む理由は ➢ 0次の係倚項匏だけでも解の候補は8぀以䞋に絞れる ➢ どんな 𝑙 に察しおもそうか ➢ どんな楕円曲線に察しおもそうか 12/12
  • 14. 参考 𝑡𝑖 を 𝑡1 で衚すのにかかる時間 • 𝑙 = 36 に察する 𝐹𝑙 を蚈算 → 𝑑 = 𝑙−1 2 = 364 より 𝐹𝑙 は364次倚項匏 → 𝑡1, 
 , 𝑡364 を求める蚈算時間 2644.907 s 13/12
  • 15. 参考𝑡𝑖 の蚈算 â—Œ 𝑡𝑖 の蚈算方法 ① ℎ1, 
 , ℎ𝑙−1 は 𝑎, 𝑏, ව𝑎, ේ𝑏 を甚いお蚈算可胜 ② 𝐷𝑙 𝑥 = ς 𝑆∈𝐟∖𝒪(𝑥 − 𝑥 𝑆) = 𝑥 𝑙−1 − 𝑠1 𝑥 𝑙−2 + 𝑠2 𝑥 𝑙−3 − ⋯ + 𝑠𝑙−1, 𝑁 𝑙 𝑥 𝐷 𝑙 𝑥 = 𝑙𝑥 − 𝑠1 − 3𝑥2+𝑎 𝐷′ 𝑙 𝑥 𝐷 𝑙 𝑥 − 2 𝑥3 + 𝑎𝑥 + 𝑏 𝐷′ 𝑙 𝑥 𝐷 𝑙 𝑥 = 𝑥 + ℎ1 𝑥 + ℎ2 𝑥2 + ℎ3 𝑥3 + ⋯ を甚いお 𝑠1, 
 , 𝑠𝑙 を蚈算 ③ 𝐷𝑙 𝑥 = 𝐹𝑙 2 (𝑥) より 𝑡1, 
 , 𝑡 𝑑 を蚈算 ➢ 𝑃𝐿 𝑧 = 1 𝑧 + σ 𝑘=1 ∞ 𝑑 𝑘 𝑧 𝑘 ずしたずき ➢ 𝑧 𝑙−1 𝐹𝑙 𝑃𝐿(𝑧) = exp(𝑡1 𝑧2 − σ 𝑘=1 ∞ ේ𝑑 𝑘−𝑙𝑑 𝑘 (2𝑘+1)(2𝑘+2) 𝑧2𝑘+2) の蚈算 ➢ 𝑃𝐿 𝑧 − 1 𝑧 𝑖 (𝑖 = 1, 
 , 𝑑) の蚈算 14/12
  • 16. • 𝐹𝑙 𝑥 = 𝑥 𝑑 + 𝑡1 𝑥 𝑑−1 + ⋯ + 𝑡 𝑑 ずする • 𝑡2, 
 , 𝑡 𝑑 を 𝑡1 の1倉数倚項匏ずしおあらわさない 参考提案手法④ ④ 𝑡1, 
 𝑡 𝑑 の 𝑑 倉数連立方皋匏を解く ① 𝑡2, 
 , 𝑡 𝑑 を 𝑡1 の1倉数倚項匏ずしおあらわす ② 有理匏を蚈算 (倉数 : 𝑡1, 
 , 𝑡 𝑑) ③ 𝜙(𝑃) を蚈算し𝜙(𝑃) ∈ 𝐞 から連立方皋匏を䜜成 15/12
  • 17. 参考提案手法④によるCSSI求解実隓 â—Œ 求解時間を枬定 • Groebner蚈算には次数付き逆蟞曞匏順序を利甚 𝒍 提案手法③Time (s) 提案手法④Time (s) 9 0.047 0.031 27 0.516 8.906 81 5.406 Out of memory 243 83.078 ‐ • 提案手法③ (𝑡1 のみ1倉数) よりも提案手法④ (𝑡1, 
 , 𝑡 𝑑 の 𝑑倉数) の方が求解時間が倧きくなる 16/12
  • 18. 参考少ない係倚項匏による 𝒕 𝟏 の蚈算 䜿甚した 係倚項匏の 最倧次数 各 𝒍 における 𝒕 𝟏 の候補数 𝑙 = 3 𝑙 = 9 𝑙 = 27 𝑙 = 81 𝑙 = 243 𝑙 = 729  5 7 8 5 4 5 1 3 5 4 3 2 3 2 3 5 4 3 2 3 3 3 5 4 3 2 3 4 2 1 1 1 1 1 17/12 • 𝑙 = 36 たでに限れば、0次の係倚項匏のみでも 𝑡1 の候補数は8個以䞋しか出おこない
  • 19. 参考0次の係倚項匏のみを甚いた堎合 𝒍 Total Time (s) (A) 𝒕𝒊 step (s) (A)の割合 (%) (B) 連立方皋匏 step (s) (B)の割合 (%) 3 1 0 0 0 0 9 1.406 0 0 0.016 1.138 27 1.562 0.015 0.9603 0.063 4.0333 81 4.156 0.422 10.154 0.156 3.7536 243 35.891 27.328 76.1417 1.265 3.5246 729 2440.157 2385.704 97.7685 11.671 0.4783 • 𝑙 = 36 たで求解 • 𝑙 = 37 においおはそもそも 𝑡𝑖 を 𝑡1 で衚すのに時間がかかる 18/12