Arithmetic of Extension Fields of Small Characteristics
Recent Developments
Abhijit Das
Department of Computer Science and Engineering Indian Institute of Technology Kharagpur Indo-US Workshop Indian Statistical Institute, Calcutta January 14, 2012
Arithmetic of Extension Fields of Small Characteristics Recent - - PowerPoint PPT Presentation
Arithmetic of Extension Fields of Small Characteristics Recent Developments Abhijit Das Department of Computer Science and Engineering Indian Institute of Technology Kharagpur Indo-US Workshop Indian Statistical Institute, Calcutta January
Abhijit Das
Department of Computer Science and Engineering Indian Institute of Technology Kharagpur Indo-US Workshop Indian Statistical Institute, Calcutta January 14, 2012
Cryptosystems based on discrete logarithms Cryptosystems based on elliptic curves Cryptosystems based on pairing
a + b (mod p) =
if a + b < p a + b − p if a + b p a − b (mod p) =
if a b a − b + p if a < b ab (mod p) = (ab) rem p. Take a ∈ Fp, a = 0. There exist integers u, v with 1 = ua + vp. Then, a−1 = u (mod p).
Addition and subtraction: Carry management is clumsy Multiplication and division: Double-precision words needed
No carry management No double-precision words needed Bit-wise operations suffice
Toom-3: Directly applicable for p 5. FFT: Apparently not effective for fields of cryptographic sizes.
1
Doklady Akad. Nauk. SSSR, Vol. 145, 293–294, 1962. 2
secure supersingular elliptic curves over characteristic two fields, CHES, Nara, Japan, 2011.
Windowed comb method Left-to-right comb method
1
1
f1(x) has as few non-zero terms as possible,
2
deg f1(x) is as small as possible.
1
LMS Journal of Computation and Mathematics, 5:181–193, 2002. 2
number of logical instructions for GF(3)-addition, Pairing, 283–296, 2008.
p fits in a machine word, p = 2n + c with |c| 2⌊n/2⌋, and we can take a defining polynomial of the form xn − ω ∈ Fp[x].
1
ailescu, Optimal Galois field bases which are not normal, presented in FSE, 1997. 2
472–485, 1998.
1
183–193, 2007.
Communication demands high-speed links. Still delay may be high.
Cost varies of the number of cores. Communication is via shared memory. Synchronization may be problematic for fine-grained parallelism.
SIMD registers are available in many cheap processors. No synchronization overhead. Packing/unpacking from/to normal registers may be an overhead. Suited to fine-grained parallelization. Not effective for all algorithms.
May be expensive. Suited usually to floating-point calculations. Crypto algorithms typically cannot exploit full potential.