Ethereum'un kurucu ortağı Vitalik Buterin, "ZK-EVM" (Sıfır Bilgi Ethereum Sanal Makinesi) kavramı ve olası uygulama formları hakkında derinlemesine bir tartışma makalesi yayınladı. Makale, mevcut Katman-2 EVM protokollerinin (İyimser Toplamalar ve ZK Toplamaları gibi) EVM doğrulama mekanizmasına güvenmesi gerektiğine dikkat çekiyor ancak bu aynı zamanda büyük bir kod tabanına güvenmeleri gerektiği anlamına da geliyor. Kod tabanında bir güvenlik açığı oluştuğunda bu sanal makineler saldırıya uğrama riskiyle karşı karşıya kalabilir. Ek olarak, L1 EVM'ye tamamen eşdeğer kalmayı isteyen bir ZK-EVM bile, L1 EVM değişikliklerini kendi EVM uygulamasına kopyalamak için bir tür yönetim mekanizması gerektirecektir. Buterin tarafından önerilen ZK-EVM konsepti, Ethereum protokol fonksiyonlarının Katman-2 projeleri tarafından tekrar tekrar uygulanmasını azaltmayı ve Katman-1 Ethereum bloklarını doğrulamadaki verimliliğini artırmayı amaçlıyor. Ayrıca hafif istemcilerin daha güçlü olacağı ve hatta L1 EVM yürütmesini tam olarak doğrulamak için ZK-SNARK'ları (sıfır bilgi kanıtları) kullanabileceği, bu zamana kadar Ethereum ağının esasen yerleşik ZK-EVM yeteneklerine sahip olacağı bir gelecek öngörüyor. Makale ayrıca ZK-EVM'yi uygulamanın farklı versiyonlarını, bunların tasarım zorlukları, ödünleşimleri ve bazı yönlerin neden benimsenemeyebileceği de dahil olmak üzere tartışıyor. Protokol işlevselliğini uygularken, avantajlarının, temel protokolü basit tutmanın faydalarına göre değerlendirilmesi gerektiği vurgulanmaktadır. ZK-EVM'nin temel nitelikleriyle ilgili olarak Buterin, temel işlevselliğini, Ethereum'un çok istemcili felsefesiyle uyumluluğunu, veri kullanılabilirliği gerekliliklerini, denetlenebilirliğini ve yükseltilebilirliğini vurguladı. Ayrıca, L2 VM'lerin protokol dahilinde EVM'den yalnızca küçük farklılıklarla ZK-EVM'yi kullanmasına olanak tanıyan ve aynı zamanda EVM esnekliğinin bazı özelleştirmelerini sağlayan "neredeyse EVM" desteğinden de bahsetti.