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

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 konuşma yapıldı. İşte sıfır bilgi donanımı, SNARK performansı ve kanıt ağı tasarımı gibi en son gelişmeleri kapsayan toplantının ana noktalarının bir özeti.

ZK Donanım Gelişimi

Donanım desteği, kanıt oluşturma konusunda endüstrinin odak noktalarından biri olmuştur. Konferansın açılışında yapılan iki konuşma, mevcut gelişim durumunu özetledi:

• Bir araştırmacı ZK donanımına kapsamlı bir bakış sundu ve bu alandaki şirketlerin sınıflandırmasını yaptı. Genel donanım kullanan şirketleri, özel donanım üreten şirketleri ve merkeziyetsiz kanıt ağlarını yöneten şirketleri belirtti. Optimize edilmiş zkVM'nin özel donanımlarla birleştirilmesinin, 1000 kat daha fazla hesaplama verimliliği sağlama potansiyeline sahip olduğunu öngördü; bu durum gelecekte Ethereum'un gelişimi üzerinde önemli bir etki yapabilir. Ayrıca, doğrulayı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 çıkacağını duyurdu.

• Bir şirketin kurucu ortağı Binius sistemini tanıttı ve aynı anda kanıt sistemleri ve donanım tasarımı felsefesini açıkladı. Binius, ikili kule alanı ve sumcheck protokolünü kullanıyor. İlk 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 beyanların kanıtlarının üretilmesinin (örneğin, Rollup'taki bir grup işlemin doğruluğunun doğrulanması) rekabetçi, merkeziyetsiz bir profesyonel kanıtlayıcı pazarında gerçekleştirileceğini genel olarak kabul ediyor.

• Bir şirketin kurucu ortağı, yakında piyasaya sürecekleri kanıtlayıcı ağı tartıştı. Çeşitli potansiyel mekanizma tasarımlarını analiz etti ve rekabet veya madencilik temelli tasarımın etkili olamayabileceğini düşündü. Tasarım hedefinin sırasıyla şunlar olması gerektiğini önerdi: maliyetin en aza indirilmesi, gecikmenin en üst düzeye çıkarılması ve sansüre karşı dayanıklılık. Açık artırma modelinin en olası ana akım haline geleceğini ve nihayetinde mevcut blok oluşturma yöntemine benzer olabileceğini öngördü.

• Bir doktora öğrencisi, kanıtlayıcı ağ ekonomisi üzerine yeni bir makaleyi tanıttı. İki taraflı müzayedenin, kanıtlayıcılar ve teklif verenler arasındaki gizli anlaşmalardan kolayca etkilenebileceğini belirtti. Bu nedenle, yeni eşleşme işlemleri ve kanıt mekanizması getiren Proo-phi adlı bir alternatif mekanizma önerdi.

• Bir şirketin teknik direktörü, çok taraflı hesaplama (MPC) destekleyen kanıt pazarını tartıştı; özellikle de 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ı. Kanıt sistemleri kombinasyonunu seçmenin yanı sıra, MPC'de maliyetleri minimize etmek için lineer hesaplamalar yapmakla ilgili olarak da araştırmalar yaptı.

ZK Sertifika Yeniliği

Toplantıda mevcut kimlik sistemlerine dayalı sıfır bilgi belgesi oluşturma çabaları da tartışıldı:

• Bir projenin kurucu ortağı, ZK e-posta adresi sahiplik kanıtını tanıttı. Bu kanıtlar, belirli bir adrese gönderilen e-postaların DKIM imzasının doğrulanmasına dayanır ve anonim para transferleri ve ihbar gibi senaryolara uygulanabilir.

• Bir şirketin araştırmacısı, OpenID connect ile geleneksel web2 kimliği etkileşimi teknolojisini açıkladı ve böylece Google veya Facebook hesaplarına para transferi gibi uygulamaların mümkün hale gelmesini sağladı.

• Bir proje temsilcisi, mevcut elektronik pasaportlardan belirli bir ülkenin pasaportuna sahip olunduğunu ve belirli bir yaşa ulaşıldığını kanıtlayan anonim belgelerin nasıl oluşturulacağı hakkında tartıştı, bunun için spesifik kişisel bilgileri ifşa etmeye gerek olmadan.

Bu yenilikler, sıfır bilgi kanıtı teknolojisinin kimlik doğrulama ve gizlilik koruma alanlarındaki uygulamaları için yeni olanaklar açmaktadır.