export-aptos-verifier 0.1.0

CLI for exporting Groth16 artifacts to Aptos 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

# export-aptos-verifier

CLI tool that generates Aptos Move Groth16 verifier packages from Groth16 artifacts.

## Install

```bash
cargo install export-aptos-verifier
```

## Usage

```bash
export-aptos-verifier generate \
  --vk ./verification_key.json \
  --proof ./proof.json \
  --out ./generated \
  --package-name groth16_verifier \
  --module-name multiplier_verifier \
  --account-address 0xCAFE \
  --curve auto
```

`--public` is optional when `proof.json` already contains `publicSignals`.

Bundle mode:

```bash
export-aptos-verifier generate \
  --bundle ./groth16_artifacts.json \
  --out ./generated \
  --package-name groth16_verifier \
  --module-name multiplier_verifier \
  --account-address 0xCAFE \
  --curve auto
```

## Notes

- Supports `snarkjs-json` and `arkworks-compact` input modes.
- Supports `BN254` and `BLS12-381`.
- `--prepared` intentionally returns `ERR_PREPARED_NOT_IMPLEMENTED` in this version.
- For BN254 use `--bn254-format` if you need explicit format handling.
- For BLS12-381 use `--bls-format` if needed.

## License

MIT.