Zero Knowledge Summit 2024: Sıfır Bilgi Zirvesi Gözlemleri

10 Nisan 2024'te, 11. Sıfır Bilgi Zirvesi Atina'da gerçekleştirildi. Yaklaşık 500 katılımcı bir araya gelerek bir gün süren dört paralel oturuma katıldı. Bu makalede, zirvede sıfır bilgi donanımı, SNARK performansı ve merkeziyetsiz kanıt ağı tasarımı gibi konulardaki en son gelişmeler özetlenmiştir.

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

Donanım desteği, sıfır bilgi kanıtı topluluğunun odak noktası olmaya devam ediyor. Konferansın açılışında yapılan iki ana konuşma, bu alandaki en son gelişmeleri özetledi:

Bir araştırmacı, sıfır bilgi donanımını kapsamlı bir şekilde ele aldı ve ilgili şirketleri üç kategoriye ayırdı: genel donanım kullanan şirketler, özel donanım üreten şirketler ve merkeziyetsiz kanıt ağlarını yöneten şirketler. Donanım optimizasyonu sonrası SNARK doğrulama sistemleri gibi teknolojilerin 1000 kat performans artışı sağlaması bekleniyor ve bu durum Ethereum'un gelecekteki gelişimi üzerinde önemli bir etki yaratacak. Ayrıca, bir vakfın resmi doğrulayıcılar ve doğrulayıcılar için bir yarışma düzenlemeyi planladığı ve ödülün 20 milyon dolara kadar yükselebileceği belirtildi.

Bir şirketin kurucu ortağı, hem kanıt sistemini hem de donanım tasarımını optimize eden Binius sistemlerini tanıttı. Binius, ikili kule alanı ve sumcheck protokolünü kullanmaktadır. İlk testler, belirli uygulama senaryolarında Groestl hash fonksiyonunun performansının Keccak'tan belirgin şekilde üstün olduğunu göstermektedir. Bu bulgu, gelecekteki sistem tasarım seçimlerini etkileyebilir.

Merkeziyetsiz Doğrulayıcı Ağı

Birçok sektör uzmanı, gelecekte büyük ölçekli sunumların kanıtlarının ( gibi Rollup içindeki bir grup işlemin doğruluk kanıtının ), rekabetçi bir merkeziyetsiz profesyonel kanıtlayıcı pazar tarafından gerçekleştirileceğini öngörüyor.

Bir şirketin kurucu ortağı, yakında piyasaya sürecekleri kanıtlayıcı ağ hakkında bilgi verdi. Merkezsiz kanıtlayıcı ağın çeşitli potansiyel mekanizma tasarımlarını analiz etti ve rekabet veya madencilik temelli tasarımların istenen sonuçları elde etmede zorlanabileceğini düşündü. Tasarım hedeflerinin sırasıyla şunlar olması gerektiğini öne sürdü: maliyetin en az düzeye indirilmesi, gecikmenin en üst düzeye çıkarılması ve sansüre karşı dayanıklılık. İhaleye dayalı modelin en yaygın hale gelme olasılığının en yüksek olduğunu ve nihayetinde mevcut blok oluşturma mekanizmasına benzer olabileceğini tahmin etti.

Bir üniversitenin doktora öğrencisi, yeni yayımlanan bir makaleyi tanıttı; bu makale, kanıtlayıcı ağ ekonomisi hakkındadır. İki taraflı müzayedenin, kanıtlayıcılar ve teklif verenler arasındaki iş birliğinden kolayca etkilenebileceğini belirtti ve Proo-phi adında alternatif bir mekanizma önerdi; bu mekanizma, yeni eşleştirme işlemleri ve kanıt mekanizmaları getirmektedir. Ancak, Proo-phi mekanizmasının kapasite parametrelerinin ayarlanması gerekmektedir; bu, görünüşe göre önemli bir açık tasarım sorunudur.

Bir şirketin baş teknoloji sorumlusunun çok partili hesaplamayı destekleyen 证明市场 (MPC) hakkında, özellikle de küçük müşteriler ile büyük kanıtlayıcılar arasında gizliliği korumak için MPC'yi nasıl kullanacaklarını tartıştı. Kanıt sistemleri kombinasyonunu nasıl seçeceklerini ve MPC'de maliyeti minimize edecek şekilde doğrusal işlemleri gerçekleştirmeyi araştırdı.

Sıfır Bilgi Belgesi

Toplantıda mevcut kimlik sistemine dayalı olarak sıfır bilgi belgesi oluşturma konusundaki çeşitli denemeler de tartışıldı:

Bir projenin ortak kurucusu, sıfır bilgi e-posta adresi sahipliği 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. Bu teknoloji, e-posta adreslerine anonim para transferi, anonim ihbar gibi senaryolar için uygulanabilir.

Bir şirketin araştırmacıları, OpenID connect ile geleneksel Web2 kimlik sistemleriyle etkileşimde bulunan Keyless projelerini paylaştılar. Bu, Google veya Facebook hesaplarına para göndermek gibi uygulamaları mümkün kılıyor.

Bir proje üyesi, mevcut elektronik pasaportlara dayanarak 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 ulaştıklarını kanıtlayabilirler; ancak tam pasaport numarasını veya kesin yaşı açıklamak zorunda kalmazlar.

Genel olarak, bu zirve sıfır bilgi kanıtı teknolojisinin donanım desteği, ağ tasarımı ve kimlik doğrulama gibi alanlardaki en son ilerlemelerini sergiledi ve bu alanın gelecekteki gelişimi için umut verici bir plan çizdi.