export-sui-verifier 0.2.2

CLI for exporting Groth16 artifacts to Sui Move verifier packages.
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
51
52
53
54
55
56
57

# export-sui-verifier

CLI for generating Sui Move Groth16 verifier packages.

Generation uses root-level flags:

```sh
export-sui-verifier \
  --vk ./verification_key.json \
  --proof ./proof.json \
  --public ./public.json \
  --out ./generated/my_verifier \
  --force
```

Compact Arkworks bundle mode:

```sh
export-sui-verifier \
  --bundle ./groth16_artifacts.json \
  --out ./generated/arkworks_verifier \
  --force
```

Common options:

- `--package-name <name>`: defaults to the sanitized `--out` directory name
- `--module-name <name>`: defaults to `verifier`
- `--mode library|entry|test`: defaults to `entry`
- `--run-sui-test`: runs `sui move test` inside the generated package
- `--skip-local-verify`: skips local Arkworks proof verification
- `--force`: overwrites the output directory

`--proof` is optional. Supplying proof data enables local verification and generated Move tests. `--public` is optional when `proof.json` already contains `publicSignals`.

`proof-data` is the only subcommand:

```sh
export-sui-verifier proof-data \
  --vk ./verification_key.json \
  --proof ./proof.json
```

It prints Move helper functions for `proof_bytes()` and `public_inputs_bytes()` using the same serialization as generated tests.

Supported inputs:

- snarkjs-compatible JSON
- Arkworks VK/proof JSON or raw hex inputs
- compact Arkworks bundles

Supported curves:

- BN254
- BLS12-381

MIT.