I’m currently working on sp1, a RISC-V virtual machine that emulates and generates zero knowledge proofs of correct program execution for some fixed inputs/outputs.
sp1 was used by Google to prove they found an improvement to Shor's algorithm for factoring integers on quantum computers without revealing the new algorithm. sp1 is also used by various blockchain rollups.