search

RizeLabs / ts-riscv-template

A template to write arbitrary ts code and generate it's proof (ts -> wasm -> RISCV)
4 stars 0 forks source link

Cargo run error #1

Open manylov opened 5 months ago

manylov commented 5 months ago

Hey! I tried to run, using readme, and got error on cargo run


wasm-interp:         .attribute      5, "rv32i2p0_m2p0"
wasm-interp:                            ^
wasm-interp: error: instruction requires the following: 'M' (Integer Multiplication and Division) or 'Zmmul' (Integer Multiplication)
wasm-interp:         mul     a1, a1, a4
wasm-interp:         ^
wasm-interp: error: invalid arch name 'rv32i2p0_m2p0', unsupported version number 2.0 for extension 'i'
wasm-interp:         .attribute      5, "rv32i2p0_m2p0"
wasm-interp:                            ^
wasm-interp: error: invalid arch name 'rv32i2p0_m2p0', unsupported version number 2.0 for extension 'i'
wasm-interp:         .attribute      5, "rv32i2p0_m2p0"
wasm-interp:                            ^
wasm-interp: error: instruction requires the following: 'M' (Integer Multiplication and Division) or 'Zmmul' (Integer Multiplication)
wasm-interp:         mul     a1, a1, a4
wasm-interp:         ^
wasm-interp: error: invalid arch name 'rv32i2p0_m2p0', unsupported version number 2.0 for extension 'i'
wasm-interp:         .attribute      5, "rv32i2p0_m2p0"
wasm-interp:                            ^
wasm-interp: error: invalid arch name 'rv32i2p0_m2p0', unsupported version number 2.0 for extension 'i'
wasm-interp:         .attribute      5, "rv32i2p0_m2p0"
wasm-interp:                            ^
wasm-interp: error: instruction requires the following: 'M' (Integer Multiplication and Division) or 'Zmmul' (Integer Multiplication)
wasm-interp:         mul     a1, a1, a4
wasm-interp:         ^
wasm-interp: error: invalid arch name 'rv32i2p0_m2p0', unsupported version number 2.0 for extension 'i'
wasm-interp:         .attribute      5, "rv32i2p0_m2p0"
wasm-interp:                            ^
wasm-interp: error: invalid arch name 'rv32i2p0_m2p0', unsupported version number 2.0 for extension 'i'
wasm-interp:     |
wasm-interp: note: instantiated into assembly here
wasm-interp:    --> <inline asm>:206:16
wasm-interp:     |
wasm-interp: 206 |     .attribute    5, "rv32i2p0_m2p0"
wasm-interp:     |                      ^
wasm-interp: 
wasm-interp: error: instruction requires the following: 'M' (Integer Multiplication and Division) or 'Zmmul' (Integer Multiplication)
wasm-interp:     |
wasm-interp: note: instantiated into assembly here
wasm-interp:    --> <inline asm>:236:2
wasm-interp:     |
wasm-interp: 236 |     mul    a1, a1, a4
wasm-interp:     |     ^
wasm-interp: 
wasm-interp: error: invalid arch name 'rv32i2p0_m2p0', unsupported version number 2.0 for extension 'i'
wasm-interp:     |
wasm-interp: note: instantiated into assembly here
wasm-interp:    --> <inline asm>:487:16
wasm-interp:     |
wasm-interp: 487 |     .attribute    5, "rv32i2p0_m2p0"
wasm-interp:     |                      ^
wasm-interp: 
wasm-interp: error: could not compile `risc0-zkvm` (lib) due to 3 previous errors
error: failed to run custom build command for `wasm-methods v0.1.0 (/Users/maksimmanylov/dev/risk-zero/ts-riscv-template/methods)`

Caused by:
  process didn't exit successfully: `/Users/maksimmanylov/dev/risk-zero/ts-riscv-template/target/debug/build/wasm-methods-31b270893fa2f122/build-script-build` (exit status: 101)
  --- stdout
  Building guest package wasm-methods.wasm-interp
  cargo:rerun-if-env-changed=RISC0_SKIP_BUILD
  Using rustc: /Users/maksimmanylov/.rustup/toolchains/risc0/bin/rustc
  cargo:rerun-if-env-changed=RISC0_RUST_SRC
  Building guest package: cargo build --target riscv32im-risc0-zkvm-elf
  cargo:rerun-if-env-changed=RISC0_BUILD_DEBUG```
nlok5923 commented 5 months ago

Hey @manylov

Can you share your machine specs.