Sıfır Bilgi Zirvesi 2024: Canlı Kayıt

Joseph Bonneau, araştırma ortağı ve New York Üniversitesi'nde yardımcı doçent, 10 Nisan'da Atina'da düzenlenen 11. Sıfır Bilgi Zirvesi'ne katıldı. Bu etkinlik yaklaşık 500 katılımcıyı kendine çekti ve bir gün içinde aynı anda dört sunum gerçekleştirildi. Aşağıda Bonneau'nun sıfır bilgi donanımı, SNARK performansı ve kanıt ağ tasarımı konusundaki en son gelişmeleri kapsayan raporunun özeti bulunmaktadır.

ZK Donanımı

Donanım desteğinin kanıt üretimi için sağlanması, topluluğun uzun vadeli hedeflerinden biri olmuştur. Ana sahnedeki ilk iki konuşma, bu alandaki en son gelişmeleri özetledi.

Bir araştırmacı, ZK donanımına kapsamlı bir genel bakış sunarak bu alandaki şirketlerin sınıflandırmasını yaptı. Genel donanım kullanan şirketler, özel donanım üreten şirketler ve merkeziyetsiz kanıt ağlarını işleten şirketleri sıraladı. Donanım optimizasyonuna sahip SNARK doğrulama sistemleri ve diğer yakında gelecek optimizasyonların yanı sıra özel donanımın, Ethereum'un nihai versiyonunu etkileyebilecek şekilde 1000 katlık bir hesaplama verimliliği artışı sağlayabileceğini öngördü. Ayrıca, kanıtlayıcılar ve doğrulayıcılar için resmi bir doğrulama yarışmasının açıklanacağını ve ödülün 20 milyon dolara kadar çıkacağını belirtti.

Bir şirketin kurucu ortakları, aynı anda kanıtlama sistemleri ve donanım tasarlama kavramını tartıştılar. Sistemleri ikili kule alanları ve sumcheck protokolü kullanıyor. Erken testler, belirli uygulamalarda Groestl hash fonksiyonunun Keccak'dan belirgin şekilde daha iyi performans gösterdiğini ortaya koydu.

Merkeziyetsiz Kanıtlayıcı Ağı

Birçok sektör uzmanı, gelecekte büyük raporların kanıt üretiminin (örneğin, Rollup içindeki bir grup işlemin doğruluğu) rekabetçi, merkeziyetsiz bir uzman kanıtlayıcı pazarında gerçekleştirileceğini öngörüyor.

Bir şirketin kurucu ortağı, yakında piyasaya sürmeyi planladıkları doğrulayıcı ağı tanıttı. Çeşitli potansiyel mekanizma tasarımlarını tartıştı ve yarışma veya madencilik tabanlı tasarımların muhtemelen iyi çalışmayacağını düşündü. Tasarım hedeflerinin sırasıyla en düşük maliyet, en yüksek gecikme ve sansüre dayanıklılık olması gerektiğini öne sürdü. Dağıtım/teminat modeli muhtemelen etkili olabilir, ancak ihale modeli en başarılı olma olasılığı en yüksek olanıdır ve nihayetinde bugünkü blok inşasına benzer olabilir.

Yale Üniversitesi doktora öğrencisi, kanıtlayıcı ağ ekonomisi üzerine yeni bir makaleyi tanıttı. İkili müzayede sisteminin, kanıtlayıcılar ve teklif sahipleri arasındaki işbirliğinden kolayca etkilenebileceğini belirtti ve yeni eşleştirme işlemleri ve kanıt mekanizmaları getiren Proo-phi adında bir alternatif mekanizma önerdi.

Bir şirketin baş teknoloji sorumlusunun, özellikle küçük müşteriler ile büyük kanıtlayıcılar arasında gizliliği korumak için MPC'yi kullanarak çok taraflı hesaplamayı (MPC) destekleyen kanıt pazarını tartıştı. Maliyetleri en aza indirmek için doğrulama sistemleri kombinasyonu seçmenin yollarını araştırdı.

ZK Belgesi

Üç farklı konuşma, mevcut kimlik sistemlerinden sıfır bilgi belgeleri oluşturma çabalarını tartıştı.

Bir şirketin kurucu ortağı ZK e-posta adresi sahiplik kanıtını tanıttı. Bunlar, belirli bir adrese gönderilen e-postaların DKIM imzasına dair bilgiyi gerektirir. ZK, kullanıcıların e-posta adresini kontrol edip etmediğini kanıtlamak için birçok uygulama sunabilir; bunlar arasında e-posta adresine para göndermek ve anonim ihbar yapmak gibi işlemler bulunmaktadır.

Bir laboratuvarın araştırma bilim insanları, OpenID Connect'in geleneksel web2 kimlik etkileşimi ile kullanımını tartıştılar. Bu teknoloji, mevcut OpenID sağlayıcıları ile etkileşimde bulunarak kullanıcıların belirli bir adresi kontrol ettiğini kanıtlamaktadır; böylece Google veya Facebook hesaplarına para transferi gibi uygulamalar mümkün hale gelmektedir.

Bir şirket temsilcisi, mevcut elektronik pasaportlardan anonim sertifikalar oluşturmanın yollarını tartıştı. Örneğin, kullanıcılar, pasaport numarasını veya kesin yaşı ifşa etmeden, belirli bir ülke pasaportuna sahip olduklarını ve belirli bir yaşı doldurduklarını kanıtlayabilirler.