search

DelphinusLab / zkWasm-rust

rust sdk for zkWasm
9 stars 8 forks source link

A simple dry-run problem #13

Open RbRe145 opened 9 months ago

RbRe145 commented 9 months ago

I am on the main branch of zkWasm-rust and I just want to make a test. The only change I made is zkWasm's path, I compiled my local delpinus-cli(dev branch one), the make file and test bash as following


set -e
set -x

rm -rf output mkdir output FUNC=zkmain DELPHINUS_CLI=/Users/zhj/zkWasm/target/release/delphinus-cli $DELPHINUS_CLI -k 22 --function $FUNC --output ./output --wasm ./pkg/output.wasm dry-run

> I am sure that the path of delphinus-cli is right, but the console go wrong with the following message 
```Shell
thread 'main' panicked at 'failed to instantiate wasm module: Instantiation("Export wasm_dbg_char not found")', /Users/zhj/zkWasm/crates/zkwasm/src/runtime/wasmi_interpreter.rs:122:14

So, I suppose wasm_dbg_char(as well as wasm_dbg)is a very basic host function but why it couldn't be used? How can I fix this and make the zkWasm work?

xgaozoyoe commented 8 months ago

Hi, This repo is suppose to work with the host-ops branch in zkWASM.