Eliptik Eğriler: Bitcoin'den Fermat'a Modern Matematik

"Elips değil"

İsim yanıltıcı. Eliptik eğri elips ile alakası yok. Ad, 19. yüzyıl matematikçilerinin eliptik integraller üzerine çalışırken kullandığı eğri tipinden geliyor.

Eliptik eğri, denklemi şu formda olan bir eğridir:

$y^2 = x^3 + ax + b$

burada $a, b$ sabit sayılar (belirli koşullar altında — eğrinin "tekil" olmaması için $4a^3 + 27b^2 \neq 0$).

Bu eğriyi grafiklerseniz, iki dallı bir şekil çıkar. Aslında basit görünür: ortada bir uzantı, iki tarafta açılan kanatlar.

Şaşırtıcı özellik: nokta toplama

Eliptik eğrinin inanılmaz özelliği: eğri üzerindeki noktaları toplayabilirsiniz ve sonuç yine eğri üzerinde bir noktadır. Bu, grup yapısı oluşturur.

Geometrik kural:

1. İki nokta $P, Q$ alın.
2. Aralarına bir doğru çizin.
3. Doğru eğriyi üçüncü bir noktada ($R'$) keser.
4. $R'$'nü x ekseninde yansıtın, $R$ elde edersiniz.
5. $P + Q = R$.

(Eğer $P = Q$ ise, teğet doğru kullanılır.)

Bu kural pek çok şaşırtıcı sonuç verir:

• Birlikteci, değişmeli (Abelyen grup).
• Etkisiz eleman: sonsuzdaki nokta $\mathcal{O}$.
• Ters eleman: her $P$'nin x-eksenindeki yansıması.

"Galaktik bir grup"

Eliptik eğri üzerinde tekrar tekrar nokta toplama yapabilirsiniz: $P + P = 2P$, $2P + P = 3P$, vs.

İşte eliptik eğri kriptografisi (ECC) burada başlar:

"Verilen $P$ ve $kP$ noktalarından $k$ skaler değerini bulmak çok zordur."

Bu, eliptik eğri ayrık logaritma problemi (ECDLP). Modern bilgisayarlar için çözülmesi pratik olarak imkânsız (RSA'dan daha az anahtar boyu gerektirir).

Bitcoin ve eliptik eğri

Bitcoin ve pek çok kripto para eliptik eğri imzaları kullanır. Spesifik eğri: secp256k1:

$y^2 = x^3 + 7$

(Sonlu cisim üzerinde, $p = 2^{256} - 2^{32} - 977$ asalı modüllü.)

Bu eğri Bitcoin'in ECDSA (Elliptic Curve Digital Signature Algorithm) imzalarının temelidir:

• Özel anahtar: rastgele bir sayı $d$ (256 bit).
• Açık anahtar: eğri üzerinde nokta $Q = dG$ ($G$ standart başlangıç noktası).
• Bir mesajı imzalamak: özel anahtar ile ECDSA imzası üret.
• Doğrulama: açık anahtar ile imzayı kontrol et.

Bitcoin sahipliğinin tüm matematiksel temeli budur. 256-bit ECC, 3072-bit RSA'ya denk güvenlik sağlar — çok daha verimli.

Modern kripto: TLS, mobil cihazlar

ECC sadece Bitcoin'de değil:

• TLS 1.3 (modern HTTPS): ECC tercih edilir (ECDHE anahtar değişimi, ECDSA imzaları).
• WhatsApp, Signal: Curve25519 (modern eliptik eğri).
• iOS, Android güvenlik: ECC tabanlı.
• EU eIDAS sertifika: ECC.

Sebep: küçük anahtar, hızlı işlem, az enerji. Mobil cihazlar için ideal.

Fermat son teoremi ve eliptik eğriler

Andrew Wiles 1994'te Fermat son teoremini kanıtladı. Nasıl? Modüler form-eliptik eğri ilişkisi üzerinden (Modularity Theorem).

Kısa kanıt akışı:

1. Fermat son teoremi'nin yanlış olduğunu varsay: $a^n + b^n = c^n$ ($n > 2$) için pozitif tam sayı çözüm var.
2. Bu çözümden özel bir eliptik eğri inşa edilir (Frey eğrisi).
3. Ribet teoremi: Frey eğrisi modüler olamaz.
4. Wiles Modularity Theorem'i (her eliptik eğri modüler) kanıtladı.
5. Çelişki — Fermat son teoremi doğru.

Bu, modern sayı teorisinin en zarif derin bağlantılarından birinin örneğidir.

Modularity Theorem (1994)

Wiles + Taylor 1994-1995'te kanıtladı. Eski Şimura-Taniyama-Weil varsayımı:

"Her rasyonel eliptik eğri modülerdir."

Bu, eliptik eğrileri modüler formlarla birleştirir. Modern sayı teorisinin temel sonucu.

Diğer matematiksel önemi

Eliptik eğriler sayı teorisinin merkezi araçlarından:

• Birch–Swinnerton-Dyer varsayımı (BSD): eliptik eğriler için. Clay Milenyum Problemlerinden biri (1 milyon dolar ödüllü).
• Sayı cisimleri üzerinde eliptik eğriler ($\mathbb{Q}$, $\mathbb{F}_p$, vs.).
• Tate-Shafarevich grubu ve Mordell-Weil teoremi modern alanın temel araçları.

Tarihçe

• Newton, Diophantus zamanlarında eliptik eğri tipi denklemler incelendi.
• Niels Henrik Abel (1820'ler): eliptik fonksiyonları geliştirdi.
• Karl Weierstrass (1860'lar): Weierstrass formunu (yukarıdaki standart form) yazdı.
• Henri Poincaré (1900): rasyonel noktaların grup yapısını sezdi.
• Louis Mordell (1922): rasyonel noktaların sonlu üretildiğini kanıtladı.
• Modern: ECC (1985 Neal Koblitz, Victor Miller).

ECC vs RSA

Özellik	RSA	ECC
128-bit güvenlik	3072-bit anahtar	256-bit anahtar
256-bit güvenlik	15360-bit anahtar	521-bit anahtar
Hız	Yavaş	Hızlı
Mobil	Az uygun	İdeal

Kuantum sonrası tehdit

Shor algoritması RSA gibi eliptik eğri tabanlı şifrelemeyi de kuantum bilgisayarda kırar. Yani post-kuantum dünyada ECC de RSA gibi yetersiz kalacak.

NIST 2022'de post-kuantum standartları seçti; ECC'nin yerine lattice-based algoritmalar gelecek.

"Bir denklem, bir devrim"

Eliptik eğri ($y^2 = x^3 + ax + b$) modern matematiğin en derin denklem ailelerinden biri. Geometri + cebir + sayı teorisi + kriptografi kesişiminde, modern bilimin pek çok büyük başarısının temelinde:

• Fermat son teoremi kanıtı.
• Bitcoin ve modern kripto.
• Modern HTTPS ve internet güvenliği.
• Açık matematik problemleri (BSD varsayımı).

Bir grafiği basit görünen bir eğri, modern hayatın matematiksel iskeletinin önemli bir parçası.