Montgomery Eğrisi

montgomery eğrisi peter l. montgomery tarafından 1987’de tanımlanmış, klasik weierstrass formundan farklı bir eliptik eğri formudur. belirli hesaplamalar için ve özellikle farklı kriptografi uygulamalarında kullanılır.

tanımı 

 cismi üzerinde montgomery egrisi, belirli  değerleri için ve  eşitsizliği sağlanıyorken, aşağıdaki eşitsizlikle tanımlanır:

 

bu eğri genellikle bir  sonlu cismi üzerinde tanımlı olur. (örnek olarak   elemanın oluşturduğu bir sonlu cisim, ) bu sonlu cismin karakteristiği 2'den farklı ve    olması gerektiğine dikkat edelim. aynı zamanda   ve  için aynı kısıtlamalara sahip rasyoneller üzerinde de düşünülür.

montgomery aritmetiği 
bir eliptik eğri üzerinde noktaları arasında, nokta toplama ve nokta ikileme işlemleri gerçekleştirilebilmektedir. nokta toplama;   eliptik eğrisi üzerinde tanımlı iki nokta olmak üzere  ; olacak şekilde  noktası bulmak işlemidir. nokta i̇kileme ise  işlemidir. (kullanılan işlemler hakkında detaylı bilgi için bkz; elliptic eğri grup kuralları (eng: the group law))

 noktası montgomery formundaki   eliptik eğrisi üzerinde bir nokta olmak üzere, bu noktanın montgomery koordinatları  burada  projektif koordinatlardır. ( ve ).

bir nokta için bu tür bir temsilin(dönüşümün) bilgi kaybettiğine dikkat edin: gerçekten  ve  (afin noktalarının kullanımında bir ayrım gözetilmez çünkü her iki noktanın kullanımı da bize  sonucunu verecektir. ancak, bu gösterim(dönüşüm) ile bir  noktanın n sayısı ile çarpılmasını elde etmek mümkündür; 

şimdi, iki nokta dikkate alalım; 
 ve :

bu iki noktanın toplamları aşağıdaki şekilde ifade edilir;
 

bu toplamın koordinatları:

 

 

 eğer  ise bu işlem "nokta ikileme" işlemine dönüşür;  koordinatları ise aşağıdaki eşitsizliklerle belirlenir;

 

 

 

yukarıdaki ilk işlemin(toplama işleminin) maliyeti: (3m+2s) (burada m, tanımlı eliptik eğrideki herhangi iki elemanın çarpımını, s ise tanımlı cisimdeki bir elemanın karesini ifade ediyor)

i̇kinci işlemin(ikileme) maliyeti : 2m + 2s + 1d, (burada d herhangi bir elemanın bir  değeri seçilebilir.

algoritma ve örnek 
montgomery formunda bir eliptik eğrininin bir noktasının  nokta ikilemesi, aşağıdaki algoritma ile gösterilebilir;

  varsayıldığı durumda bu implementasyonun maliyeti; 1 + 2 + *1 + 3add + 1*4. (burada m gerekli çarpma işlemlerini, s ise kare alma işelemlerini, a ise a ile çarpma işlemlerini belirtir.)

örnek 
kabul edelim ki  noktası,  eğrisi üzerinde bir nokta olsun.
koordinatları; 
 ; , 
o halde:

 

 

 

sonuç olarak bulduğumuz nokta;  dikkat edilirse, .

nokta toplama 
  afin koordinatlarda montgomery eğrisi  üzerinde iki nokta olmak üzere, 
 şeklinde belirlenen nokta geometrik olarak  ile  ve  noktalarını birleştiren doğrunun kesimini ifade eden üçüncü bir noktadır. bu noktanın koordinatları  aşağıdaki şekilde belirlenir:

1) 2 boyutlu afin uzayda,  doğrusunun  ve  noktalarından geçtiğini varsayalım.(bu varsayımdan yararlanarak), 
 
  ve  ;
elde edilir.

2) doğru ile , eğri denklemindeki  değişkeni  ile değiştirilirse aşağıdaki 3. dereceden denklem elde edilir:

 

daha önce gözlemlenebildiği gibi, bu denklem  ,  ve  noktalarının x koordinatlarına göre üç köke sahiptir. öyleyse denklem;

  şeklinde yazılır.

3) yukarıda verilen iki özdeş denklemin katsayılarının, özellikle de ikinci mertebeden olanın terimlerinin katsayılarının karşılaştırılmasıyla aşağıdaki denklem elde edilir:

 .

böylelikle, terimi , , ,  terimleri cinsinden aşağıdaki biçimde yazılabilir:

 

4)  noktasının  koordinatını bulabilmek için,  değerini   doğrusunda yerine koymak yeterlidir. bunun doğrudan  noktasını vermeyeceğine dikkat edin. gerçekten, bu yöntemle, ,  sağlayan  noktasının koordinatları bulunur. eğer   ve  nokta ekleme işleminin sonuç noktasına ihtiyaç duyulursa,  ancak ve ancak olması durumunu göz önüne almak gereklidir. bu yüzden, verilen  noktası için  noktasını bulmak gereklidir. bu işlem verilen  nin y koordinatının işaretini değiştirerek kolaylıkla yapılabilir. başka bir deyişle, doğru denkleminde  ün yerine konulmasıyla elde edilen  koordinatının işaretini değiştirmek yeterli olacaktır.

öyleyse  noktasının koordinatları, şunlardır:

nokta i̇kileme 
  montgomery eğrisi üzerinde verilen bir  noktası için, ; geometrik olarak eğri ile 'eğet olan doğru arasındaki kesişimi ifade eden üçüncü noktasını temsil eder; sağlayan  noktasının koordinatlarını bulabilmek için, 'nokta toplama' metodundakine benzer bir yol izlenir; ancak, bu durumda, 
y = lx + m  doğrusu  eğrisine teğet olmalıdır. bu yüzden, eğer  ile

 

doğrunun eğimini temsil eden l değeri aşağıdaki gibi verilir:

 

kapalı fonksiyon teoremi'ne göre yazılabilir.

yani  ve ,

bükülmüş edwards eğrileri ile denkliği 
kabul edelim ki  karakteristiği 2'den farkli bir cisim olsun.

yine kabul edelim ki  montgomery formunda bir eliptik eğri olsun:

 

  , 

ve kabul edelim ki  bükülmüş edwards formunda bir eliptik eğri olsun: 

 

  

aşağıdaki teoremi mongomery eğrileri ile bükülmüş edwards eğrileri arasındaki birasyonel denkliği gösterir:

teorem (i)  üzerinde, her bükülmüş edwards eğrisi bir montgomery eğrisine birasyonel denktir. özellikle,  bükülmüş edwards eğrisi,  montgomery eğrisine; 
 
 ve  
sağlanıyorken birasyonel denktir.

eşleme:

 

 

'den  ' ye birasyonel denklik, tersi;

 : 

 

dikkat edilirse, iki eğri arasındaki bu denklik her yerde geçerli değildir: gerçekten de  eşlemesi 'de  ya da  noktalarında tanımlı değildir.

weierstrass eğrileri ile denkliği
tüm eliptik eğriler weierstrass formunda yazılabilir. özellikle, montgomery formundaki eliptik eğriyi ele alalım;

 :  

aşağıdaki şekilde dönüştürülebilir:
 'nin her bir terimini 'e bölüp ve x,y değerlerine, ,  dönüşümü uygulanırsa,

 

bir kısa weierstrass formu elde edebilmek için burada u'yu  değeri ile değiştirtirmek gerekir:

 

sonuç olarak:

 

dolayısıyla eşleme şöyle verilir:

 : 

 

aksine, baz cismi üzerinde weierstrass formunda bir eliptik eğri:

 : 

montgomery formuna  ancak ve ancak  mertebesi 4'e bölünebilirse ve aşağıdaki koşulları sağlarsa dönüştürülebilir:

  en az bir  köküne sahip; ve
    'de bir ikinci dereceden rezidü.

bu şartlar sağlandığında,  için aşağıdaki eşlemeye sahip olunur;
 : 

 .

ayrıca bakınız
 curve25519
 curve25519
 eliptik egri kriptografisi

notlar

kaynakça
 
 
 

eliptik eğriler