powdr-wasm is not limited to Rust. Any language that compiles to WASM can be proven.
We demonstrate this with Keeper (Geth block verification), compiled to WASM via WASI and proven end-to-end on a Hoodi block. Go support is early and will keep improving.