search

EspressoSystems / nitro-espresso-integration

Nitro goes vroom and fixes everything
Other
13 stars 7 forks source link

Support rust 1.82.0+ #257

Open sveitser opened 1 month ago

sveitser commented 1 month ago

With rust 1.82.0 we can't build the replay wasm. For now we pin version 1.81.0 in flake.nix and .github/workflows/ci.yml we can likely remove this when sync upstream with a version higher than 3.2.1.

GOOS=wasip1 GOARCH=wasm go build -o target/machines/latest/replay.wasm ./cmd/replay/...
target/bin/prover target/machines/latest/replay.wasm --generate-binaries target/machines/latest \
-l target/machines/latest/forward.wasm -l target/machines/latest/soft-float.wasm -l target/machines/latest/wasi_stub.wasm -l target/machines/latest/host_io.wasm -l target/machines/latest/user_host.wasm -l target/machines/latest/arbcompress.wasm -l target/machines/latest/program_exec.wasm -l target/machines/latest/espresso_crypto.wasm
Error: failed to validate WASM binary at "target/machines/latest/wasi_stub.wasm"

Caused by:
0: failed to validate target/machines/latest/wasi_stub.wasm
1: reference-types not enabled: zero byte expected (at offset 0x18d8)

Location:
    prover/src/binary.rs:329:10
make: *** [Makefile:436: target/machines/latest/machine.wavm.br] Error 1