Teşvik uyumlu ve ispatlanabilir güvenli blokzincir uygulamaları

Blokzincir teknolojilerinin hayatımıza girmesi ve gelişmesi para gönderimini gönderici ile gönderen arasındaki mesafeden bağımsız olarak maliyetini düşürerek kolaylaştırmıştır. Dahası, blokzincir teknolojisi sadece günümüz ekonomik modelini etkilememiştir, aynı zamanda daha önce güvenilir bir otorite (devlet veya bilinen bir firma gibi) olmadan imkansız olduğu düşünülen birçok yeni uygulamaya da ilham kaynağı olmuştur. Fakat yeni bir teknoloji olan blokzincir; madencilik, hesap işlemleri ve uygulamaları açısından güvenliğini ve teşvik uyumluluğunu (yani katılımcıların beklenen protokol adımlarını takip etmesinin motive edilmesi) garanti edecek kadar araştırılmamıştır. Kriptografi ve oyun teorisi bize bu mevzuda yardımcı olabilecek ispat yöntemleri olan geleneksel iki araçtır. Bu tezde güvenli blokzincir uygulamaları için oyun teorisi ve kriptografik güvenlik modellerini kullanmaktayız. Birinci olarak, e-bağış adını verdiğimiz merkezi olmayan ve adil çevrimiçi bağışlar için ispatlanabilir güvenli bir blokzincir uygulamasını geliştirmekteyiz. İkinci olarak, pratik ve çok yönlü özellik tabanlı bir dijital imza protokolü önermekteyiz. Üçüncü olarak, çalışma-ispatı blokzincirine Eyal ve Sirer'in (CACM '18) bencil madencilik saldırısına karşı teşvik uyumlu bir savunma çözümü sunarak blokzincirin güvenliğini analiz etmekte ve geliştirmekteyiz. Dördüncü olarak, bu ve benzeri saldırıların ve karşı savunmalarının simüle edilebileceği ağ tabanlı bir simülasyon aracını da beraberinde tasarlamaktayız. Beşinci olarak, eşik kriptografisini ve oyun teorisinin devredilebilir yarar kavramını başarıyla birleştiren bir sistem sunmaktayız. Bu sistem sayesinde koalisyon boyutu bir eşikle sınırlandırılabildiğinde çok oyunculu mekanizmaların daha iyi oyun teorik analizi mümkün olmuştur. Altıncı olarak, bu sistemi teşvik edilmiş başkasına hesaplatma problemine çözümümüzde uygulamakta, teşvik uyumluluğunu göstermekteyiz.