-
Notifications
You must be signed in to change notification settings - Fork 3
/
README.rs
50 lines (41 loc) · 1.9 KB
/
README.rs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
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
```