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 [email protected]: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
```