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

10 Nisan 2024'te, 11. Sıfır Bilgi Zirvesi Atina'da gerçekleştirildi. Yaklaşık 500 katılımcı, dört paralel sunum oturumunu kapsayan bir günlük etkinliğe katıldı. Bu makale, zirvede en son sıfır bilgi donanımı, SNARK performansı ve merkeziyetsiz kanıt ağı tasarımı gibi konulardaki önemli gelişmeleri özetlemektedir.

Sıfır Bilgi Donanım Gelişimi

Donanım desteği, sıfır bilgi kanıtı topluluğunun önemli bir hedefi olmuştur. Ana sahnedeki iki konuşma, bu alandaki en son gelişmeleri özetledi:

Bir araştırmacı, sıfır bilgi donanımını kapsamlı bir şekilde inceleyerek ilgili şirketleri üç kategoriye ayırdı: genel donanım kullananlar, özel donanım üretenler ve merkeziyetsiz kanıt ağlarını yönetenler. zkVM'nin "nihai formunun" 1000 katlık bir hesaplama verimliliği artışını gerçekleştirebileceğini öngörüyor ve bunun Ethereum'un gelecekteki sürümleri üzerinde önemli bir etkisi olacağını belirtiyor. Ayrıca, kanıtlayıcılar ve doğrulayıcılar için resmi bir doğrulama yarışmasının yakında duyurulacağını ve ödülün 20 milyon dolara kadar yükselebileceğini de ekledi.

Bir şirketin kurucu ortağı, hem bir kanıt sistemi hem de donanım tasarlayan Binius sistemini tanıttı. Binius, ikili kule alanı ve sumcheck protokolünü kullanıyor. Ön testler, belirli 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 kanıt üretiminin (örneğin, Rollup'taki bir grup işlemin doğruluğunun doğrulanması) rekabetin yoğun olduğu merkeziyetsiz bir uzman kanıtlayıcı pazarı tarafından gerçekleştirileceğini genel olarak düşünmektedir.

Bir şirketin kurucu ortağı, yakında piyasaya sürecekleri doğrulayıcı ağı tartıştı. Farklı mekanizma tasarımlarını analiz etti ve rekabet veya madencilik temelli modellerin etkili olmayabileceğini düşündü. Tasarım hedefinin sırasıyla maliyetin en aza indirilmesi, gecikmenin en üst düzeye çıkarılması ve sansüre karşı dayanıklılık olması gerektiğini öne sürdü. İhaleye dayalı modelin en olası kazanan olduğunu öngördü ve nihayetinde mevcut blok inşa sürecine benzer bir yapıya sahip olabileceğini belirtti.

Bir üniversitenin doktora öğrencisi, kanıtlayıcı ağ ekonomisi üzerine yeni bir makaleyi tanıttı. İki taraflı müzayedelerin anlaşma etkisine kolayca maruz kaldığını belirterek, Proo-phi adında bir alternatif mekanizma önerdi ve yeni eşleştirme işlemleri ve kanıt mekanizmasını tanıttı.

Bir şirketin baş teknoloji sorumlusunun çok taraflı hesaplamayı destekleyen (MPC) ile ilgili kanıt pazarını tartıştı, özellikle de küçük müşteriler ile büyük kanıtlayıcılar arasında gizliliği nasıl koruyacaklarını ele aldı. MPC'deki lineer işlem maliyetlerini optimize etmek için kanıt sistemleri kombinasyonunun nasıl seçileceğini araştırdı.

Sıfır Bilgi Belgesi

Üç tartışma, mevcut kimlik sistemleri temelinde sıfır bilgi sertifikası oluşturma çabalarına odaklandı:

Bir şirketin kurucu ortağı, sıfır bilgi e-posta adresi sahiplik kanıtını tanıttı. Bu kanıtlar, belirli bir adrese gönderilen e-postaların DKIM imzasını doğrulamaya dayanıyor ve anonim para transferleri ile ihbar gibi uygulamalarda kullanılabilir.

Bir laboratuvar araştırmacısı, OpenID Connect'i geleneksel Web2 kimlik etkileşimi ile kullanan bir sistemi tartıştı. Bu sistem, Google veya Facebook hesaplarına para transferi gibi uygulamaları mümkün kılmaktadır.

Bir proje temsilcisi, mevcut elektronik pasaportlar temelinde anonim belgelerin nasıl oluşturulacağını tartıştı. Örneğin, kullanıcılar pasaport numarasını veya tam yaşını ifşa etmeden, Amerikan pasaportuna sahip olduklarını ve 25 yaşında olduklarını kanıtlayabilirler.