README.rs

1. Install AssemblyScript compiler

npm install -g assemblyscript

2. Compile your AssemblyScript code

In zkWasm-AssemblyScript-Demo, run:

asc src/add.ts -O --noAssert -o add.wasm
asc src/equal.ts -O --noAssert -o equal.wasm
asc src/ticTacToe/zk_main.ts -O --noAssert -o ticTacToe.wasm --disable bulk-memory  --runtime stub --use abort=src/ticTacToe/zk_main/abort

3. Fetch and Compile zkWasm

In zkWasm-AssemblyScript-Demo, run:

git clone git@github.com:DelphinusLab/zkWasm.git
cd zkWasm
git submodule update --init
cargo build --release

4. Setup, Create proof and Verify proof

For add:

cd zkWasm
RUST_LOG=info cargo run --release --features cuda -- --params ./params testwasm setup --host standard -k 18 --wasm ../add.wasm
RUST_LOG=info cargo run --release --features cuda -- --params ./params testwasm prove --output ./output --ctxout ctxout --wasm ../add.wasm --public 3:i64 --private 1:i64 --private 2:i64
RUST_LOG=info cargo run --release --features cuda -- --params ./params testwasm verify --output ./output

For equal:

cd zkWasm
RUST_LOG=info cargo run --release --features cuda -- --params ./params testwasm setup --host standard -k 18 --wasm ../equal.wasm
RUST_LOG=info cargo run --release --features cuda -- --params ./params testwasm prove --output ./output --ctxout ctxout --wasm ../equal.wasm --public 0:i64 --private 0:i64
RUST_LOG=info cargo run --release --features cuda -- --params ./params testwasm verify --output ./output

For ticTacToe:

cd zkWasm
RUST_LOG=info cargo run --release --features cuda -- --params ./params testwasm setup --host standard -k 18 --wasm ../ticTacToe.wasm
RUST_LOG=info cargo run --release --features cuda -- --params ./params testwasm prove --output ./output --ctxout ctxout --wasm ../ticTacToe.wasm --public 1:i64,0:i64 --private 0:i64
RUST_LOG=info cargo run --release --features cuda -- --params ./params testwasm verify --output ./output