Schnorr imzası

Kriptografide Schnorr imzası, Schnorr imza algoritması tarafından üretilen dijital imzalamadır. Güvenliği, ayrık logaritma problemlerinin çözülemezliğine dayanır. Kısa imzalar oluşturur ve verimlidir. Rastgele oracle modelde en basit güvenliği kanıtlanmış dijital imzalama modeli olarak düşünüldü. 2008'de geçerliliğini yitiren U.S. Patent 4,995,082 tarafından lisanslanmıştır.

Algoritma

Parametrelerin Seçimi

• İmza modelinin tüm kullanıcıları ayrık logaritmik problemin zor olduğu $q$ asal sıradaki $g$ üreticisiyle $G$ grubu üzerine anlaşırlar. Grup olarak genellikle Schnorr grubu kullanılır.
• Tüm kullanıcılar bir kriptografik hash fonksiyonu üzerinde anlaşırlar: $H:\{0,1\}^{*}\rightarrow \mathbb {Z} _{q}$.

Notasyon

Aşağıda,

• Üs, grup işleminin uygulanmasının tekrarlı yapılması anlamına gelir.
• Dizme, uyum sınıfları kümesi veya grup işleminin uygulaması (duruma göre) üzerinde çarpma işlemini simgeler.
• Çıkartma, denklik grupları üzerinde çıkartma işlemini nitelendirir.
• $M\in \{0,1\}^{*}$, sonlu bit kümeleridir
• $s,e,e_{v}\in \mathbb {Z} _{q}$, mod $q$ için uyum sınıflarıdır.
• $x,k\in \mathbb {Z} _{q}^{\times }$, mod $q$ için tam sayıların çarpımsal grubudur. ($q$ asalı için, $\mathbb {Z} _{q}^{\times }=\mathbb {Z} _{q}\setminus {\overline {0}}_{q}$)
• $y,r,r_{v}\in G$.

Anahtar üretimi

• İzin verilen kümeden imzalama için $x$ gizli anahtarı seçilir.
• Doğrulama açık anahtarı ise $y=g^{x}$.

İmzalama

M mesajını imzalamak için:

• İzin verilen kümeden rastgele bir $k$ seçilir.
• $r=g^{k}$ bulunur.
• $e=H(M||r)$ bulunur.Buradaki || birleştirmeyi gösterir ve $r$ bit katarı olarak temsil edilir.
• $s=(k-xe)$ hesaplanır.

İmza çifti $(s,e)$'dir

$s,e\in \mathbb {Z} _{q}$ olduğunu unutmayın; eğer $q<2^{160}$ ise imza gösterimi 40 byte'a sığabilir.

Doğrulama

• $r_{v}=g^{s}y^{e}$ bulunur.
• $e_{v}=H(M||r_{v})$ hesaplanır.

Eğer $e_{v}=e$ ise imza doğrulanmış demektir.

Doğruluğun ispatı

Eğer imzalanmış mesaj doğrulanmış mesaja eşitse $e_{v}=e$ olduğunu görmek nispeten kolaydır:

$r_{v}=g^{s}y^{e}=g^{k-xe}g^{xe}=g^{k}=r$ ve böylece $e_{v}=H(M||r_{v})=H(M||r)=e$.

Açık elemanlar: $G$, $g$, $q$, $y$, $s$, $e$, $r$. Gizli elemanlar: $k$, $x$.

Güvenlik değişkeni

Schnorr imzalama metodu için bilinen kriptografik varsayım standartları altında güvenliğinin bir kanıtı yoktur.

İmzalama metodu, Schnorr'un kimlik protokolüne Fiat-Shamir Dönüşümü uygulanması ile oluşturulmuştur. Bu nedenle (her Fiat ve Shamir'in değişkenleri için), eğer $H$ rastgele oracle gibi modellenmiş ise bu yöntem güvenlidir.

Bu güvenlik de $H$'nin "rastgele-önek ters görüntü kümesi dayanıklılığı" ve "rastgele-önek ikinci- ters görüntü kümesi dayanıklılığı" altındaki genel grup modelinde iddia edilebilir. Özellikle $H$'nin çarpışma dayanıklılığına ihtiyacı yoktur.

Ayrıca bakınız

• Dijital İmza Algoritması
• ElGamal İmza Algoritması

Dış bağlantılar

• RFC 823518 Mart 2020 tarihinde Wayback Machine sitesinde arşivlendi.