zkVMはルールのリストである。一つでも間違っていると、偽の証明が警告なしに通ってしまう。 Lambda VM、@class_lambdaおよび@3miLabsと共同で構築中のzkVMは、検証可能になるように設計されている。約5万行のコードが明確な仕様と一致し、他のどのzkVMとも共有しない証明スタック上で動作する。 これはEthereumが複数のクライアントで動作するのと同じ理由である。 現在開発中であり、本番利用を想定していません。