1/ Yutturmacaya dikkat edin: SNARK'lar ve zkVM'ler muazzam bir umut vaat etse de, karmaşık, yüksek riskli dağıtımlar için hazır değiller. Hatalar her yerdedir, resmi doğrulama yeni ortaya çıkmaktadır ve kanıtlar yerel yürütmeden yüz binlerce kat daha yavaş olabilir.

2/ Az önce zkVM geliştirme için yapılandırılmış bir yol haritasını özetleyen bir gönderi yayınladım. "Güvenlik aşamalarını" "hız aşamalarından" ayırarak ilerlemeyi izlememiz için bize şeffaf bir yol sunar. Buradan okuyun:

3/ Güvenlik konusunda, resmi doğrulama için üç aşama belirliyorum: • Doğrulanmış protokoller • Doğrulanmış doğrulayıcılar • Doğrulanmış kanıtlar Aşama 2'ye ulaşana kadar, bir zkVM'yi gerçekten "güvenli" olarak adlandıramayız ve oraya ulaşmak muhtemelen birkaç yıl daha var.

4/ Performans konusunda, genel giderler ve yerel yürütme hala 100.000×'yi aşıyor - çoğu kullanım durumu için başlatıcı değil. Gönderim, bu ek yükü büyüklük sırasına göre azaltmak ve sonunda cihaz üzerinde provaları etkinleştirmek için beş "performans aşaması" öneriyor.

5/ En önemlisi, bir kanıt sisteminin temel verimliliğini izole etmeliyiz. Şu anda, birçok kıyaslama, kanıt sistemi, mühendislik, donanım güçlendirmeleri ve elle ayarlanmış ön derlemeler gibi her şeyi tek bir üst satırda bir araya getirerek gerçekte nerede durduğumuzu gizliyor.

6/ Yani evet, zkVM'ler ve SNARK'lar muazzam bir potansiyele sahip, ancak prime time'a hazırmış gibi davranırsak felaketle flört ederiz. Önümüzdeki yıllarda zkVM'nin ilerlemesini izlemek için bu aşamaları kullanacağım ve umarım diğerleri de bunu yapar. Gönderime buradan göz atın: