Sıfır Bilgi Zirvesi 2024: Yerinde Gözlem

10 Nisan 2024'te, 11. Sıfır Bilgi Zirvesi Atina'da gerçekleştirildi. Yaklaşık 500 katılımcı bir günlük etkinliğe katıldı ve dört sunum yapıldı. Aşağıda zirvenin odak noktalarının özeti yer almakta olup, sıfır bilgi donanımı, SNARK performansı ve merkeziyetsiz kanıt ağı tasarımı gibi en son gelişmeleri kapsamaktadır.

Sıfır Bilgi Donanımı

Donanım desteği, sıfır bilgi kanıtları alanında önemli bir hedef olmaya devam etmektedir. Ana sahnedeki iki konuşma, bu alandaki en son gelişmeleri özetlemektedir:

Bir araştırmacı, genel donanım kullanan şirketler, özel donanım üreten şirketler ve merkeziyetsiz kanıt ağları işleten şirketler dahil olmak üzere, sıfır bilgi donanımı hakkında kapsamlı bir inceleme yaptı. Donanım optimizasyonu ile desteklenen SNARK doğrulama sistemleri gibi teknolojilerin yardımıyla, zkVM'nin 1000 kat hesaplama verimliliği artışı sağlayabileceğini öngörüyor; bu, Ethereum'un gelecekteki sürümleri üzerinde önemli bir etki yaratabilir. Ayrıca, çoğu kanıtın Groth16 paketini benimseyebileceğini de belirtti.

Bir diğer uzman, kanıt sistemleri ve donanım tasarımını aynı anda yapma konseptini tartıştı. Sistemleri, ikili kule alanı ve sumcheck protokolünü kullanıyor. Ön testler, bazı uygulamalarda Groestl hash fonksiyonunun performansının Keccak'tan belirgin şekilde daha iyi olduğunu gösterdi.

Merkeziyetsiz Kanıtlayıcı Ağı

Sektör uzmanları, gelecekte büyük ölçekli kanıt üretiminin (örneğin Rollup'taki toplu işlemlerin doğruluğunu doğrulama) rekabetçi bir merkeziyetsiz uzman kanıtlayıcı pazarında gerçekleştirileceğini öngörüyor.

Bir şirketin kurucu ortağı, yakında piyasaya sürecekleri doğrulayıcı ağı tanıttı. Çeşitli potansiyel mekanizma tasarımlarını tartıştı ve rekabete veya madenciliğe dayalı tasarımların muhtemelen etkili olmayabileceğini belirtti. Tasarım hedeflerinin sırasıyla şunlar olması gerektiğini vurguladı: maliyetlerin en aza indirilmesi, gecikmenin en üst düzeye çıkarılması ve sansüre karşı dayanıklılık. Yayınlama/ staking modelinin etkili olabileceğini ancak ihale modelinin en yüksek başarı şansına sahip olduğunu ve nihayetinde günümüz blok inşasına benzer olabileceğini öngördü.

Bir doktora öğrencisi, kanıtlayıcı ağ ekonomisi üzerine yeni bir makale tanıttı. İki taraflı müzayedenin, kanıtlayıcılar ve teklif sahipleri arasındaki anlaşmalardan kolayca etkilenebileceğini belirtti. Bu nedenle, yeni eşleştirme ticareti ve kanıtlama mekanizmasını tanıtan Proo-phi adında bir alternatif mekanizma önerdiler.

Diğer bir uzman, çok taraflı hesaplama (MPC) destekleyen kanıt pazarını tartıştı, özellikle MPC'yi küçük müşteriler ve büyük kanıtlayıcılar arasında gizliliği korumak için nasıl kullanacaklarını ele aldı. MPC'deki maliyetleri minimize etmek için doğrulama sistemi kombinasyonlarının nasıl seçileceğini araştırdı.

Sıfır Bilgi Belgesi

Toplantıda mevcut kimlik sistemlerinden sıfır bilgi belgeleri oluşturma çabaları da tartışıldı:

• Bir proje, DKIM imzasına dayanan sıfır bilgi e-posta adresi sahipliği kanıtı geliştirmeye kendini adamıştır.
• Başka bir proje, OpenID bağlantısını kullanarak geleneksel web2 kimlikleriyle etkileşimde bulunuyor, bu sayede Google veya Facebook hesaplarına para gönderme gibi uygulamalar mümkün hale geliyor.
• Üçüncü proje, belirli bir ülkenin pasaportuna ve yaşa sahip olunduğunu kanıtlamak gibi mevcut elektronik pasaportlardan anonim belgeler nasıl oluşturulacağını tartışmaktadır, bu süreçte spesifik bilgilerin ifşa edilmesine gerek kalmadan.

Bu gelişmeler, sıfır bilgi kanıtı teknolojisinin kimlik doğrulama ve gizlilik koruma konusundaki büyük potansiyelini göstermekte ve gelecekteki uygulamalar için yeni olanaklar açmaktadır.