zkVM (sıfır bilgi sanal makinesi), bir programın doğru çalıştırıldığını, tüm hesaplamayı tekrar yapmadan sıfır bilgi kanıtıyla (zk-proof) ispatlanabilir kılan bir sanal makine yaklaşımıdır.
Nasıl Çalışır?
Normalde bir hesaplamanın doğru yapıldığını doğrulamak için onu tekrar çalıştırmanız gerekir. zkVM, karmaşık bir programı çalıştırıp yanında küçük bir “kanıt” üretir; herkes bu kanıta bakarak, programı hiç çalıştırmadan sonucun doğru olduğuna emin olabilir. Bu, blockchain ölçeklemesinin (zk-rollup’lar) ve gizlilik uygulamalarının temel yapı taşıdır.
Somut Örnek
Bir zkVM, karmaşık bir hesaplamanın doğru yapıldığını tüm veriyi tekrar çalıştırmadan kanıtlamaya yardımcı olabilir.
Neden Önemli?
zkVM’ler, sıfır bilgi teknolojisini geliştiricilerin normal kodla kullanabilmesini sağlayarak ölçekleme ve gizlilikte büyük bir adım olarak görülüyor. Ama teknoloji karmaşık ve yeni; performans, maliyet ve olgunluk açısından projeler arasında büyük farklar var. Vaat ile mevcut durumu ayırmak gerekir.
İlgili terimler: ZK Rollup, Smart Contract, Rollup.