Onlar "sıfır bilgi"yi evrensel bir anahtara dönüştürdüler ve tüm on-chain kilitlerini açabileceğini iddia ettiler, fakat anahtar ne kadar aşındıysa, delik o kadar küçüldü - evrensel mi, yoksa imkansız mı?

Ancak pratikte, bu tür "büyük ve kapsamlı" bir yaklaşım genellikle verimsizlik ve ölçeklenebilirlik sorunları getirmektedir. Bu nedenle, yeni bir yön ortaya çıkıyor - modüler zkVM. Brevis @brevis_zk tarafından sunulan Pico v1.0, işte bu eğilimin bir temsilcisidir.
Kısacası, Pico bir "evrensel makine" değil, bir "montaj atölyesi"dir.
ZkVM'yi birden fazla bağımsız modüle ayırarak geliştiricilerin ihtiyaç duydukları işlevleri seçmelerine ve gereksiz kısımları çıkarmalarına olanak tanır.

➤Pico'nun temel fikri: zkVM'yi parçalayarak yeniden yapmak
Pico'nun tasarım felsefesi oldukça doğrudan - "Her şey modüler hale getirilebilir."
Üç katmanlı bir yapıya ayrılmaktadır:

1) Yürütme modülü: Farklı kanıtlama sistemlerini destekler, örneğin STARK, SNARK veya her ikisinin karışımı. Geliştiriciler, performans ve güvenlik gereksinimlerine göre serbestçe geçiş yapabilir.

2) Bağlam Modülü: Veri yapısını, durum yönetimini ve zincirle etkileşim mantığını tanımlar. Sisteminin "beyni" gibidir, dış dünya ile nasıl iletişim kuracağını belirler.

3）Eklenti katmanı: Geliştiricilerin özel operatörler tanımlamasına veya özel protokollere bağlanmasına olanak tanır, örneğin oyun mantığı, AI hesaplamaları veya on-chain veri kanıtları için hızlandırma sağlar.
Bir örnek vermek gerekirse, bir DEX muhtemelen yalnızca durum güncelleme ve fiyat hesaplama için bir kanıt modülüne ihtiyaç duyarken, bir blok zinciri oyunu daha çok paralel yürütme verimliliği ve karmaşık mantık desteğine önem verir.

➤Ana akım zkVM'lerden farklı bir yol
Şu anda piyasada yaygın olan zkVM'lerin her birinin avantajları ve dezavantajları var:
Risc Zero: Genel CPU mimarisine dayalı, güçlü uyumluluk, ancak sistem büyük ve başlatma hızı yavaş.

SP1 (Succinct): Tasarımı son derece basit, özyinelemeli kanıtlar için uygun, ancak yeterince esnek değil.

ZKWasm: WebAssembly ekosistemini yeniden kullanma, tam fonksiyonel ama öğrenme maliyeti yüksek, büyük kaynak tüketimi.

Pico, bir ara yol seçti: artık evrenselliği aramak yerine yapılandırılmış "inşa şablonları" sunuyor.
Geliştiriciler, arka uç kanıtı, hızlandırma devreleri ve iş akışlarını seçebilir, sadece kendi işlerine hizmet edecek bir zkVM özelleştirebilir.

➤Modülerliğin getirdiği gerçek değer

Genel zkVM güçlü görünüyor, ancak pratikte uygulamada genellikle hızı yavaşlatıyor.
Çünkü daha uzun bir uyum süresi, daha karmaşık bir dağıtım ve daha fazla hesaplama kaynağı gerektiriyor.
Ve Pico gibi modüler zkVM'ler, üç düzeyde belirgin avantajlar sunar:
>> Daha kontrol edilebilir maliyet: Geliştiriciler, ihtiyaç duydukları modülleri kullanarak hesaplama ve dağıtım kaynaklarından tasarruf sağlar.
>> Daha hızlı geliştirme: Tüm kanıt sistemini yeniden inşa etmeye gerek yok, birkaç gün içinde çalışır bir ortam bir araya getirilebilir.
>> Daha kolay bakım: Modüller ayrı ayrı güncellenebilir veya değiştirilebilir, sistem düzeyinde çöküşleri önler.
>> Ekosistem daha açık: Eklentili yapı, dış protokollerin, off-chain hesaplamaların veya AI modüllerinin entegrasyonunu kolaylaştırır.
Bu, hızlı bir şekilde off-chain verileri doğrulama ihtiyacı duyan DApp'ler için özellikle dostça. Örneğin, on-chain kimlik doğrulama, çapraz zincir hesaplama, AI çıkarım sonuçlarının on-chain yapılması gibi durumlarda, Pico hafif ve özelleştirilmiş bir kanıt desteği sunabiliyor.

➤"Küçük Bileşenler"den "Yeni Paradigma"ya
Pico'ya sadece ZK dünyasındaki bir "küçük bileşen" olarak bakmayın, arkasındaki anlam oldukça büyük.
Bu, zkVM'yi "kapalı siyah kutu"dan "açık yapı taşları"na dönüştürüyor ve geliştiricilerin gerçek bir kontrol sahibi olmasını sağlıyor.
Gelecekteki zk yürütme ortamları, geniş ve kapsamlı olmak zorunda değil, her uygulama türü için tam olarak yeterli hesaplama gücü sağlamalıdır.
@brevis_zk'nin Pico, bu durumu gerçeğe dönüştürüyor.
Genel zkVM döneminin ardından, belki de modüler zkVM ZK teknolojisinin gerçek olgunluk şeklidir.
Her şeyi kapsamak istemiyor, sadece her uygulamanın en uygun hesaplama motoruna sahip olmasını istiyor.

Bu, Pico'nun arkasındaki tasarım felsefesidir:
Karmaşık olanı modüler hale getir, sıfır bilgi kanıtlarının gerçekten pratik hale gelmesini sağla.
#Brevis #KAITO

@brevis_zk

@KaitoAI