Sıfır Bilgi Zirvesi 2024: Yerinde Belgeleme

10 Nisan 2024'te, 11. Sıfır Bilgi Zirvesi Atina'da gerçekleştirildi. Bu zirve, Zero Knowledge podcast'i tarafından düzenlendi ve yaklaşık 500 katılımcı ile bir günde dört sunum yapıldı. Aşağıda zirvenin önemli konularının bir özeti yer almakta olup, en son sıfır bilgi donanımı, SNARK performansı ve kanıt ağı tasarımı gibi alanlardaki gelişmeleri kapsamaktadır.

ZK Donanım Gelişimi

Uzun bir süre boyunca, kanıt üretimini destekleyen donanım sektördeki ilgi odağı olmuştur. Bu zirvenin ana sahnesinde, bu alandaki en son gelişmeleri özetleyen iki konuşma yapıldı.

Bir vakfın araştırmacısı, ZK donanımına kapsamlı bir genel bakış sundu ve bu alandaki şirketlerin sınıflandırmasını yaptı. Bu şirketler, genel donanım kullanan şirketler, özel donanım üreten şirketler ve merkeziyetsiz kanıt ağlarını çalıştıran şirketler olarak ayrılmaktadır. zkVM'nin "nihai hedefinin" 1000 kat hesaplama verimliliği artışı sağlayabileceğini öngörüyor ve bu durumun gelecekteki blok zinciri teknolojisi üzerinde derin bir etki yaratacağını belirtiyor. Ayrıca, bir vakfın, kanıtlayıcılar ve doğrulayıcılar için resmi bir doğrulama yarışması duyuracağını, ödülün 20 milyon dolara kadar çıkabileceğini de ekledi.

Bir şirketin kurucu ortakları, aynı anda bir doğrulama sistemi ve donanım tasarımı yapma konseptini tartıştılar. Sistemleri, ikili kule alanları ve sumcheck protokolünü kullanıyor. Erken testlerden elde edilen ilginç bir sonuç, Groestl hash fonksiyonunun performansının Keccak'tan belirgin şekilde daha iyi olduğunu gösterdi; bu da bazı uygulamalarda Groestl kullanımının daha avantajlı olabileceği anlamına geliyor.

Merkeziyetsiz Kanıtlayıcı Ağı

Sektörde birçok kişi, büyük açıklamaların kanıt üretiminin (örneğin Rollup'taki bir dizi işlemin doğruluğu) rekabetçi ve merkeziyetsiz bir profesyonel kanıtlayıcı piyasası tarafından gerçekleştirileceği bir gelecek senaryosu hayal etti.

Bir şirketin kurucu ortağı, yakında piyasaya sürecekleri kanıtlayıcı ağa dair bilgi verdi. Merkeziyetsiz kanıtlayıcı ağların çeşitli potansiyel mekanizma tasarımlarını tartıştı ve yarışma veya madencilik temelli tasarımların ideal sonuçlar vermeyebileceğini öngördü. Tasarım hedefinin sırasıyla şunlar olması gerektiğini düşündü: maliyetin minimize edilmesi, gecikmenin maksimize edilmesi ve sansüre karşı dayanıklılık. İhraç/teminat modeli etkili olabilir, ancak açık artırma modeli en yüksek başarı şansına sahip olup, nihayetinde mevcut blok oluşturma modeline benzer bir sonuç doğurabilir.

Bir üniversitenin doktora öğrencisi, kanıtlayıcı ağ ekonomisi üzerine yeni bir makale tanıttı. İkili açık artırmaların, kanıtlayıcılar ve teklif sahipleri arasındaki anlaşmalardan etkilenme olasılığının yüksek olduğunu belirtti ve Proo-phi adında alternatif bir mekanizma önerdiler ve yeni bir eşleştirme ticareti ve kanıt mekanizması tanıttılar.

Bir şirketin baş teknoloji sorumlusu, çok taraflı hesaplamayı (MPC) destekleyen kanıt pazarını tartıştı, özellikle de MPC'yi küçük müşterilerin ve büyük kanıtlayıcıların arasındaki gizliliği korumak için nasıl kullanabileceğini ele aldı. MPC'de maliyetleri en aza indirmek için doğrulama sistemi kombinasyonlarının nasıl seçileceğini araştırdı.

ZK Belgesi

Zirvede mevcut kimlik sistemlerinden sıfır bilgi belgeleri oluşturma üzerine üç tartışma daha yapıldı, her biri farklı mevcut kimlik sistemlerine dayanıyordu.

Bir projenin kurucu ortakları, ZK e-posta adresi sahiplik kanıtını tartıştı. Bu kanıtlar, belirli bir adrese gönderilen e-postaların DKIM imzasının doğrulanmasına dayanmaktadır; DKIM, önde gelen e-posta sağlayıcıları tarafından yaygın olarak dağıtılmıştır. Bu teknoloji, e-posta adreslerine anonim para transferi veya anonim bildirim gibi çeşitli senaryolara uygulanabilir.

Bir laboratuvar araştırmacısı, OpenID connect ile geleneksel web2 kimliği etkileşimi kullanan bir projeyi tanıttı. Bu proje mevcut OpenID sağlayıcıları ile etkileşimde bulunabilir ve kullanıcıların belirli bir adresi kontrol ettiğini kanıtlayarak sosyal medya hesaplarına para transferine benzer uygulamaları gerçekleştirebilir.

Bir proje ekip üyesi, mevcut elektronik pasaportlardan nasıl anonim belgeler oluşturulacağı hakkında tartıştı. Örneğin, kullanıcılar, belirli bir ülkenin pasaportuna sahip olduklarını ve belirli bir yaşı doldurduklarını, pasaport numarasını veya kesin yaşı açıklamadan kanıtlayabilirler.

Bu tartışmalar, sıfır bilgi kanıtı teknolojisinin kimlik doğrulama ve gizlilik koruma konusundaki geniş uygulama perspektiflerini göstermekte ve gelecekteki dijital kimlik yönetimi için yeni olanaklar sunmaktadır.