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

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

ZK Donanım Gelişimi

Sıfır bilgi kanıtı üretilen donanım desteği her zaman sektördeki ilgi odağı olmuştur. Ana salondaki iki rapor, bu alandaki en son gelişmeleri özetliyor:

• Bir araştırmacı, genel donanım kullanımı, özel donanım üretimi ve merkezi olmayan kanıt ağını çalıştıran şirketler dahil olmak üzere ZK donanımı üzerine kapsamlı bir özet sundu. Donanım optimizasyonu ile SNARK doğrulama sistemleri ve diğer yaklaşan optimizasyonlarla, zkVM'nin 1000 kat daha fazla hesaplama verimliliği elde edebileceğini öngörüyor; bu durum, Ethereum'un gelecekteki sürümleri üzerinde önemli bir etki yaratacak. Ayrıca, kanıtlayıcılar ve doğrulayıcılar için resmi bir doğrulama yarışması düzenleneceğini ve ödülün 20 milyon dolara kadar çıkabileceğini belirtti.

• Bir şirketin kurucu ortağı, Binius sistemini tanıttı ve aynı zamanda kanıt sistemi ile donanım tasarımı fikrini anlattı. Binius, ikili kule alanı ve sumcheck protokolünü kullanıyor. İlginç bir şekilde, erken testler, Groestl hash fonksiyonunun bazı uygulamalardaki performansının Keccak'tan belirgin şekilde daha iyi olduğunu gösterdi.

Merkeziyetsiz Kanıtlayıcı Ağı

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

• Bir şirketin kurucu ortağı, yakında piyasaya sürülecek olan doğrulayıcı ağı hakkında tartıştı. Çeşitli potansiyel mekanizma tasarımlarını analiz etti ve rekabet veya madencilik temelli tasarımların muhtemelen kötü sonuçlar verebileceğini düşündü. Tasarım hedefinin sırasıyla şu 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 muhtemel başarılı olacağını öngördü, gelecekte bugünkü blok oluşturma süreçlerine benzer olabilir.

• Bir üniversitenin doktora öğrencisi, kanıtlayıcı ağ ekonomisi üzerine yeni bir makaleyi tanıttı. İkili açık artırmaların, kanıtlayıcılar ve teklif verenler arasındaki anlaşmalardan nasıl etkilendiğini belirtti ve Proo-phi adında alternatif bir mekanizma önerdi; bu mekanizma yeni eşleştirme işlemleri ve kanıt mekanizmaları getirdi.

• Bir şirketin baş teknoloji sorumlusunun ç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ındaki gizliliği korumak için nasıl kullanacağını. Kanıt sistemleri kombinasyonunun nasıl seçileceğini ve MPC'de maliyetleri en aza indirmek için lineer işlemler gerçekleştirmeyi araştırdı.

ZK Belge Yeniliği

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

• Bir projenin kurucu ortağı, belirli bir adresin e-posta DKIM imzası bilgisine dayanan ZK e-posta adresi mülkiyet kanıtını tanıttı. Bu teknoloji, e-posta adreslerine para göndermek, anonim bildirimde bulunmak gibi senaryolarda uygulanabilir.

• Bir laboratuvar araştırmacısı, OpenID connect ile geleneksel web2 kimlik etkileşimi teknolojisini tartıştı. Bu, Google veya Facebook hesaplarına para transferi gibi uygulamaların mümkün hale gelmesini sağladı.

• Bir proje üyesi, mevcut elektronik pasaportlardan anonim sertifikalar nasıl oluşturulacağını tartıştı. Örneğin, kullanıcı belirli bir ülkeden pasaport sahibi olduğunu ve belirli bir yaşı doldurduğunu, özel bilgileri açıklamadan kanıtlayabilir.

Bu yenilikler, sıfır bilgi teknolojisinin kimlik doğrulama ve gizlilik korumasındaki büyük potansiyelini göstermekte ve gelecekteki dijital kimlik yönetimi için yeni fikirler sunmaktadır.