Priority support of Zero-Knowledge proof systems

[ple1n]

such as https://github.com/powdr-labs/powdr which has an example for brainfuck compiling to powdr-asm

https://github.com/succinctlabs/sp1/issues

https://github.com/starkware-libs/stwo

They all do support Rust already. Specific operations such as field arithemetic and cryptographic stuff can be accelerated beyond what RISCV ISA can support. I think optimizations need be done on the language level.