Paillier Şifrelemesi
Paillier şifrelemesi , 1999’da Pascal Paillier tarafından geliştirilen olasılıksal açık anahtarlı şifreleme yöntemidir. n’inci kök sınıflarını hesaplamanın zorluğunu kullanan Paillier şifreleme sistemi, kararsal bileşik kök sınıfı varsayımı (en:decisional composite residuosity assumption) üzerine kurulmuştur. Sistem, toplama işlemine göre homomorfik (homomorphic) özellik gösterir; yani sadece açık anahtarı,
ve
’nin şifrelemesini kullanarak
’nin şifrelenmiş hâli hesaplanabilir.
Konu başlıkları |
Algoritma [değiştir]
Sistemin çalışma şekli aşağıda anlatılmıştır:
Anahtar Üretimi [değiştir]
- ”p” ve “q”, rasgele seçilen, birbirinden bağımsız ve
özelliğini sağlayan iki büyük asal sayı olsun. İki asal sayı da eşit uzunlukta seçilirse, yani güvenlik parametresi
için
ise bu koşul doğrudan sağlanır.[1]
ve
olarak hesaplanır.
olmak üzere rasgele bir
tamsayısı seçilir.
fonkisyonu
şeklinde tanımlanmak üzere;
’nın hesaplanabilirliği kontrol edilerek,
’nin
’nin mertebesini böldüğünden emin olunur.
-
gösteriminin
ile
’nin çarpmaya gore modüler tersinin çarpımına değil,
’nın math>b</math>’ye bölümüne; yani
olmak üzere
eşitsizliğini sağlayan en büyük tamsayı
’ye eşit olduğuna dikkat ediniz.
- Açık Anahtar (Şifreleme Anahtarı).
- Gizli Anahtar (Şifre Çözme Anahtarı)
Eğer eşit uzunlukta p,q kullanılırsa, yukarıda anlatılan anahtar üretim işlemi,
olmak üzere,
ve
, where şeklinde daha basit olarak yapılabilir. .[1]
Şifreleme [değiştir]
,
koşulunu sağlayan, şifrelenecek mesaj olsun.
koşulunu sağlayan rasgele bir
seçilir.- Şifreli metin
şeklinde hesaplanır.
Şifre Çözme [değiştir]
- Şifreli metin

- Mesaj
eşitliği kullanılarak hesaplanır.
Özgün makalede belirtildiği gibi şifre çözme işleim, temel olarak, mod
’de yapılan bir üs alma işleminden ibarettir.
Homomorfik Özellikler [değiştir]
Paillier şifrelemesinin en:homomorphic özelliği oldukça önemlidir. Şifreleme fonksiyonu toplama işlemine gore homomorfik olduğu için, aşağıdaki eşitlikler geçerlidir:
- Şifrelenmemiş metinlerin homomorfik olarak toplanması
- Şifrelenmemiş metinlerin homomorfik olarak çarpılması
- Daha genel olarak belirtmek gerekirse:
Özellikle belirtmek gerekirse, Paillier şifrelenmiş hali verilen iki mesajın çarpımının şifrelenmiş hali, gizli anahtar olmadan hesaplanamaz.
Temel Bilgiler [değiştir]
Paillier şifrelemesi ile, bazı ayrık logaritmaların (en: discrete logarithms) kolay bir biçimde hesaplanabileceği gösterilebilir. Örneğin, binom açılımı kullanarak,
Yukarıdaki eşitlikten
elde edilir. Buradan, eğer
ise
yazılabilir. Yani;
fonksiyonu
(tamsayı bölme işleminin bölümü) şeklinde tanımlanmak üzere ve
iken
,
yazılabilir.
Ayrıca bakınız [değiştir]
- Paillier’in tarihsel öncüsü en:Okamoto–Uchiyama cryptosystem.
- Paillier’in genelleştirilmiş hâli en:Damgård–Jurik cryptosystem.
- Paillier’in etkileşimli simülatörü oylama uygulamasının örneğidir.
- Paillier şifrelemesinin etkileşimli demosu.
- Kriptografik yöntemler kullanılarak nasıl oylama yapılabileceğini gösteren googletechtalk videosu.
Kaynakça [değiştir]
- Paillier, Pascal (1999). "Public-Key Cryptosystems Based on Composite Degree Residuosity Classes". EUROCRYPT. Springer. pp. 223-238. doi:10.1007/3-540-48910-X_16
- Paillier, Pascal; Pointcheval, David (1999). "Efficient Public-Key Cryptosystems Provably Secure Against Active Adversaries". ASIACRYPT. Springer. pp. 165-179. doi:10.1007/978-3-540-48000-6_14
- Paillier, Pascal (1999). Cryptosystems Based on Composite Residuosity (Ph.D. thesis). École Nationale Supérieure des Télécommunications.
- Paillier, Pascal (2002). "Composite-Residuosity Based Cryptography: An Overview". CryptoBytes 5 (1). http://www.rsasecurity.com/rsalabs/cryptobytes/CryptoBytes_January_2002_final.pdf.
Notlar [değiştir]
Dış Bağlantılar [değiştir]
- Homomorfik Şifreleme Projesi, Paillier şifrelemesinin homomorfik özellikleriyle beraber geliştirilmiş hâlidir.
- Encounter : Paillier şifrelemesinin ve buna dayana kriptografik sayaçların geliştirilmiş hâlini içeren açık kaynak kütüphane.
özelliğini sağlayan iki büyük
için
ise bu koşul doğrudan sağlanır.
ve
olarak hesaplanır.
olmak üzere rasgele bir
tamsayısı seçilir.
fonkisyonu
şeklinde tanımlanmak üzere;
’nın hesaplanabilirliği kontrol edilerek,
’nin
gösteriminin
ile
’nin çarpmaya gore modüler tersinin çarpımına değil,
olmak üzere
eşitsizliğini sağlayan en büyük tamsayı
’ye eşit olduğuna dikkat ediniz.
- Açık Anahtar (Şifreleme Anahtarı).
- Gizli Anahtar (Şifre Çözme Anahtarı)
,
koşulunu sağlayan, şifrelenecek mesaj olsun.
koşulunu sağlayan rasgele bir
seçilir.
şeklinde hesaplanır.
eşitliği kullanılarak hesaplanır.








iken
,