Support for RV32IM about tinygo

[aykevl]

What is the board/chip you want to target? TinyGo needs a lot more than just the instruction set architecture.

[puma314]

It's is a bit of an unusual use-case--our team is building a zero-knowledge VM (zkVM) that proves the execution of the RISC-V32im instruction set: https://github.com/succinctlabs/sp1.

We use ecalls to do stdin and stdout into the zkVM environment, but other than that usually we just have pure golang code that is proving some sort of computation.

[aykevl]

In that case, the zkVM would be the target. Especially since you say this:

We use ecalls to do stdin and stdout into the zkVM environment, [...]

This means that functions like putchar would call those kinds of syscalls. The runtime needs to know about these sorts of details, for example to print panic messages or to correctly schedule goroutines.

Also, the linker will need to know details like at which address it can be linked and which memory area it can use for the heap.

[jharveyb]

Relevant PR from another zkVM project:

risc0#1

Relevant discussion:

risc0/risc0#1222

[tac0turtle]

hey wanted to check in on how things are going here?

[aykevl]

A PR like risc0#1 would indeed be something that could be included in TinyGo.