Joseph Bonneau, 13 Nisan 2024'te 11. Sıfır Bilgi Zirvesi (zkSummit) ile ilgili bir yerinde rapor yayımladı. Zirve, 10 Nisan'da Atina'da gerçekleştirildi ve yaklaşık 500 katılımcı bulundu. Toplantıda sıfır bilgi donanımı, SNARK performansı ve kanıt ağı tasarımı gibi en son gelişmeleri kapsayan dört konuşma yapıldı.
Sıfır Bilgi Donanımı
Donanımın kanıt üretimini destekleme konusundaki önemi sektörün dikkatini çeken bir nokta olmuştur. Ana sahnedeki iki konuşma, bu alandaki en son gelişmeleri özetledi.
Bir araştırmacı, genel donanım kullanımı, özel donanım üretimi ve merkeziyetsiz kanıt ağlarını yöneten şirketler dahil olmak üzere sıfır bilgi donanımına kapsamlı bir bakış sundu. Optimize edilmiş zkVM sistemlerinin 1000 kat hesaplama verimliliği artışı sağlayabileceğini öngörüyor ve bunun Ethereum'un gelecekteki sürümleri üzerinde önemli bir etkisi olacağını belirtiyor. Ayrıca, doğrulayıcılar ve kanıtlayıcılar için resmi bir yarışma düzenleneceğini 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. Erken testler, belirli uygulamalarda Groestl hash fonksiyonunun performansının Keccak'tan belirgin şekilde daha iyi olduğunu ortaya koydu.
Merkeziyetsiz Kanıtlayıcı Ağı
Sektör uzmanları, gelecekte büyük beyanların kanıtlarının (, Rollup içinde bir grup işlemin doğruluğunun ), rekabetçi ve merkeziyetsiz bir uzman kanıtlayıcı pazarında gerçekleştirileceğini genel olarak kabul ediyor.
Bir şirketin kurucu ortağı, merkeziyetsiz kanıtlayıcı ağların çeşitli potansiyel mekanizma tasarımlarını tartıştı. 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 düşünüyor. İhale modelinin en başarılı olma olasılığının en yüksek olduğunu öngörüyor ve bu durumun nihayetinde mevcut blok oluşturma modeline benzer olabileceğini belirtiyor. Şirketinin birden fazla zkVM'in kanıtlarını destekleyen genel bir ihale ağı inşa ettiğini açıkladı.
Bir üniversitenin doktora öğrencisi, kanıtlayıcı ağ ekonomisi üzerine yeni bir makaleyi tanıttı. İkili müzayede sisteminin anlaşmalı eylemlerden etkilenebileceğini belirtti ve Proo-phi adında bir alternatif 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 kullanacaklarını ele aldı. Maliyetleri en aza indirmek için doğrulama sistemleri kombinasyonunu nasıl seçeceğini araştırdı.
Sıfır Bilgi Kanıtı
Üç tartışma, mevcut kimlik sistemlerinden sıfır bilgi belgeleri oluşturma çabalarına odaklandı ve her bir çözüm farklı bir kimlik sistemine dayanıyordu.
Bir projenin ortak kurucusu, sıfır bilgiyle e-posta adresi sahipliğini kanıtlamayı tanıttı. Bu kanıtlar, belirli bir adrese gönderilen e-postaların DKIM imzasının doğrulanmasına dayanır. Sıfır bilgi ile bir kullanıcının e-posta adresini kontrol edip etmediğini kanıtlamak için birçok uygulama mevcuttur; bunlar arasında e-posta adresine para göndermek ve anonim ihbarlarda bulunmak gibi işlemler bulunmaktadır.
Bir şirketin araştırma bilim insanları, OpenID connect ile geleneksel web2 kimlik etkileşimi kullanan bir sistemi tartıştı. Bu sistem, mevcut OpenID sağlayıcıları ile etkileşime girerek, kullanıcıların belirli bir adresi kontrol ettiklerini kanıtlar ve böylece Google veya Facebook hesaplarına para transferi gibi uygulamaları mümkün kılar.
Bir proje üyesi, mevcut elektronik pasaportlardan anonim bir sertifika nasıl oluşturulacağını tartıştı. Örneğin, kullanıcılar, pasaport numarasını veya kesin yaşını açıklamadan, sahip oldukları Amerikan pasaportunu ve 25 yaşında olduklarını kanıtlayabilirler.
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
17 Likes
Reward
17
9
Share
Comment
0/400
MoneyBurnerSociety
· 07-15 10:21
Yine para kaybetme formülü üzerine çalışıyorlar.
View OriginalReply0
UnluckyLemur
· 07-15 05:15
500 kişinin gerçekten de az olmadığını söyleyebilirim.
View OriginalReply0
FlatlineTrader
· 07-14 22:41
Donanım yükseltmesi hızla ivmelendi.
View OriginalReply0
ValidatorViking
· 07-14 08:51
sadece savaş testinden geçmiş düğümler... geri kalanı sadece gürültü fr
View OriginalReply0
NftCollectors
· 07-12 11:01
Web3 dijital sanat boyutundan bakıldığında, ZK teknolojisi kesinlikle on-chain değer sanatının temeli haline gelecektir. Bu ilişki, Davit'in Rönesans üzerindeki etkisi kadar önemlidir. On-chain veriler kısa sürede bunu kanıtlayacak. ZK mekanizmasının getirdiği sanat gizliliği devrimine güveniyorum. Bu 500 kişi arasında %87'si de kurumsal Büyük Yatırımcılar bunu izliyor.
Sıfır Bilgi Zirvesi 2024: Donanım Atılımları ve Merkeziyetsizlik Kanıt Ağı Gündem Maddesi
Sıfır Bilgi Zirvesi 2024: Yerinde Rapor
Joseph Bonneau, 13 Nisan 2024'te 11. Sıfır Bilgi Zirvesi (zkSummit) ile ilgili bir yerinde rapor yayımladı. Zirve, 10 Nisan'da Atina'da gerçekleştirildi ve yaklaşık 500 katılımcı bulundu. Toplantıda sıfır bilgi donanımı, SNARK performansı ve kanıt ağı tasarımı gibi en son gelişmeleri kapsayan dört konuşma yapıldı.
Sıfır Bilgi Donanımı
Donanımın kanıt üretimini destekleme konusundaki önemi sektörün dikkatini çeken bir nokta olmuştur. Ana sahnedeki iki konuşma, bu alandaki en son gelişmeleri özetledi.
Bir araştırmacı, genel donanım kullanımı, özel donanım üretimi ve merkeziyetsiz kanıt ağlarını yöneten şirketler dahil olmak üzere sıfır bilgi donanımına kapsamlı bir bakış sundu. Optimize edilmiş zkVM sistemlerinin 1000 kat hesaplama verimliliği artışı sağlayabileceğini öngörüyor ve bunun Ethereum'un gelecekteki sürümleri üzerinde önemli bir etkisi olacağını belirtiyor. Ayrıca, doğrulayıcılar ve kanıtlayıcılar için resmi bir yarışma düzenleneceğini 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. Erken testler, belirli uygulamalarda Groestl hash fonksiyonunun performansının Keccak'tan belirgin şekilde daha iyi olduğunu ortaya koydu.
Merkeziyetsiz Kanıtlayıcı Ağı
Sektör uzmanları, gelecekte büyük beyanların kanıtlarının (, Rollup içinde bir grup işlemin doğruluğunun ), rekabetçi ve merkeziyetsiz bir uzman kanıtlayıcı pazarında gerçekleştirileceğini genel olarak kabul ediyor.
Bir şirketin kurucu ortağı, merkeziyetsiz kanıtlayıcı ağların çeşitli potansiyel mekanizma tasarımlarını tartıştı. 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 düşünüyor. İhale modelinin en başarılı olma olasılığının en yüksek olduğunu öngörüyor ve bu durumun nihayetinde mevcut blok oluşturma modeline benzer olabileceğini belirtiyor. Şirketinin birden fazla zkVM'in kanıtlarını destekleyen genel bir ihale ağı inşa ettiğini açıkladı.
Bir üniversitenin doktora öğrencisi, kanıtlayıcı ağ ekonomisi üzerine yeni bir makaleyi tanıttı. İkili müzayede sisteminin anlaşmalı eylemlerden etkilenebileceğini belirtti ve Proo-phi adında bir alternatif 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 kullanacaklarını ele aldı. Maliyetleri en aza indirmek için doğrulama sistemleri kombinasyonunu nasıl seçeceğini araştırdı.
Sıfır Bilgi Kanıtı
Üç tartışma, mevcut kimlik sistemlerinden sıfır bilgi belgeleri oluşturma çabalarına odaklandı ve her bir çözüm farklı bir kimlik sistemine dayanıyordu.
Bir projenin ortak kurucusu, sıfır bilgiyle e-posta adresi sahipliğini kanıtlamayı tanıttı. Bu kanıtlar, belirli bir adrese gönderilen e-postaların DKIM imzasının doğrulanmasına dayanır. Sıfır bilgi ile bir kullanıcının e-posta adresini kontrol edip etmediğini kanıtlamak için birçok uygulama mevcuttur; bunlar arasında e-posta adresine para göndermek ve anonim ihbarlarda bulunmak gibi işlemler bulunmaktadır.
Bir şirketin araştırma bilim insanları, OpenID connect ile geleneksel web2 kimlik etkileşimi kullanan bir sistemi tartıştı. Bu sistem, mevcut OpenID sağlayıcıları ile etkileşime girerek, kullanıcıların belirli bir adresi kontrol ettiklerini kanıtlar ve böylece Google veya Facebook hesaplarına para transferi gibi uygulamaları mümkün kılar.
Bir proje üyesi, mevcut elektronik pasaportlardan anonim bir sertifika nasıl oluşturulacağını tartıştı. Örneğin, kullanıcılar, pasaport numarasını veya kesin yaşını açıklamadan, sahip oldukları Amerikan pasaportunu ve 25 yaşında olduklarını kanıtlayabilirler.