a16z Crypto, SNARK ile ilgili iki teknolojiyi piyasaya sürdü: Lasso ve Jolt. Bunlar arasında Lasso, kanıtlayıcının maliyetini önemli ölçüde artırabilen yeni bir arama parametresidir; Jolt (Sadece Bir Arama Tablosu), Lasso yöntemini kullanarak SNARK VM'leri oluşturmanın yeni bir yolu olan Ethereum Virtual Machine ile uyumlu Toplamalar için tasarlanmış bir çerçevedir. Lasso ve Jolt, Web3'te ölçeklendirmeyi ve uygulama oluşturmayı önemli ölçüde hızlandırabilir ve birlikte, geniş çapta dağıtılan araç zincirlerinin performansını bir büyüklük sırasına göre veya daha fazla artırabilen SNARK tasarımına yeni bir yaklaşımı temsil ederler. Ayrıca daha iyi, daha uygun bir geliştirici deneyimi sağlar ve denetimi kolaylaştırır. Lasso ve Jolt üç temel konuyu ele alıyor: performans, geliştirici deneyimi ve denetlenebilirlik.
Daha Hızlı Performans
Kement, kanıtlayıcının önceki çalışmadan daha az ve daha küçük değerler vaat ettiği yeni bir arama parametresidir. a16z crypto'daki araştırma ekibi, Lasso'nun, Halo2 alet zinciri gibi araçlara kıyasla on kat performans artışıyla SNARK kanıtlayıcıların genel hızını önemli ölçüde artırabileceğini ve böylece daha hızlı ZK toplamaları geliştirmeye yardımcı olduğunu belirtti. Optimizasyon tamamlandıktan sonra performansın yaklaşık 40 kat artması bekleniyor. Bu nedenle ekip, Lasso'nun kanıtlayıcı teknolojisinin, büyük Ethereum L2 ölçeklendirme çözümleri tarafından kullanılan mevcut tüm sıfır bilgili SNARK kanıtlayıcı teknolojilerinden daha iyi performans göstereceğine inanıyor.
Jolt, daha basit araçlar ve hafif, arama merkezli devreler sağlamak için başlangıçta Ethereum Vakfı'ndan Barry Whitehat tarafından önerilen bir vizyon olan "arama tekilliğini" uygular. Ekip, Jolt'un mevcut zkVM'ye göre benzer veya daha iyi performans elde etmesini ve daha da önemlisi daha düzenli ve erişilebilir bir geliştirici deneyimi sunmasını bekliyor.
Daha uygun geliştirici deneyimi
Lasso, zkVM'yi uygulamak için mevcut yaklaşımlardan daha geliştirici dostu ve denetlenebilir bir yol sağlar.
SNARK tasarımına yönelik önceki yaklaşımlar, CPU talimatlarını devreler olarak formüle etti ve bunları manuel olarak optimize etti; bu, alana özgü dil uzmanlığı gerektiren düşük seviyeli ve hataya açık bir görevdi. Buna karşılık, farklı dil ekosistemlerinin geliştiricileri Lasso'yu nispeten kolaylıkla kullanabilmelidir.
Bunun nedeni, Lasso'da bir talimatın alt tablo ayrıştırmasıyla tanımlanmasıdır: "büyük" arama tablosu, bir dizi daha küçük "alt tablodan" oluşabilir. Daha da önemlisi, bu tür ayrışmalar üst düzey programlama dillerinde kısa ve öz bir şekilde tanımlanabilir. Örneğin, bir talimat yalnızca 50 satırlık Rust'ta uygulanabilir. Ek olarak, farklı komut setlerindeki birçok talimat kavramsal olarak aynıdır ve büyük miktarda kodun tekrarlanmasına izin verilir; örneğin, WASM, EVM ve RISC-V'nin tümü aynı temel aritmetik, bitsel ve karşılaştırma işlemlerini belirtir.
İncelemesi daha kolay
Lasso'nun geliştirici deneyimini basitleştirme yöntemi, denetimi önceki yöntemlere göre daha kolay hale getirir. ZkVM'nin denetlenebilirliği özellikle değerlidir, çünkü birçok SNARK bugün blok zincirlerinde çok büyük değer kazanmıştır. Lasso, Rust'ta talimat mantığını uyguladığından ve talimat setlerinde kod çoğaltmayı teşvik ettiğinden, denetlenecek alanları nispeten küçük ve okunabilir bir kod tabanında toplar.
Şu anda, Jolt'u tam olarak uygulamak için gereken çalışmaya ek olarak, aşağıdakiler de dahil olmak üzere devam eden veya diğer geliştiriciler tarafından tamamlanmayı bekleyen birçok görev vardır:
KZG'nin Multilinear Varyantları (PST, Zeromorph, vb.), Dory, Ligero, Brakedown ve Sona gibi farklı çok terimli taahhüt şemalarını uygulayın/entegre edin
Quarks makalesinin 6. Bölümünde açıklanan ürün parametresi optimizasyonunu gerçekleştirin
Daha kapsamlı kıyaslama ve hata işleme
Zincir üzerinde etkili kanıt doğrulaması elde etmek için SNARK özyinelemesinden yararlanın
View Original
The content is for reference only, not a solicitation or offer. No investment, tax, or legal advice provided. See Disclaimer for more risks disclosure.
a16z tarafından başlatılan yeni bir SNARK tabanlı sıfır bilgi kanıtı aracı olan Lasso and Jolt
Felix, PANews tarafından
a16z Crypto, SNARK ile ilgili iki teknolojiyi piyasaya sürdü: Lasso ve Jolt. Bunlar arasında Lasso, kanıtlayıcının maliyetini önemli ölçüde artırabilen yeni bir arama parametresidir; Jolt (Sadece Bir Arama Tablosu), Lasso yöntemini kullanarak SNARK VM'leri oluşturmanın yeni bir yolu olan Ethereum Virtual Machine ile uyumlu Toplamalar için tasarlanmış bir çerçevedir. Lasso ve Jolt, Web3'te ölçeklendirmeyi ve uygulama oluşturmayı önemli ölçüde hızlandırabilir ve birlikte, geniş çapta dağıtılan araç zincirlerinin performansını bir büyüklük sırasına göre veya daha fazla artırabilen SNARK tasarımına yeni bir yaklaşımı temsil ederler. Ayrıca daha iyi, daha uygun bir geliştirici deneyimi sağlar ve denetimi kolaylaştırır. Lasso ve Jolt üç temel konuyu ele alıyor: performans, geliştirici deneyimi ve denetlenebilirlik.
Daha Hızlı Performans
Kement, kanıtlayıcının önceki çalışmadan daha az ve daha küçük değerler vaat ettiği yeni bir arama parametresidir. a16z crypto'daki araştırma ekibi, Lasso'nun, Halo2 alet zinciri gibi araçlara kıyasla on kat performans artışıyla SNARK kanıtlayıcıların genel hızını önemli ölçüde artırabileceğini ve böylece daha hızlı ZK toplamaları geliştirmeye yardımcı olduğunu belirtti. Optimizasyon tamamlandıktan sonra performansın yaklaşık 40 kat artması bekleniyor. Bu nedenle ekip, Lasso'nun kanıtlayıcı teknolojisinin, büyük Ethereum L2 ölçeklendirme çözümleri tarafından kullanılan mevcut tüm sıfır bilgili SNARK kanıtlayıcı teknolojilerinden daha iyi performans göstereceğine inanıyor.
Jolt, daha basit araçlar ve hafif, arama merkezli devreler sağlamak için başlangıçta Ethereum Vakfı'ndan Barry Whitehat tarafından önerilen bir vizyon olan "arama tekilliğini" uygular. Ekip, Jolt'un mevcut zkVM'ye göre benzer veya daha iyi performans elde etmesini ve daha da önemlisi daha düzenli ve erişilebilir bir geliştirici deneyimi sunmasını bekliyor.
Daha uygun geliştirici deneyimi
Lasso, zkVM'yi uygulamak için mevcut yaklaşımlardan daha geliştirici dostu ve denetlenebilir bir yol sağlar.
SNARK tasarımına yönelik önceki yaklaşımlar, CPU talimatlarını devreler olarak formüle etti ve bunları manuel olarak optimize etti; bu, alana özgü dil uzmanlığı gerektiren düşük seviyeli ve hataya açık bir görevdi. Buna karşılık, farklı dil ekosistemlerinin geliştiricileri Lasso'yu nispeten kolaylıkla kullanabilmelidir.
Bunun nedeni, Lasso'da bir talimatın alt tablo ayrıştırmasıyla tanımlanmasıdır: "büyük" arama tablosu, bir dizi daha küçük "alt tablodan" oluşabilir. Daha da önemlisi, bu tür ayrışmalar üst düzey programlama dillerinde kısa ve öz bir şekilde tanımlanabilir. Örneğin, bir talimat yalnızca 50 satırlık Rust'ta uygulanabilir. Ek olarak, farklı komut setlerindeki birçok talimat kavramsal olarak aynıdır ve büyük miktarda kodun tekrarlanmasına izin verilir; örneğin, WASM, EVM ve RISC-V'nin tümü aynı temel aritmetik, bitsel ve karşılaştırma işlemlerini belirtir.
İncelemesi daha kolay
Lasso'nun geliştirici deneyimini basitleştirme yöntemi, denetimi önceki yöntemlere göre daha kolay hale getirir. ZkVM'nin denetlenebilirliği özellikle değerlidir, çünkü birçok SNARK bugün blok zincirlerinde çok büyük değer kazanmıştır. Lasso, Rust'ta talimat mantığını uyguladığından ve talimat setlerinde kod çoğaltmayı teşvik ettiğinden, denetlenecek alanları nispeten küçük ve okunabilir bir kod tabanında toplar.
Şu anda, Jolt'u tam olarak uygulamak için gereken çalışmaya ek olarak, aşağıdakiler de dahil olmak üzere devam eden veya diğer geliştiriciler tarafından tamamlanmayı bekleyen birçok görev vardır: