But the same concept could be applied with other languages for example through provable RISC-V or WASM execution engine. It has some performance overhead but it’s doable.
We will consider Rust proving for STWO in the future