Frank Laub

Related: https://github.com/risc0/risc0/issues/919

Are we still running into any issues with this? I see continued changes

It looks like `git lfs pull` needs to be run to pull down the `stark_verify.circom` file, which is larger than the size allowed on github.

I think what we really want is the ability to have WASM transpile into RISC-V, which would indeed save a lot of cycles, and would be done at build time,...

Yeah, WAMR looks really interesting!

Compared to running an interpreter, AoT should always win, assuming that it takes anywhere from 2-10 cycles for the interpreter to run a single WASM instruction.

I don't think composition can be used for this purpose. The overall amount of work is the same, and if there is a user quota, this won't help AFAIK. Perhaps...

We just need to remove this line: https://github.com/risc0/risc0/blob/main/risc0/cargo-risczero/README.md?plain=1#L41

I think this has been resolved, but please re-open if not.

On an M2, you'll need to ensure rosetta is installed. It's not clear that this will actually ever work on an M2 Mac (I haven't been able to get it...