FourQ - FourQ

FourQ
Geliştirici (ler)Microsoft Araştırma
İlk sürüm2015; 5 yıl önce (2015)
Kararlı sürüm
v3.0
Depogithub.com/ microsoft/ FourQlib
YazılmışC
İşletim sistemiWindows 10, Linux
PlatformIA-32, x86-64, ARM32, ARM64
TürEliptik eğri kriptografik kitaplık
LisansMIT Lisansı
İnternet sitesiwww.microsoft.com/ tr-tr/Araştırma/ proje/ fourqlib/

İçinde kriptografi, FourQ bir eliptik eğri tarafından geliştirilmiş Microsoft Araştırma. Anahtar anlaşma planları için tasarlanmıştır (eliptik eğri Diffie-Hellman ) ve dijital imzalar (Schnorr ) ve yaklaşık 128 teklif veriyor güvenlik bitleri.[1] Bir referans uygulaması orijinal makalenin yazarları tarafından yapılmıştır. açık kaynak uygulama denir FourQlib ve devam ediyor pencereler ve Linux ve x86, x64 ve ARM için mevcuttur.[2] Altında lisanslıdır MIT Lisansı ve kaynak kodu şurada mevcuttur: GitHub.[3]

Adı, yüksek performanslı hesaplamalara izin veren dört boyutlu Gallant-Lambert-Vanstone skaler çarpımından türetilmiştir.[4] Eğri, iki boyutlu bir uzantı of önemli tarafından tanımlanan alan Mersenne asal .

Tarih

Eğri, 2015 yılında Craig Costello ve Patrick Longa tarafından yayınlandı. Microsoft Araştırma açık ePrint.[1]

Makale, Asiakript 2015 yılında Auckland, Yeni Zelanda ve dolayısıyla a referans uygulaması tarihinde yayınlandı Microsoft web sitesi.[2]

Aşağıdaki eğrinin kullanımını standartlaştırmak için bazı çabalar vardı. IETF; bu çabalar 2017'nin sonlarında geri çekildi.[5]

Matematiksel Özellikler

Eğri, bir bükülmüş Edwards denklemi

kare olmayan , nerede ... Mersenne asal .

Önlemek için küçük alt grup saldırıları,[6] tüm noktaların bir N- içinde olduğu doğrulandıburulma alt grubu eliptik eğri, burada N, 246 bit olarak belirtilir önemli bölmek sipariş Grubun.

Eğri, iki önemli olmayan endomorfizmler: ilişkili -güç Frobenius haritası, ve , düşük derecede verimli bir şekilde hesaplanabilir bir endomorfizm (bkz. karmaşık çarpma ).

Kriptografik Özellikler

Güvenlik

Şu anda en iyi bilinen ayrık logaritma saldırı geneldir Pollard'ın rho algoritması, hakkında gerekli ortalama olarak grup işlemleri. Bu nedenle, tipik olarak 128 bit güvenlik düzeyine aittir.

Önlemek için zamanlama saldırıları, tüm grup işlemleri sabit zamanda, yani temel malzeme hakkında bilgi vermeden yapılır.[1]

Verimlilik

Çoğu kriptografik ilkel ve en önemlisi ECDH, skaler çarpmanın hızlı hesaplanmasını gerektirir, yani bir nokta için eğri üzerinde ve bir tam sayı genellikle rastgele dağıtılmış olarak düşünülen .

Baktığımızdan beri önemli sipariş döngüsel alt grup, skalar yazabilir öyle ki ve her nokta için N-burulma alt grubunda.

Dolayısıyla, verilen için yazabiliriz

Küçük bulursak hesaplayabiliriz zımni denklemi kullanarak hızla

Babai yuvarlama teknik[7] küçük bulmak için kullanılır . FourQ için, verimli bir şekilde hesaplanabilir bir çözümün garanti edilebileceği .

Üstelik karakteristik alanın bir Mersenne asal, modülasyonlar verimli bir şekilde taşınabilir.

Her iki özellik (dört boyutlu ayrıştırma ve Mersenne ana karakteristiği), hızlı çarpım formüllerinin (genişletilmiş bükülmüş Edwards koordinatları), FourQ'yu 128 bit güvenlik seviyesi için şu anda en hızlı eliptik eğri yapın.

Kullanımlar

FourQ, kriptografik kitaplıkta uygulanmaktadır CIRCL, tarafından yayınlandı Cloudflare.[8]

Ayrıca bakınız

Referanslar

  1. ^ a b c Costello, Craig; Longa Patrick (2015). "FourQ: Mersenne üssü üzerinde bir Q eğrisi üzerinde dört boyutlu ayrıştırmalar". Alındı 23 Mayıs 2019. Alıntı dergisi gerektirir | günlük = (Yardım)
  2. ^ a b "FourQlib". Microsoft Araştırma. Alındı 23 Mayıs 2019.
  3. ^ https://github.com/microsoft/FourQlib
  4. ^ Longa, Patrick; Sica, Francesco (2011). "Dört Boyutlu Gallant-Lambert-Vanstone Skaler Çarpımı". arXiv:1106.5149. Alındı 23 Mayıs 2019. Alıntı dergisi gerektirir | günlük = (Yardım)
  5. ^ "taslak-ladd-cfrg-4q-01". datatracker.ietf.org. Alındı 23 Mayıs 2019.
  6. ^ van Oorschot, Paul C .; Wiener, Michael J. (1996). "Kısa Üslü Diffie-Hellman Anahtar Anlaşmasında". Kriptolojideki Gelişmeler - EUROCRYPT '96. Bilgisayar Bilimi Ders Notları. Springer Berlin Heidelberg. 1070: 332–343. doi:10.1007/3-540-68339-9_29. ISBN  978-3-540-61186-8.
  7. ^ Babai, L. (1 Mart 1986). "Lovász 'lattice redüksiyonu ve en yakın kafes noktası problemi üzerine". Kombinatorik. 6 (1): 1–13. doi:10.1007 / BF02579403. ISSN  1439-6912.
  8. ^ "CIRCL'e Giriş". blog.cloudflare.com. Alındı 28 Temmuz 2019.

Dış bağlantılar