Comment by arm55

You can actually write zkps in pure Rust, but there's not currently any blockchain integration: https://github.com/risc0/risc0