I work with Rust/Substrate development, and have been doing so professionally for almost two years. I became curious about zk stuffa few months back. I started playing around with Risc0 stuff and integrating it into Substrate chains. I made an example of a hard-coded Risc0 zkvm verifier in a Substrate blockchain runtime - https://github.com/justinFrevert/substrate-risc0/tree/9b7d0f3ba23a4eaf3fc553f5456800c121af2355, which involved a fix to Risc0 to generally bring compatibility to any Substrate blockchain - https://github.com/risc0/risc0/pull/438