The Weil Pairing Presented by J.liu. Outline Primitive Definition Theorems Computation of the pairings.

Slides:



Advertisements
Similar presentations
Computational Photography Final project Image blending Student :杜 寧 Student ID :
Advertisements

1 生物計算期末作業 暨南大學資訊工程系 2003/05/13. 2 compare f1 f2  只比較兩個檔案 f1 與 f2 ,比完後將結果輸出。 compare directory  以兩兩比對的方式,比對一個目錄下所有檔案的相 似程度。  將相似度很高的檔案做成報表輸出,報表中至少要.
Chapter 10 馬可夫鏈 緒言 如果讀者仔細觀察日常生活中所發生的 諸多事件,必然會發現有些事件的未來 發展或演變與該事件現階段的狀況全然 無關,這種事件稱為獨立試行過程 (process of independent trials) ;而另一些 事件則會受到該事件現階段的狀況影響。
1 Q10276: Hanoi Tower Troubles Again! 星級 : ★★★ 題組: Online-judge.uva.es PROBLEM SET Volume CII 題號: Q10276: Hanoi Tower Troubles Again! 解題者:薛祖淵 解題日期: 2006.
指導教授:陳淑媛 學生:李宗叡 李卿輔.  利用下列三種方法 (Edge Detection 、 Local Binary Pattern 、 Structured Local Edge Pattern) 來判斷是否為場景變換,以方便使用者來 找出所要的片段。
倫理準則:機密性. Confidentiality By: Angela Lo. 倫理準則:機密性. Confidentiality 醫護人員有更多的機會接觸病患的隱私。 隱私包括兩方面︰一是病患的身體,另一 是有關病患的機密的訊息。 醫護人員有更多的機會接觸病患的隱私。 隱私包括兩方面︰一是病患的身體,另一.
1 政治大學東亞所選修 -- 計量分析與中國大陸研究黃智聰 政治大學東亞所選修 課程名稱:計量分析與中國大陸研究 (量化分析) 授課老師:黃智聰 授課內容: 質化的及有限的因變數模型 參考書目: Hill, C. R., W. E. Griffiths, and G. G. Judge, (2001),
1 Web of Science 利用指引 逢甲大學圖書館 參考服務組 單元五 存檔或輸出.
Review of Chapter 3 - 已學過的 rules( 回顧 )- 朝陽科技大學 資訊管理系 李麗華 教授.
消費者物價指數反映生活成本。當消費者物價指數上升時,一般家庭需要花費更多的金錢才能維持相同的生活水準。經濟學家用物價膨脹(inflation)來描述一般物價持續上升的現象,而物價膨脹率(inflation rate)為物價水準的變動百分比。
1 政治大學公企中心必修課 -- 社會科學研究方法(量化分析) -- 黃智聰 政治大學公企中心必修課 課程名稱:社會科學研究方法(量化分析) 授課老師:黃智聰 授課內容: 質化的及有限的因變數模型 參考書目: Hill, C. R., W. E. Griffiths, and G. G. Judge,
STAT0_sampling Random Sampling  母體: Finite population & Infinity population  由一大小為 N 的有限母體中抽出一樣本數為 n 的樣 本,若每一樣本被抽出的機率是一樣的,這樣本稱 為隨機樣本 (random sample)
5.1 Rn上之長度與點積 5.2 內積空間 5.3 單範正交基底:Gram-Schmidt過程 5.4 數學模型與最小平方分析
1 政大公企中心產業人才投資課程 -- 企業決策分析方法 -- 黃智聰 政大公企中心產業人才投資課程 課程名稱:企業決策分析方法 授課老師:黃智聰 授課內容:利用分公司之追蹤資料進行企業決策分析 參考書目: Hill, C. R., W. E. Griffiths, and G. G. Judge,
第一章 信號與系統初論 信號的簡介與DSP的處理方式。 系統特性與穩定性的判定方法。 以MATLAB驗證系統的線性、非時變、因果等特性。
JAVA 程式設計與資料結構 第十四章 Linked List. Introduction Linked List 的結構就是將物件排成一列, 有點像是 Array ,但是我們卻無法直接經 由 index 得到其中的物件 在 Linked List 中,每一個點我們稱之為 node ,第一個 node.
Section 2.2 Correlation 相關係數. 散佈圖 1 散佈圖 2 散佈圖的盲點 兩座標軸的刻度不同,散佈圖的外觀呈 現的相聯性強度,會有不同的感受。 散佈圖 2 相聯性看起來比散佈圖 1 來得強。 以統計數字相關係數做為客觀標準。
2005/9/28 政黨與選舉 1 從派系到政黨 2005/9/28 政黨與選舉 2 www3.nccu.edu.tw/~tsaich.
基於 RDoC 的指數運算加速協 定. Refereed Delegation of Computation RDoC 用戶端要求眾多伺服器計算函式 f(x) 而伺服 器回傳其答案如同在協定中競賽 用戶則從回傳之答案中多數決定正確答案 如同比賽中的裁判 與單一伺服器的 interactive-proof.
CH22 可靠性加速測試方法 目的 基本假設 加速試驗模式 Inverse Power Model
Wavelet transform and SPIHT 林明德. Wavelet transform & SPIHT Wavelet transform  濾波器組  程式功能  額外資訊 SPIHT  將不同功能的 SPIHT 做整合  用於各種長寬的圖檔  適用於 DSC 的 SPIHT.
Monte Carlo Simulation Part.2 Metropolis Algorithm Dept. Phys. Tunghai Univ. Numerical Methods C. T. Shih.
具備人臉追蹤與辨識功能的一個 智慧型數位監視系統 系統架構 在巡邏模式中 ,攝影機會左右來回巡視,並 利用動態膚色偵測得知是否有移動膚色物體, 若有移動的膚色物體則進入到追蹤模式,反之 則繼續巡視。
Department of Air-conditioning and Refrigeration Engineering/ National Taipei University of Technology 強健控制設計使用 MATLAB 李達生.
McGraw-Hill/Irwin © 2003 The McGraw-Hill Companies, Inc.,All Rights Reserved. 貳 研究設計.
Chapter 13 塑模靜態觀點:物件圖 Static View : Object Diagram.
Greedy Algorithms. 2 Greedy Methods ( 描述 1) * 解最佳化問題的演算法, 其解題過程可看成是由一 連串的決策步驟所組成, 而每一步驟都有一組選擇 要選定. * 一個 greedy method 在每一決策步驟總是選定那目 前看來最好 的選擇. *Greedy.
3-3 使用幾何繪圖工具 Flash 的幾何繪圖工具包括線段工具 (Line Tool) 、橢圓形工具 (Oval Tool) 、多邊星形 工具 (Rectangle Tool) 3 種。這些工具畫出 來的幾何圖形包括了筆畫線條和填色區域, 將它們適當地組合加上有技巧地變形與配 色, 不但比鉛筆工具簡單,
Matlab Assignment Due Assignment 兩個 matlab 程式 : Eigenface : Eigenvector 和 eigenvalue 的應用. Fractal : Affine transform( rotation, translation,
Ch05 確定研究變項.
: Happy Number ★ ? 題組: Problem Set Archive with Online Judge 題號: 10591: Happy Number 解題者:陳瀅文 解題日期: 2006 年 6 月 6 日 題意:判斷一個正整數 N 是否為 Happy Number.
1 政大公企中心產業人才投資課程 -- 企業決策分析方法 -- 黃智聰 政大公企中心產業人才投資課程 課程名稱:企業決策分析方法 授課老師:黃智聰 授課內容: 企業質化決策之應用與分析 參考書目: Hill, C. R., W. E. Griffiths, and G. G. Judge, (2001),
選舉制度、政府結構與政 黨體系 Cox (1997) Electoral institutions, cleavage strucuters, and the number of parties.
Divisors Presented by J.liu. Outline Elliptic curves Definitions Isomorphism from Div 0 (E)/S→E(κ) Find a function f, such that div(f) = D.
Fugacity Coefficient and Fugacity
: Multisets and Sequences ★★★★☆ 題組: Problem Set Archive with Online Judge 題號: 11023: Multisets and Sequences 解題者:葉貫中 解題日期: 2007 年 4 月 24 日 題意:在這個題目中,我們要定義.
公司加入市場的決定. 定義  平均成本 = 總成本 ÷ 生產數量 = 每一單位產量所耗的成本  平均固定成本 = 總固定成本 ÷ 生產數量  平均變動成本 = 總變動成本 ÷ 生產數量.
:Nuts for nuts..Nuts for nuts.. ★★★★☆ 題組: Problem Set Archive with Online Judge 題號: 10944:Nuts for nuts.. 解題者:楊家豪 解題日期: 2006 年 2 月 題意: 給定兩個正整數 x,y.
資料結構實習-一 參數傳遞.
: Flea circus ★★★☆☆ 題組: Problem Set Archive with Online Judge 題號: 10938: Flea circus 解題者:李育賢 解題日期: 2008 年 6 月 6 日 題意:題目會給定一些點當做樹與樹枝或樹葉連 接的地方 ( 最多.
1 Finite Continued Fractions 田錦燕 94/11/03 95/8/9( 最後更新 )
Lecture 7 Sorting in Linear Time. Sorting in Linear Time2 7.1 Lower bounds for sorting 本節探討排序所耗用的時間複雜度下限。 任何一個以比較為基礎排序的演算法,排序 n 個元 素時至少耗用 Ω(nlogn) 次比較。
Dynamic Multi-signatures for Secure Autonomous Agents Panayiotis Kotzanikolaou Mike Burmester.
: Problem G e-Coins ★★★☆☆ 題組: Problem Set Archive with Online Judge 題號: 10306: Problem G e-Coins 解題者:陳瀅文 解題日期: 2006 年 5 月 2 日 題意:給定一個正整數 S (0
Section 4.2 Probability Models 機率模式. 由實驗看機率 實驗前先列出所有可能的實驗結果。 – 擲銅板:正面或反面。 – 擲骰子: 1~6 點。 – 擲骰子兩顆: (1,1),(1,2),(1,3),… 等 36 種。 決定每一個可能的實驗結果發生機率。 – 實驗後所有的實驗結果整理得到。
JAVA 程式設計與資料結構 第二十章 Searching. Sequential Searching Sequential Searching 是最簡單的一種搜尋法,此演 算法可應用在 Array 或是 Linked List 此等資料結構。 Sequential Searching 的 worst-case.
資料結構實習-二.
演算法 8-1 最大數及最小數找法 8-2 排序 8-3 二元搜尋法.
Density and control Reproduction curve 劉耀仁. Density :濃度、密度 ► 1 號區是 High-Density 區、 2 號是 Middle-density 區、 3 號區是 Low- Density 區。 ► 計算反射率( R )或透射率( T )
Ch06 貨幣之時間價值. 時間價值 確定性  放諸林中 ? vs. 握在手中 ? 通貨膨脹  貶值 機會成本  投資收益 A bird in the hand is worth two birds in the bush.
演算法課程 (Algorithms) 國立聯合大學 資訊管理學系 陳士杰老師 Course 7 貪婪法則 Greedy Approach.
Building a knowledge base for MIS research: A meta-analysis of a systems success model Mark I Hwang, John C Windsor, Alan Pryor Information Resources Management.
1 © 2011 台灣培生教育出版 (Pearson Education Taiwan). 2 學習目標 1. 當面對可預測的變異性時,同步管理並改善供應鏈 中的供給。 2. 當面對可預測的變異性時,同步管理並改善供應鏈 中的需求。 3. 當面對可預測的變異性時,使用總體規劃將利潤最 大化。
5 重複迴圈 5.1 增減運算符號 增量運算符號 減量運算符號
: Problem E Antimatter Ray Clearcutting ★★★★☆ 題組: Problem Set Archive with Online Judge 題號: 11008: Problem E Antimatter Ray Clearcutting 解題者:林王智瑞.
Factoring Algorithms Ref: D. Stinson, Cryptography - Theory and Practice, 2001.
: Wine trading in Gergovia ★★☆☆☆ 題組: Contest Volumes with Online Judge 題號: 11054: Wine trading in Gergovia 解題者:劉洙愷 解題日期: 2008 年 2 月 29 日 題意:在 Gergovia.
:Commandos ★★★☆☆ 題組: Contest Archive with Online Judge 題號: 11463: Commandos 解題者:李重儀 解題日期: 2008 年 8 月 11 日 題意: 題目會給你一個敵營區內總共的建築物數,以及建築物 之間可以互通的路有哪些,並給你起點的建築物和終點.
Microsoft Excel.
: Finding Paths in Grid ★★★★☆ 題組: Contest Archive with Online Judge 題號: 11486: Finding Paths in Grid 解題者:李重儀 解題日期: 2008 年 10 月 14 日 題意:給一個 7 個 column.
:Problem E.Stone Game ★★★☆☆ 題組: Problem Set Archive with Online Judge 題號: 10165: Problem E.Stone Game 解題者:李濟宇 解題日期: 2006 年 3 月 26 日 題意: Jack 與 Jim.
:Rings and Glue ★★☆☆☆ 題組: Problem Set Archive with Online Judge 題號: 10301: Rings and Glue 解題者:施博修 解題日期: 2011 年 5 月 18 日 題意:小約翰有了個大麻煩,他不小心將 rings.
幼兒行為觀察與記錄 第八章 事件取樣法.
9.8 Solution of Differential Equations by Means of Taylor Series.
第七章 計算複雜度概論:排序問題 7.1計算複雜度 7.2插入排序與選擇排序 7.3每次比較至多移除一個導致之演算法的下限
Graph Theory Chapter 6 Matchings and Factorizations 大葉大學 (Da-Yeh Univ.) 資訊工程系 (Dept. CSIE) 黃鈴玲 (Lingling Huang)
Graph Theory Chapter 10 Coloring Graphs 大葉大學 (Da-Yeh Univ.) 資訊工程系 (Dept. CSIE) 黃鈴玲 (Lingling Huang)
1 Chap. 7 Response of First-Order RL and RC Circuits Contents 7.1 The Natural Response of an RL Circuit 7.2 The Natural Response of an RC Circuit 7.3 The.
ID-base Signature from Pairings on Elliptic Curve Kenneth G. Paterson From IACR Server 2002/004 Reference :Identity-Based Encryption from the Weil Pairing.
Chapter 2 Arbitrage-Free Pricing. Definition of Arbitrage.
Presentation transcript:

The Weil Pairing Presented by J.liu

Outline Primitive Definition Theorems Computation of the pairings

Primitive (1) E is an elliptic curve over K and n is an integer not divisible by char(K) E[n] is a torsion subgroup of E(K), that is E[n] = {P  E(  )| nP =  }  E(K). Where we make a assumption that  n = {x |x n = 1, x  }  K. Let T  E[n], then there exist a function f such that div(f) = n[T]-n[  ] Note that f has zero at T with order n and has pole at  with order -n.

Primitive (2) ∞ T E[n] T” T” is a coset of E[n 2 ] classify by E[n] nn E[n 2 ] E[n] with order n 4 with order n 2 Every coset has order n 2 and there are n 2 cosets If nT”=nT’= T then T”+E[n] = T’+E[n]

Primitive (3) Choose T’  E[n 2 ] such that nT’ = T then there exists a function g such that div(g) =  ([T’+R]-[R]) for all R  E[n]. Note that g is independent on the T”. div(g) =  [T”]-  [R], where nT” = T and R  E[n] We have div(f 。 n) = n  ([T’+R])-n  [R] = div(g n ) Note that f 。 n has zeros at T” with order n and has poles at R with order –n, for all nT” = T and for all R  E[n].

Primitive (4) From div(f 。 n) = div(g n ), we have f 。 n = c(g n ). Let S  E[n] and P  E[κ], then g(P+S) n = f(n(P+S)) = f(nP) = g(P) n. Therefore, g(P+S)/g(P)  n. In fact, g(P+S)/g(P) is independent of P. (by Zariski topology?)

Definition Define the Weil pairing by e n (S, T) = g(P+S)/g(P) This definition is independent of the choose of g, and independent of the auxiliary points P. Note: e n (S, T) 計算過程為 : 先針對 T 計算 f 函數, 次而由 f 決定 g ,在此決定過程中 g 將有許多不同 的選擇,但是這些選擇並不會影響到 e n (S, T) 的 結果,因此與 g 無關。另外輔助點 P 也不影響計 算結果,這些將在後續的定理與計算中看到。 另外在此省略 Weil pairing 的性質證明。 (bilinear,…)

Theorem When n is large, the computation of Weil pairing is very difficult by the definition. Let S, T  E[n] and define D s, D t as following: deg(D s ) = deg(D t ) = 0 and sum(D s ) = S, sum(D t ) = T and such that D s and D t have no points in common. div(f s ) = nD s and div(f T ) = nD T. Then e n (S, T) = f T (D S )/ f S (D T ) Where f(Σa i [P i ]) = Π i f(P i ) a i.

Compute the Weil pairing A nature choice of divisors is D S = [S]-[∞], D T = [T+R]-[R] Then we can compute

Example Let be the elliptic curve over F 7 define by y 2 = x Then E(F 7 )[3]  Z 3 ⊕ Z 3 In fact, that is all of E(F 7 ). Let’s compute e 3 ((0, 3), (5, 1)) 1.Let D (0, 3) = [(0, 3)]-[∞], D (5, 1) = [(3, 6)]-[(6, 1)] Where (3, 6) = (5, 1) + (6,1) 2.We need two functions f (0, 3) and f (5, 1), such that div(f (0, 3) ) = 3D (0, 3) and div(f (5, 1) ) = 3D (5, 1)

Example 3.All the tangent lines of the points P on E(F 7 ) have divisors 3[P]-3[∞]. 4.Then div(y-3) = 3[(0, 3)]-3[∞] = 3D (0, 3), div(4x- y+1) = 3[(3, 6)]-3[∞] and div(5x-y-1) = 3[(6, 1)]-3[∞]. Then div((4x-y+1)/(5x-y-1)) = 3[(3, 6)]-3[∞]- (3[(6, 1)]-3[∞]) = 3[(3, 6)]-3[(6, 1)] = 3D (5, 1)

Example

Miller’s algorithm As we seen above, both of the computing of Weil pairing and Tate pairing can reduce to finding a function a function f with div(f) = n[P+R]-n[R] for points P  E[n] and R  E and evaluating f(Q 1 )/f(Q 2 ) Note that, we omit Tate pairing here because the Galois cohomology theorem is too hard.

Basic idea Define D j = j[P+R]-j[R]-[jP]+[∞]. –Note that, we can’t define D j = j[P+R]-j[R]. We can find a function f j such that div(f j ) = D j. Miller’s Algo. can compute f j+k (Q 1 )/f j+k (Q 2 ) by f j (Q 1 )/f j (Q 2 ) and f k (Q 1 )/f k (Q 2 ) as following: –Let ax+by+c = 0 be the line through jP and kP. –Let x+d = 0 be the vertical line through (j+k)P.

Miller’s algorithm (1) Define v j = f j (Q 1 )/f j (Q 2 ) then we have v j+k = v j ×v k ×(L 1 /L 2 (Q 1 ))/(L 1 /L 2 (Q 2 )) where, L 1 is the line through jP and kP L 2 is the vertical line through (j+k)P and -(j+K)P Used the successive doubling to get v n. Start with i=n, j=0, k=1, v 0 =1, v 1 =f 1 (Q 1 )/f 1 (Q 2 ), where div(f 1 ) = [P+R]-[P]- [R]+[∞].

Miller’s algorithm (2) 1.If i is even then compute v 2k =v j 2 ×(G(Q 1,Q 2 )) i = i/2, k = 2k, j = j save (v j, v k ). 2.If i is odd then compute v j+k =v j ×v k ×… i = i-1, k = k, j = j+k save (v j, v k ). 3.If i≠0 then go to 1. else output v j

Example: compute v 13 1.i = 13, j = 0, k = 1, (v 0, v 1 ).[1101] 2.i = 12, j = 1, k = 1, (v 1, v 1 ).[1100] 3.i = 6, j = 1, k = 2, (v 1, v 2 ).[110] 4.i = 3, j = 1, k = 4, (v 1, v 4 ).[11] 5.i = 2, j = 5, k = 4, (v 5, v 4 ).[10] 6.i = 1, j = 5, k = 8, (v 5, v 8 ).[1] 7.i = 0, j = 13, k = 8, (v 13, v 8 ).[0] Note: there are 5 point adding operations, that is ((numbers of 1)-1)×2+numbers of 0+(0 or 1){0 for right-most bit is 1}

Example E: y 2 =x 3 -x+1 over F 11, n = 5, P = (3,6) with order 5. Let’s compute 5. D P =[(3, 6)]-[∞], D Q =[(1,1)]-[0,1]=[Q 1 ]-[Q 2 ], where R = (0,1) then P+R = (1,1). We use the algorithm to compute f P (D Q ), where div(f P ) = 5D P. We have T = ∞, then D 0 = D 1 = 0. Therefore, f 0 =f 1 =1.