Is there an existing issue?

• I have searched the existing issues

Experiencing problems? Have you tried our Discord first?

• This is not a support question.

Motivation

Wanting to do 256-bit arithmetic within the 32-bit constraints from the current compiler. I'm a bit concerned by some of the overhead and was thinking vector extensions might help combat that.

(I'm a bit ignorant if this would be problematic for zkvm to prove and that is a reason why it's not supported)

Request

Would it be possible to support the RISC-V vector extensions with the riscv32im-risc0-zkvm-elf toolchain?

Solution

See previous step, if there are ways for me to help, I'm all ears.

Are you willing to help with this request?

Maybe... (I have elaborated on how above)