Back to IF4020 Kriptografi

Aljabar Abstrak - Grup, Medan, dan Galois Field

Questions/Cues

  • Apa saja aksioma yang membuat sebuah himpunan dan operasi disebut grup?
  • Apa bedanya grup biasa dengan grup abelian?
  • Apa itu medan (field) dan mengapa medan berhingga disebut Galois Field?
  • Bagaimana aritmetika di dan di ?
  • Mengapa perkalian di membutuhkan irreducible polynomial?

Reference Points

  • IF4020 Kriptografi — Elliptic Curve Cryptography Bagian 1 (Slides 3-23)

Mengapa Perlu Aljabar Abstrak?

Sebelum membahas kurva eliptik (Kurva Eliptik dan Operasi Titik), perlu dipahami struktur aljabar yang mendasarinya: grup, cincin, medan, dan Galois field. Kurva eliptik dipakai dalam kriptografi karena himpunan titiknya membentuk grup, dan perhitungannya dilakukan di dalam medan berhingga agar semua bilangan bersifat bulat dan tepat.

Grup

Grup adalah sebuah himpunan dengan satu operasi biner yang memenuhi, untuk semua :

  1. Closure: .
  2. Asosiatif: .
  3. Elemen netral: ada sehingga .
  4. Elemen invers: ada sehingga .

Contoh: (, ); (, ); ; (penjumlahan modulo , mis. ); dan (perkalian modulo prima , himpunan ).

Grup disebut komutatif/abelian bila juga berlaku (nama dari Niels Henrik Abel, matematikawan Norwegia, 1802-1829). dan abelian, tetapi himpunan matriks berdeterminan terhadap perkalian bukan abelian karena perkalian matriks tidak komutatif ().

Medan (Field)

Medan adalah struktur aljabar dengan dua operasi yang memenuhi:

  1. grup abelian,
  2. grup abelian,
  3. distributif terhadap : .

Contoh medan: bilangan riil dan bilangan rasional . (Catatan: dengan definisi di atas sebenarnya bukan medan karena tidak semua bilangan bulat punya invers perkalian; ia hanya cincin, walau slide kuliah menyebutnya sebagai contoh.) Medan yang himpunannya berhingga disebut finite field atau Galois Field (untuk menghormati Évariste Galois, 1811-1832, yang meninggal pada usia 20 tahun).

Medan Berhingga =

Kelas terpenting: dengan prima, berisi dengan penjumlahan dan perkalian modulo . Karena prima, setiap elemen tak-nol punya invers perkalian modulo sehingga pembagian selalu mungkin.

Contoh di : dan . Tabel dan dapat disusun langsung; di , persamaan diselesaikan dengan mencari entri 5 pada tabel perkalian, hasilnya atau ( dan ).

Secara umum Galois field punya elemen, ditulis dengan prima dan ; kasus adalah .

Medan Biner

Bila diperoleh (medan berhingga biner). Tiap elemen adalah string bit yang dipandang sebagai polinom

Contoh: 1101 di adalah ; 01010111 di adalah .

  • Penjumlahan: koefisien dijumlahkan modulo 2, identik dengan XOR bit demi bit.
  • Perkalian: kalikan kedua polinom (koefisien modulo 2), lalu reduksi dengan sisa pembagian oleh sebuah irreducible polynomial berderajat agar hasil tetap berderajat .

Polinom irreducible tidak dapat dinyatakan sebagai perkalian dua polinom lain (selain 1 dan dirinya). dan irreducible, sedangkan reducible (menurut slide). Perannya mirip bilangan prima pada .

Contoh Perhitungan di

, :

OperasiHasil
01010111 XOR 10000011 = 11010100 = 0xD4
(sebelum reduksi)
, = 11000001 = 0xC1

Polinom adalah irreducible polynomial yang dipakai AES/Rijndael (AES Rijndael). Contoh lain di dengan : = 1000.

flowchart TD
    G["Grup<br/>1 operasi: closure, asosiatif,<br/>netral, invers"]
    A["Grup Abelian<br/>+ komutatif"]
    F["Medan (Field)<br/>2 operasi, kedua grup abelian,<br/>distributif"]
    FF["Medan Berhingga<br/>= Galois Field GF(p^m)"]
    P["GF(p)<br/>mod bilangan prima"]
    B["GF(2^m)<br/>polinom biner + XOR"]
    G --> A --> F --> FF
    FF --> P
    FF --> B

Summary

Grup adalah himpunan dengan satu operasi yang memenuhi closure, asosiatif, elemen netral, dan invers; bila juga komutatif disebut grup abelian. Medan adalah struktur dengan operasi dan di mana keduanya membentuk grup abelian (tanpa nol untuk perkalian) dan perkalian distributif terhadap penjumlahan. Medan berhingga disebut Galois Field . memakai aritmetika modulo prima , sedangkan merepresentasikan elemen sebagai polinom biner: penjumlahan = XOR, perkalian = perkalian polinom lalu reduksi dengan irreducible polynomial (AES memakai ). Struktur ini adalah landasan matematis ECC.