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 :
- Closure: .
- Asosiatif: .
- Elemen netral: ada sehingga .
- 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:
- grup abelian,
- grup abelian,
- 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:
1101di adalah ;01010111di 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
, :
Operasi Hasil 01010111XOR10000011=11010100= 0xD4(sebelum reduksi) , = 11000001= 0xC1Polinom 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
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.
Additional Information
Cincin (Ring) yang Terlewat di Slide
Slide menyebut cincin dalam daftar konsep tetapi tidak merincinya. Cincin adalah himpunan dengan dan di mana grup abelian, asosiatif, dan distributif berlaku; ia tidak mewajibkan invers perkalian. dan adalah cincin; menjadi medan hanya bila prima. Karena itu RSA bekerja di cincin (), sedangkan ECC di medan .
Cara Mencari Invers Perkalian
Untuk pembagian di (mis. pada operasi titik kurva eliptik) dibutuhkan . Dua cara: algoritma Euclidean yang diperluas, atau teorema kecil Fermat . Contoh: karena . Lihat juga Teori Bilangan untuk Kriptografi.
Proyek Eksplorasi Mandiri
- Tulis fungsi
gf256_mul(a, b)yang mengalikan dua byte di dengan dan verifikasi ; lalu hitung invers .- Bangun tabel perkalian dan dengan ; bandingkan struktur keduanya.
Bacaan Lanjutan
- Lidl & Niederreiter, Finite Fields, Cambridge University Press.
- FIPS 197 (AES), Bagian 4 “Mathematical Preliminaries” tentang aritmetika .
- Paar & Pelzl, Understanding Cryptography, Bab 4.