SP1 is a zkVM that can prove arbitrary Rust programs, going beyond EVM compatibility.

zkVMs like RISC Zero allow developers to write ZK applications in general-purpose languages rather than ZK-specific DSLs.