zkVM'ler (sıfır bilgili sanal makineler), ZK uygulamalarının standart bir ispatlama ortamı aracılığıyla özel devrelerini denetlemelerini atlamalarına izin verirken, zkVM'nin kendisi sağlamlık ve tamlık güvenliği için titiz denetim gerektirir. @ProjectZKM'den itibaren Ziren'de, @VeridiseInc denetimi bu riskleri ele alarak kanıtlanmış güvenlik sağladı. Temel unsurlar şunları içeriyordu: > Kısıtlamalar Sağlamlığı: MIPS yürütme modelinin determinizmi ve hassas uygulanmasını sağlamak için Veridise'in Picus gibi araçlarla resmi doğrulama, hesaplamaları ispatlarla hizalamak ve bellek, sistem çağrıları ve iz üretimindeki belirsizlikleri çözmek. > Fuzzing Testleri: Düşman veya yanlış programlara karşı istikrarı doğrulamak için yürütme yollarının kapsamlı fuzzing ve stres testi. Bu önemli bir dönüm noktasıdır ve bundan sonra tüm zkVM için kanıtlanabilir güvenlik sağlamaya kararlıyız.