zkVM هو قائمة من القواعد. إذا كان أحد القواعد خاطئًا، يمكن لدليل مزيف أن يمر دون أي تحذير. Lambda VM، وهو zkVM الذي نبنيه مع @class_lambda و @3miLabs، مصمم ليتم التحقق منه: حوالي 50 ألف سطر تتطابق مع مواصفات مكتوبة، على طبقة إثبات لا تشاركها مع أي zkVM آخر. نفس السبب الذي يجعل إيثريوم تعمل على عدة عملاء. قيد التطوير النشط، وليس مقصودًا للاستخدام الإنتاجي بعد.