İçeriğe atla

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.[1]

Algoritma

Parametrelerin Seçimi

  • İmza modelinin tüm kullanıcıları ayrık logaritmik problemin zor olduğu asal sıradaki üreticisiyle grubu üzerine anlaşırlar. Grup olarak genellikle Schnorr grubu kullanılır.
  • Tüm kullanıcılar bir kriptografik hash fonksiyonu üzerinde anlaşırlar: .

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.
  • , sonlu bit kümeleridir
  • , mod için uyum sınıflarıdır.
  • , mod için tam sayıların çarpımsal grubudur. ( asalı için, )
  • .

Anahtar üretimi

  • İzin verilen kümeden imzalama için gizli anahtarı seçilir.
  • Doğrulama açık anahtarı ise .

İmzalama

M mesajını imzalamak için:

  • İzin verilen kümeden rastgele bir seçilir.
  • bulunur.
  • bulunur.Buradaki || birleştirmeyi gösterir ve bit katarı olarak temsil edilir.
  • hesaplanır.

İmza çifti 'dir

olduğunu unutmayın; eğer ise imza gösterimi 40 byte'a sığabilir.

Doğrulama

  • bulunur.
  • hesaplanır.

Eğer ise imza doğrulanmış demektir.

Doğruluğun ispatı

Eğer imzalanmış mesaj doğrulanmış mesaja eşitse olduğunu görmek nispeten kolaydır:

ve böylece .

Açık elemanlar: , , , , , , . Gizli elemanlar: , .

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 rastgele oracle gibi modellenmiş ise bu yöntem güvenlidir.

Bu güvenlik de '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 'nin çarpışma dayanıklılığına ihtiyacı yoktur.

Ayrıca bakınız

Kaynakça

Dış bağlantılar

İlgili Araştırma Makaleleri

<span class="mw-page-title-main">Latin alfabesi</span> Latin dilini yazmak için kullanılan alfabe

Latin alfabesi, antik Roma tarafından Eski Latince yazmak için kullanılan Latin harfleri tabanlı alfabedir. 23 harften oluşan Latin alfabesi, Latin harflerini kullanan ilk alfabedir.

<span class="mw-page-title-main">Grup teorisi</span> simetrileri inceleyen matematik dalı

Grup teorisi veya Grup kuramı, simetrileri inceleyen matematik dalıdır. Simetri kuramı olarak da adlandırılabilir. Bir nesnenin simetrileri ile kast edilen, nesneye uygulandığında nesneye hiçbir etki olmamış gibi sonuç veren dönüşümlerdir. Her nesnenin en az bir simetrisi vardır: hiçbir şey yapmadan olduğu gibi bırakma dönüşümü. Bahsettiğimiz dönüşümlerin tersleri de vardır ve aradığımız özellikleri sağlarlar. Son olarak da dönüşümlerin art arda yapılması, birleşimli bir işlemdir. Bu üç koşula sırasıyla birim elemana sahip olma, elemenların tersi olma ve grup işleminin birleşmeli olması denir. Bu kavramların matematikte soyutlanması, üzerinde tersinebilir ve bileşme özelliğine sahip ikili bir işlemin tanımlı olduğu kümeler ile yapılır. Daha detaylı açıklamak gerekirse, grup nesnesi bir küme G ve onun üzerinde tanımlı bir işleminden oluşur. Bu operasyonun aşağıdaki şartları sağlaması gereklidir:

<span class="mw-page-title-main">Türev</span> Fonksiyonun grafiğine çizilen teğetin eğimini hesaplama tekniğidir.

Matematikte türev, bir fonksiyonun tanımlı olduğu herhangi bir noktada değişim yönünü veya hızını veren temel bir kavramdır. Tek değişkenli bir fonksiyonun tanım kümesinin belli bir noktasında türevi, fonksiyonun grafiğine bu noktada karşılık gelen değerde çizilen teğet doğrunun eğimidir. Teğet doğru, tanım kümesinin bu noktasında fonksiyonun en iyi doğrusal yaklaşımıdır. Bu nedenle türev genellikle anlık değişim oranı ya da daha açık bir ifadeyle, bağımlı değişkendeki anlık değişimin bağımsız değişkendeki anlık değişime oranı olarak tanımlanır. Bir fonksiyonun türevini teorik olarak bulmaya türev alma denilir. Eğer bir fonksiyonun tanım kümesindeki her değerinde hesaplanan türev değerlerini veren başka bir fonksiyon varsa, bu fonksiyona eldeki fonksiyonun türevi denir.

<span class="mw-page-title-main">Navier-Stokes denklemleri</span> Akışkanların hareketini tanımlamaya yarayan denklemler dizisi

Navier-Stokes denklemleri, ismini Claude-Louis Navier ve George Gabriel Stokes'tan almış olan, sıvılar ve gazlar gibi akışkanların hareketini tanımlamaya yarayan bir dizi denklemden oluşmaktadır.

Matematikte karmaşık sayı, bir gerçel bir de sanal kısımdan oluşan bir nesnedir. a ve b sayıları gerçek olursa karmaşık sayılar şu biçimde gösterilirler:

Cisim, halka ve grup gibi soyut bir cebirsel yapıdır. Kabaca, elemanları arasında toplama, çıkarma, çarpma ve bölme yapılabilen ve bu işlemlerde sayılardan alışık olduğumuz temel aritmetik kurallarının geçerli olduğu bir küme olarak tanımlanabilir.

Bağıntıda yansıma, simetri ve geçişme özelliği varsa bu bağıntı denklik bağıntısıdır.

ElGamal şifrelemesi, Diffie-Hellman anahtar alış-verişi'ne dayanan bir asimetrik şifreleme algoritması olup Taher Elgamal tarafından 1984 yılında önerilmiştir.

<span class="mw-page-title-main">Cebirsel topoloji</span>

Cebirsel topoloji, topolojik uzayları cebirsel gereç ve yöntemlerle inceleyen matematik dalı. Matematikte bir kümenin üzerine döşenecek yapı, yönelinen matematik dalını belirler. Bir kümeye bir ya da birkaç işlem konarak sayılar kuramı ya da cebir yapmaya başlanabilir. Kümenin üzerine bir topoloji koyaraksa topoloji ve, ayrıca uzunluk koyarsak, geometri yapmaya başlanır. Üzerine topoloji konmuş bir uzayı incelemek için kimi cebirsel, aritmetik veya topolojik değişmezler tanımlanır; bunlar aracılığıyla topolojik uzayın özellikleri ayırdedilir. Örneğin tıkızlık, bağlantılılık, sayılabilirlik bu tür değişmezlerdir. Topolojik eşyapısal iki uzaydan biri bu değişmeze sahipse diğeri de buna sahip olmalıdır. Yani, eğer iki uzay için ayrı ayrı bakılan bir değişmez aynı değilse, bu iki uzay eşyapısal olmayacaktır. Yukarıda anılan en eski değişmezlerin hemen ardından inşa edilen klasik değişmezler cebirsel olanlardır.

Hiperbolik düzlemin dönüşüm grubu, genel Möbius grubunun alt grubu olup ile gösterilir. Üst yarı düzlemi koruyan bu grup Riemann küresi üzerinde tanımlıdır. nin etkisi altında hiperbolik doğrular yine hiperbolik doğrulara giderken, herhangi iki eğri arasındaki açının mutlak değerinin, hiperbolik uzunluk ve uzaklığın korunması grubun karakteristik özelliklerinden bazılarıdır. Bu özelliklerden önemli bir sonuca, hiperbolik düzlemin dönüşüm grubuyla hiperbolik yarı düzlemin izometri grubunun eşyapılı olduğuna, varmak mümkündür.

<span class="mw-page-title-main">Almanya'daki şehirler listesi</span> Vikimedya liste maddesi

Almanya'daki şehirler listesi, 1 Ocak 2017 itibarıyla Almanya'da bulunan 2060 şehir ve ilçenin alfabetik olarak sıralanmış bir listesidir.

Muhtelif Budist terim ve kavramların asıl terimin bütün derinliğiyle kapsayacak Türkçe tercümeleri yoktur. Aşağıda birçok mühim Budist terim, kısa tanımlar ve hangi dilde kullandıkları sıralanmıştır. Bu listede terimleri asıl şekline göre düzenlemek ve başka dillerdeki tercüme ve eş anlamlı kelimeleri vermeye çalıştık.

<span class="mw-page-title-main">Dijital İmza Algoritması</span>

Dijital İmza Algoritması dijital imza için bir FIPS standardıdır. Ağustos 1991'de National Institute of Standards and Technology (NIST) tarafından tasarlanmıştır. Dijital imza algoritması, ElGamal İmza Algoritması'nın bir varyantıdır.

ElGamal imza şeması Ayrık Logaritmanın hesaplanmasının zorluğuna dayanan bir dijital imzadır. Tahir el-Cemal tarafından 1984 yılında bulunmuştur. Açık anahtarlı kriptosistemi ve imza şeması ayrık logaritmaya dayanmaktadır.

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ı üzerine kurulmuştur. Sistem, toplama işlemine göre homomorfik özellik gösterir; yani sadece açık anahtarı, ve ’nin şifrelemesini kullanarak ’nin şifrelenmiş hâli hesaplanabilir.

Okamoto–Uchiyama kriptosistemi, 1998'de T. Okamoto ve S. Uchiyama tarafından bulundu. Sistem kümesinde çalışır, n p2q ya eşittir ve p ve q büyük asal sayılardır.

<span class="mw-page-title-main">Eliptik eğri kriptografisi</span>

Eliptik Eğri Kriptolojisi, sonlu cisimler üzerindeki eliptik eğrilerin cebirsel topolojisine dayanan bir açık anahtar şifrelemesidir. Eliptik Eğri Kriptolojisi, diğer şifrelemeler göre daha küçük anahtar boyuna ihtiyaç duyar.

Kriptografide Eliptik Eğri Dijital İmza Algoritması (ECDSA), eliptik eğri şifrelemesi kullanan birçok çeşit Dijital İmza Algoritması (DSA) sunar.

Benaloh kriptosistemi 1994 yılında Josh (Cohen) Benaloh tarafından oluşturulan Goldwasser-Micali şifreleme sisteminin bir genişletilmesidir. Goldwasser-Micali'de bitler tek tek şifrelenirken, Benaloh Kriptosisteminde veri blokları grup olarak şifrelenmektedir. Orijinal makaledeki küçük bir hata Laurent Fousse et al. 'da düzeltilmiştir.

<span class="mw-page-title-main">Bidördey</span>

Soyut cebirde, bidördeyler sayılarıdır. Klasik dördeylere benzese de sayıları reel sayılar değil karmaşık sayılar kümesinin elemanlarıdır. Bir başka deyişle, dördey grubu elemanları olan elemanlarının katsayıları reel sayılar kümesinin elemanları değil karmaşık sayılar kümesinin elemanlarıdır.