một zkVM là danh sách các quy tắc. Nếu một quy tắc sai, một bằng chứng giả có thể được chấp nhận mà không có cảnh báo nào. Lambda VM, zkVM mà chúng tôi đang xây dựng cùng @class_lambda và @3miLabs, được thiết kế để được kiểm tra: khoảng 50.000 dòng mã phản ánh một tài liệu quy định, trên một chồng chứng minh mà nó không chia sẻ với bất kỳ zkVM nào khác. Lý do tương tự khiến ethereum chạy trên nhiều client khác nhau. Đang được phát triển tích cực, chưa sẵn sàng cho sử dụng trong môi trường sản xuất.