search

near / wasmtime

Standalone JIT-style runtime for WebAssembly, using Cranelift
https://wasmtime.dev/
Apache License 2.0
3 stars 4 forks source link

How to represent ``i64.const`` in zkasm? #53

Closed MCJOHN974 closed 8 months ago

MCJOHN974 commented 8 months ago

Naive way of representing i64.const (428742742974794297427949942974792479 => A) in zkasm don't work. We should find out how to do that. Also, when we do it, we should fix tricky avoiding of this in cranelift/zkasm_data/i64_mul.wat

MCJOHN974 commented 8 months ago

I think PR answers this question. Also I suggest to keep a lot of computations in multiplication test, because it is better for test that register allocation works correctly