Zero Knowledge VM (zkVM) nedir?

Zero Knowledge VM (zkVM), kod çalıştıran ve çalıştırmanın doğru olduğunu girdileri açığa çıkarmadan doğrulayan bir kanıt üreten sanal bir makinedir. Bunu, oyun kitabını gizli tutarak skoru onaylayan bir hakem gibi düşünün. Aynı sonuçlar, daha az ayrıntı açığa çıkar.

Efsane

“Bir zkVM her şeyi anonim hale getirir.” Tam olarak değil. Doğru çalıştırmayı kanıtlar. Hangi bilgilerin gizli kalacağı uygulama tarafından seçilir, makine tarafından zorlanmaz.

Zero Knowledge VM (zkVM) nasıl çalışır

Zincir dışı çalışan bir program düşünün; ardından zincire “bu doğru yapıldı” diyen küçük bir matematiksel makbuz gönderir. Aşağıda kısa bir adım anlatımı.

Adım 1: Bir geliştirici Zero Knowledge VM (zkVM) içinde çalıştırılmak üzere kod yazar veya derler.
Adım 2: Program zincir dışında çalışır ve bir kanıt üretir, örneğin bir işlemin doğru fiyatlandığını tüccarın girdilerini göstermeden kanıtlar.
Adım 3: O kanıt ve asgari veriler zincirdeki bir doğrulayıcıya gönderilir.
Adım 4: Doğrulayıcı kanıtı hızlıca kontrol eder ve evet veya hayır kaydeder.
Adım 5: Diğer sözleşmeler ve kullanıcılar sonucu ağır hesaplamayı yeniden yapmadan kabul eder.

Alt yapıda, çalıştırmayı doğrulamak için sıfır bilgi kanıtlarına dayanır. Evet, matematik bir tanıktır.

Zero Knowledge VM (zkVM) neden önemli

Bununla ilgilenirsiniz çünkü maliyet modelini değiştirir. Büyük hesaplamalar zincir dışında, küçük kontroller zincirde yapılır.

Fayda: Doğrulama ucuz olduğundan hız ve ücretler iyileşir çünkü ağır işler başka yerde gerçekleşir.
Bakış açısı: Hassas verileri gizli tutarken sonucun şeffaflığını sağlayabilirsiniz.
İlgililik: DeFi, oyun, kimlik ve mahremiyet ile doğrulanabilir matematiğin önemli olduğu diğer uygulamalarda görülmesi muhtemeldir.

İpucu

Zero Knowledge VM (zkVM)leri karşılaştırırken önce iki şeyi sorun: hangi dili destekledikleri ve doğrulayıcının hedef zincirde ne kadar hızlı çalıştığı.

Zero Knowledge VM (zkVM) için Temel Özellikler

İnsanların gerçekten kontrol ettiği özellikler şunlardır:

Genel: Tek amaçlı bir devre yerine birçok türde program çalıştırır.
Taşınabilir: Kanıtlar küçük bir akıllı sözleşme ile zincirler arası doğrulanabilir.
Seçici: Uygulamaların hangi girdilerin gizli, hangi çıktının açık olacağını seçmesine izin verir.
Verimli: Orijinal çalıştırma ağır olsa bile kanıtın doğrulanması hızlıdır.
Bileşimsellik: Kanıtlar paketlenebilir veya iç içe yerleştirilebilir, böylece sistemler daha az ek yükle ölçeklenir.

Varyasyonlar

Tüm zkVM'ler aynı görünmez. Karşılaşacağınız yaygın türler:

EVM: Solidity tarzı mantığı çalıştırıp kanıtlamayı hedefler, doğrudan uygulama yeniden kullanımına uygundur.
LLVM: Rust veya C gibi genel dillerden kanıtlanabilir forma derler.
Rollup: Kanıtların temel zincire gönderildiği geçerlilik rollupları içinde kullanılır.
Sovereign: Kendi zincirinde doğrulama yapar ve kanıtları dışa köprüler.

Hatırlatma

Doğrulama ucuzdur, ancak kanıt üretmek ağır ve zaman alıcı olabilir. Bu değiş tokuş ana fikirdir.

Örnek

Bir kredi uygulaması teminatı zkVM içinde fiyatlandırır, sonra sadece kanıtı zincire gönderir; böylece borçlunun verileri açığa çıkmadan tasfiye adil şekilde gerçekleşir.

İlginç Bilgi

Temel fikir, kriptografların bir sırrı söylemeden onu bildiğinizi kanıtlayabileceğinizi gösterdiği 80'ler araştırmalarına dayanır. Kripto Twitter ise bunu moda haline getirdi.

Özet

Kısaca, Zero Knowledge VM (zkVM) zincirlere işi hızlıca kontrol etme imkanı veren, hassas girdileri gizli tutan bir kanıtlayıcı bilgisayardır.

Zero Knowledge VM (zkVM)