ARM Compiler Panic due to ImpossibleRelocation error (aka. Upgrade to Wasmer 4.3)

[sashaduke]

Hi there,

I have a zk-STARK verifier contract which works correctly on x86 systems, but when I try upload it to a CW chain on my arm/aarch machine (M1 Macbook Pro), the compiler panics during the upload/store tx and gives the following error:
thread '<unnamed>' panicked at 'called Result::unwrap() on an Err value: ImpossibleRelocation(Dynamic(DynamicLabel(0)))', /usr/local/cargo/registry/src/gitpro.ttaallkk.top-1ecc6299db9ec823/wasmer-compiler-singlepass-2.2.1/src/machine_arm64.rs:1971:35

You can find the contract source here in order to recreate the bug (you may need to increase the MaxWasmSize in x/wasm/types/validation.go): https://github.com/sashaduke/cw-miden-verifier/tree/main/contracts/verifier

Kind regards

[webmaster128]

Heyhey! Thanks a lot for this report. I found the same thing today in a different contract – what a coincidence!

I think it's safe to say that the ARM build of CosmWasm is not safe to use in consensus critical systems.

I'd not debug this before upgrading to Wasmer 3.x to avoid wasting resources. For now I recommend using an x86 build of the chain and run it in Docker on ARM machines.

[sashaduke]

Haha what a coincidence indeed! No worries, I can do with running on x86 or emulating for now :)
Thanks!

[webmaster128]

Most likely this was just fixed in Wasmer (unreleased). wasmerio/wasmer#4519

[webmaster128]

Wasmer upgrade expected this week. Once it is there, we can upgrade and fix this.

[syrusakbary]

Hey @sashaduke , we just fixed the main issue in Wasmer which likely fixes this issue.
To verify this, it would great if you could attach the wasm file inside the original issue wasmerio/wasmer#4519, thanks!

[chipshort]

Good news! I tested the contract with the new wasmer 4.3.0-alpha.1 release and it fixes the problem.

[webmaster128]

4.3.0 is ready now. We can use it and close this ticket.