Sıfır Bilgi Zirvesi 2024: Canlı Rapor

2024 yılı Nisan ayının 10'unda, 11. Sıfır Bilgi Zirvesi Atina'da gerçekleştirildi. Yaklaşık 500 katılımcının yer aldığı bu bir günlük etkinlikte dört sunum yapıldı. Aşağıda zirvenin ana noktalarına dair bir özet bulunmaktadır; bu özet, en son sıfır bilgi donanımı, SNARK performansı ve merkeziyetsiz kanıt ağı tasarımı gibi konuları kapsamaktadır.

ZK Donanım Gelişimi

Kanıt oluşturma donanım desteği, sıfır bilgi alanının önemli bir hedefi olmaya devam etmektedir. Ana sahnedeki iki rapor, mevcut gelişim durumunu özetlemektedir:

Bir araştırmacı, ZK donanımına kapsamlı bir genel bakış sundu ve bu alandaki şirketlerin sınıflandırmasını yaptı. Genel donanım kullanan şirketler, özel donanım üreten şirketler ve merkeziyetsiz bir kanıt ağı yürüten şirketleri belirtti. Optimize edilmiş zkVM sisteminin 1000 kat daha fazla hesaplama verimliliği sağlama potansiyeline sahip olduğunu ve bunun gelecekteki Ethereum sürümleri üzerinde önemli bir etkisi olacağını öngördü. Ayrıca, çoğu kanıtın Groth16 yapısını kullanabileceğini belirtti ve yakında yapılacak bir kanıtlayıcı ve doğrulayıcı resmi doğrulama yarışmasını duyurdu.

Bir şirketin kurucu ortağı, hem kanıt sistemini hem de donanımı tasarlayan Binius sistemini tanıttı. Binius, ikili kule alanı ve sumcheck protokolünü kullanıyor. İlginç bir şekilde, erken testler Groestl hash fonksiyonunun bazı uygulamalarda Keccak'tan daha avantajlı olabileceğini gösterdi.

Merkeziyetsiz Kanıtlayıcı Ağı

Pek çok sektörden kişi, gelecekte büyük raporların kanıtlarının, rekabetin yoğun olduğu merkeziyetsiz bir uzman kanıtlayıcı pazarında üretileceğini öngörüyor.

Bir şirketin kurucu ortağı, yakında piyasaya sürecekleri doğrulayıcı ağlarını tartıştı. Çeşitli potansiyel mekanizma tasarımlarını analiz etti ve rekabete veya madenciliğe dayalı tasarımların ideal sonuçlar getirmeyebileceğini düşündü. Tasarım hedeflerinin sırasıyla şunlar olması gerektiğini öne sürdü: maliyetin en aza indirilmesi, gecikmenin en üst düzeye çıkarılması ve sansüre karşı dayanıklılık. İhaleye dayalı modelin en başarılı olma olasılığının yüksek olduğunu öngördü ve nihayetinde bugünkü blok inşasına benzer olabileceğini öngördü.

Bir üniversitenin doktora öğrencisi, kanıtlayıcı ağ ekonomisi hakkında yeni bir makaleyi tanıttı. İkili açık artırmanın anlaşma etkisine kolayca maruz kaldığını belirtti ve Proo-phi adında bir alternatif mekanizmayı tanıttı; bu mekanizma yeni eşleştirme işlemleri ve kanıt mekanizmaları tanıttı.

Bir şirketin baş teknoloji sorumlusunun çok taraflı hesaplama (MPC) ile ilgili kanıt pazarını destekleme konusunu tartıştı, özellikle küçük müşteriler ve büyük kanıtlayıcılar arasında gizliliği nasıl koruyacağını ele aldı. MPC'deki doğrulama sistemleri kombinasyonunu seçerek doğrulama sistemlerinin doğrusal işlemlerini optimize etme ve maliyetleri en aza indirme yöntemlerini araştırdı.

ZK Belge Yeniliği

Üç tartışma, mevcut kimlik sistemlerinden sıfır bilgi kanıtları oluşturma çabalarına odaklandı:

Bir projenin ortak kurucusu, e-posta tabanlı sıfır bilgi kimlik mülkiyet kanıtını tanıttı. Bu kanıtlar, belirli bir adresin e-posta DKIM imzasının doğrulanmasına dayanmakta olup, anonim e-posta transferi gibi uygulamalar için kullanılabilir.

Bir laboratuvar araştırmacısı, OpenID Connect'i geleneksel web2 kimlik etkileşimleri ile kullanma teknolojisini tartıştı. Bu, Google veya Facebook hesaplarına para transferi gibi uygulamaların mümkün olmasını sağladı.

Bir proje üyesi, mevcut elektronik pasaportlardan anonim belgeler oluşturmanın yollarını tartıştı. Örneğin, kullanıcılar belirli bir ülkenin pasaportuna sahip olduklarını ve belirli bir yaşı aştıklarını kanıtlayabilirler, ancak özel kişisel bilgileri ifşa etmeden.

Bu yenilikler, gizliliği korurken kimlik doğrulama konusunda yeni olasılıkları açmakta ve birçok alanda geniş uygulamalar yaratma potansiyeline sahiptir.