一個 zkVM 是一組規則。若其中一條錯誤，偽造的證明仍能通過且無任何警告。 我們與 @class_lambda 和 @3miLabs 正在開發的 Lambda VM，這款 zkVM 設計為可被檢查：約 50,000 行代碼與書面規範完全對應，且其證明堆疊與其他任何 zkVM 均不共享。 這與以太坊運行於多個客戶端的原因相同。 目前處於積極開發中，尚未適用於生產環境。