ZkVMs

There are already tens of zkVM implementations including CairoVM, Risc0, Wasm0, zkBPF, zkEVMs. Any such zkVM implementation can be deployed on Gevulot and used as a standalone environment when combined with some state storage system.