delphinuslab/zkwasm-rust

rust sdk for zkWasm

zkwasm-rust's Issues

A simple dry-run problem

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

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?