Emek ispatı

emek ispatı (, pow), denial-of-service saldırıları ve bir ağ üzerinde bulunan spam mesajlar ile servislerin kötüye kullanımını, istemciden bir miktar iş yapmasını (genellikle bilgisayarın belirli bir süre işlem yapması anlamına gelir.) isteyerek önleme amaçlı ekonomik bir ölçüdür. bu kavram, cynthia dwork ve moni naor tarafından 1993 tarihli bir dergi makalesiyle ilk kez ortaya konmuştur. "emek i̇spatı" terimi ya da pow ilk kez markus jakobsson ve ari juels tarafından 1999 tarihli bir yayında literatüre kazandırılarak resmîleştirilmiştir. emek ispatı sisteminin bir para birimine değer kazandırmak amacıyla kullanıldığı ilk örneklerden biri solomon adalarında kullanılan shell moneydir.

bu sistemlerin önemli bir özelliği asimetridir: yapılacak iş istemci tarafında nispeten zor (ama makul derecede); hizmet sağlayıcı için ise kolay denetlenebilir olmalıdır. bu düşünce, cpu maliyet fonksiyonu, istemci bulmacası, hesaplamalı bulmaca veya cpu fiyatlandırma fonksiyonu olarak da bilinir. captcha ise bilgisayar yerine insanlara çözdürmeyi amaçlamasıyla bu fikirden ayrılır. alan ispatı (pospace) önerisi ise cpu zamanı yerine belirli bir miktar bellek veya disk kullanımını ispatlayarak aynı prensibi esas alır. bant genişliği ispatı yaklaşımları, kriptopara bağlamında tartışılmıştır. sahiplik ispatı, belli bir verinin ispatlayanda tutulduğunun kanıtlanmasını amaçlar.

arka plan 
hashcashte kullanılan popüler bir sistem, işin yapıldığının ispatlanması amacıyla e-posta gönderiminde iyi niyet belirtisi olarak özetin kısmen ters çevrilmesini kullanır. örneğin, aşağıdaki üstbilgi calvin@comics.net adresine 19 ocak 2038 tarihinde bir mesaj göndermek için gereken yaklaşık 252 özet hesaplamasını göstermektedir:
 x-hashcash: 1:52:380119:calvin@comics.net:::9b760005e92f0dae
doğrulama, damganın (x-hashcash: üstbilgi adı, iki nokta ve '1' rakamına kadar olan boşluklar göz ardı edilerek) sha-1 özetinin ikilik sistemde 52 adet 0 veya onaltılık sistemde 13 adet 0 ile başlayıp başlamadığının kontrol edilmesi ile tek işlemde yapılabilir:
 0000000000000756af69e2ffbdb930261873cd71
pow sistemlerin spam mesaj problemi gibi bir hizmet engelleme sorununu gerçekten çözüp çözmediği tartışma konusudur; sistem, spam gönderen için spam eposta gönderimini verimsiz hale getirmeli ama aynı zamanda kötü niyetli olmayan kullanıcıların mesajlarını göndermelerine engel olmamalıdır. diğer bir deyişle, gerçek bir kullanıcı eposta gönderirken herhangi bir zorlukla karşılaşmamalı ama bir e-posta spamcısı tek seferde birden fazla eposta gönderebilmek için yeterli miktarda işlem gücü harcamak zorunda olmalıdır. emek ispatı sistemleri, hashcash benzeri bir sistem kullanan bitcoin gibi daha karmaşık kriptografik sistemlerde temel olarak kullanılmaktadır .

türevleri 
emek ispatı protokollerde iki sınıf vardır.

 meydan okuma-karşılık verme protokolleri, istekte bulunan (istemci) ve sağlayıcı (sunucu) arasında doğrudan bir etkileşimli bağlantı olduğunu varsayar. sağlayıcı bir soru seçer, belirli bir özelliğe sahip bir kümenin ögesi diyelim, istekte bulunan taraf kümeden gerekli cevabı gönderir ve bu cevap sağlayıcı tarafından kontrol edilir. soru, sağlayıcı tarafından o anda seçildiğinden, zorluğu mevcut yüküne göre ayarlanabilir. meydan okuma-karşılık verme protokolünün bilinen bir çözüme (sağlayıcı tarafından seçilen) sahip olması ya da sınırlı bir arama alanı içinde var olması halinde talep eden taraftaki iş sınırlı olabilir.

 çözüm-doğrulama protokolleri böyle bir bağlantıya sahip değildir: sonuç olarak, talepte bulunan kişi tarafından çözüm aranmadan önce problem bu kişi tarafından ortaya konulmalı ve sağlayıcı hem problem seçimini hem de bulunan çözümü kontrol etmelidir. bu tür şemaların çoğu hashcash gibi sınırsız olasılıklı yineleme prosedürleridir.

bilinen çözüm protokolleri, sınırsız olasılıklı protokollerden biraz daha düşük bir varyansa sahip olma eğilimindedir, çünkü dikdörtgen dağılımın varyansı, (aynı ortalamaya sahip) poisson dağılımının varyansından daha düşüktür. çeşitliliği azaltmak için genel bir teknik, çok sayıda örneğin ortalaması daha düşük varyansa sahip olacağından birden fazla bağımsız alt-soru(sub-challenge) kullanmaktır.

ayrıca, zaman-kilit bulmacası gibi sabit maliyetli fonksiyonlar da vardır.

dahası, bu programlar tarafından kullanılan temel fonksiyonlar aşağıdakilerden biri olabilir:

 cpu bağımlı: i̇şlem, yüksek uç sunucudan düşük uçlu taşınabilir aygıtlara kadar işlemcinin hızında (zaman içinde büyük ölçüde değişen) çalışır. 
 bellek bağımlı:  hesaplama hızı ana bellek erişimiyle (gecikme veya bant genişliği) sınırlıdır. bu yüzden, performansın donanımdaki gelişmelere daha az duyarlı olması beklenir.
 ağ bağımlı:  i̇stemcinin az sayıda hesaplama yapması gerekiyor, ancak son hizmet sağlayıcısını sorgulamadan önce uzak sunuculardan bazı belirteçler toplaması gerekiyorsa kullanılır. bu anlamda, iş aslında talepte bulunan kişi tarafından gerçekleştirilmez, ancak gerekli belirteçlerin elde edilmesinin gecikmesi nedeniyle gecikmelere neden olur.

son olarak, bazı pow sistemleri bir gizi, genellikle bir gizli anahtarı, bilen katılımcılara düşük maliyetli pow'lar üretebilmelerine izin veren kısayol hesaplamalar sunar. bunun sebebi, eposta listesi sahiplerinin yüksek bir maliyete maruz kalmadan her alıcı için damga üretebilmesidir. böyle bir özelliğin istenip istenmediği kullanım senaryosuna bağlıdır.

emek i̇spatı fonksiyonları listesi 
bilinen emek ispatı fonksiyonlarının bir listesi aşağıda verilmiştir:

 tam sayı karekök mod büyük bir asal sayı
 fiat–shamir imzalarının zayıflatılması
 pollard tarafından kırılan ong–schnorr–şamir imzası
 kısmi özet ters çevirme bu çalışma, emek ispatı (pow) fikrini formalize eder ve "bread pudding protokolünün bağımlı fikrini", "yeniden kullanılabilir emek ispatı" (rpow) sistemini ortaya koyar. hashcash gibi.
 özet dizileri
 bulmacalar
 diffie–hellman tabanlı bulmaca
 moderate
 mbound
 hokkaido
 cuckoo döngüsü
 merkle ağacı tabanlı
 rehberli tur bulmaca protokolü

e-para olarak yeniden kullanılabilir emek ispatı 
bilgisayar bilimcisi hal finney emek ispatı üzerine inşa edilmiş, yeniden kullanılabilir emek ispatı ("rpow") kullanan bir sistem ortaya çıkarmıştır.
bazı pratik amaçlar için yeniden kullanılabilir emek ispatları yapma fikri, 1999 yılında zaten gündeme gelmişti. finney'in rpow amacı, nominal değeri madeninden fazla olan para olarak kullanmaktı. altın bir paranın değerinin, üretimi için gereken ham altının değeriyle desteklendiği düşünüldüğünde, bir rpow jetonunun değeri, bir pow jetonunun '' basılması '' için gerekli olan gerçek dünya kaynaklarının değeri ile garanti edilir.  finney'in rpow sürümünde, pow jetonu hashcashin bir parçasıdır.

bir web sitesi hizmet karşılığında bir pow jetonunu talep edebilir. kullanıcılardan gelen bir pow jetonunun kullanılması, hizmetin; i̇nternet'e yönelik bant genişliği, hesaplama, disk alanı, elektrik ve yönetim yükü gibi temel kaynaklarının kullanımını sınırlandırarak, hizmetin anlamsız veya aşırı kullanımını engeller.

finney'in rpow sistemi, bir pow sisteminden jetonları üretmek için gerekli olan işi tekrar etmeden rassal değiş-tokuşlara izin vermesiyle ayrılıyordu. bir kişi bir web sitesinde bir "pow" jetonu harcadıktan sonra, web sitesinin operatörü yeni harcanmamış bir rpow jetonu için "harcanan" pow jetonunu değiştirebilirdi, bu da rpow jetonlarını kabul etmek üzere benzer şekilde donatılmış bir üçüncü parti web sitesinde harcanabilirdi. bu, bir pow jetonu '' basmak '' için gerekli olan kaynakları koruyacaktı. rpow jetonunun sahtecilik karşıtı özelliği,  uzaktan onaylama ile garanti edilmişti. aynı değerde yeni bir adet için kullanılan bir pow veya rpow jetonunu değiştiren rpow sunucusu, ilgili tarafın hangi yazılımın rpow sunucusunda çalıştığını doğrulamasına izin vermek için uzaktan onaylama kullanır. finney'in rpow yazılımı için kaynak kodu (bsd benzeri bir lisans altında) yayınlandığından, yeterince bilgili bir programcı, kodu inceleyerek, yazılımın (ve buna bağlı olarak, rpow sunucusunun) eşit değerde harcanan bir jeton karşılığı haricinde hiçbir zaman yeni bir jeton vermediğini doğrulayabilir.

2009 yılına kadar, finney sistemi gerçeklenen tek rpow sistemiyken asla ekonomik olarak önemli bir kullanım görmedi.

rpow, güvenilen platform modülü (tpm) donanımında saklanan gizli anahtarlar ve tpm gizli anahtarlarına sahip üreticiler tarafından korunmaktadır. bir tpm üreticisinin anahtarını çalmak ya da tpm yongasının kendisini inceleyerek anahtarı elde etmek, bu garantiyi bozar.

bitcoin tipi emek ispatı 
2009 yılında,  bitcoin ağı çevrimiçi oldu. bitcoin, finney'in rpow'u gibi hashcash pow'a dayanan bir emek ispatı kriptoparasıdır. ancak, bitcoin'de çift harcama koruması, rpow tarafından kullanılan donanım güvenilir hesaplama fonksiyonu yerine, para transferlerini izlemek için merkezi olmayan bir p2p protokolü ile sağlanır. bitcoin, daha iyi güvenilirliğe sahiptir çünkü hesaplama ile korunmaktadır. bitcoinler, bireysel madenciler tarafından hashcash emek ispatı fonksiyonu kullanılarak "çıkarılır" ve p2p bitcoin ağındaki merkezi olmayan düğümler tarafından doğrulanır.

blok süresini hedeflenen sürenin civarında tutabilmek için zorluk periyodik olarak ayarlanır. .

kullanışlı emek ispatı 
birçok pow sistemi, istemcilerin bir özet fonksiyonunu tersine çevirmek gibi işe yaramaz işleri yapmasını gerektirir. bu, birçok kaynağın (özellikle istemcinin bilgisayarlarına güç veren elektrik) sadece para birimine güven sağlamak için kullanıldığı anlamına gelir. bu kaynak harcamaları ile daha verimli olmak için, bazı alternatif paralar, gerçekleştirilen işin gerçekten yararlı olduğu bir pow sistemi kullanır. örneğin, primecoin, istemcilerin belirli türlerde bilinmeyen asal sayıları bulmasını gerektirir, bunun da kullanılabileceği yan uygulamalar olabilir (bkz. primecoin#proof-of-work system).

ayrıca bakınız 

 bitcoin
 kriptopara
 bitmessage
 hisse ispatı

notlar 

 1.çoğu unix sistemde tek bir komutla doğrulanabilir: echo -n 1:52:380119:calvin@comics.net:::9b760005e92f0dae | openssl sha1

kaynakça

dış bağlantılar 
 finney's system at the wayback machine (22 aralık 2007 tarihinde alınmıştır.)
 bit gold bit gold.  emek ispatı fonksiyonları ve bu fonksiyonların kullanımıyla ortaya çıkan makine mimarisi sorununa dayanan eksiksiz bir para sistemini (üretim, depolama, deneme ve aktarma dahil) açıklar.

webarşiv şablonu hataları
kripto para birimleri