FYI, ZK proofs over arbitrary rust code, here’s an example of RISC-V implementation. Might be great for Substrate
