export-aptos-verifier-core 0.3.0

Load Groth16 artifacts from snarkjs, Gnark, SP1, and Arkworks inputs and generate Aptos Move verifier packages.
Documentation 
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
58
59
60
61
62
63
64

pub fn readme_content(package_name: &str, module_name: &str, account_address: &str) -> String {
    format!(
        r#"# {package_name}

Generated Aptos Move Groth16 verifier package.

## Generated API

The verifier module is `{package_name}::{module_name}` at named address `{account_address}`.

- `verify(public_inputs, proof_a, proof_b, proof_c): bool`
- `verify_entry(_signer, public_inputs, proof_a, proof_b, proof_c)` when generated in `entry` or `test` mode

`public_inputs` is `vector<vector<u8>>`. Proof points are serialized byte vectors in the Aptos `crypto_algebra` layout for the selected curve.

## Regenerate

Run `export-aptos-verifier` with root-level generation flags:

```sh
export-aptos-verifier --vk ./verification_key.json --out ./generated --account-address {account_address} --force
export-aptos-verifier --bundle ./groth16_artifacts.json --out ./generated --account-address {account_address} --force
```

Add `--proof ./proof.json` and optional `--public ./public.json` to include local proof verification and generated Move tests.

Useful flags:

- `--package-name {package_name}`
- `--module-name {module_name}`
- `--mode library|entry|test`
- `--run-aptos-test`
- `--skip-local-verify`

VK-only packages are generated without `tests/`. To print proof helpers for a later test file, run:

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

## Known limitations

- Supported curves: BN254 and BLS12-381.
- The curve and input format are inferred from artifact metadata.
- `--prepared` is intentionally not implemented yet.
- Generated verifier code is not audited. Review it before production use.
"#,
        package_name = package_name,
        module_name = module_name,
        account_address = account_address
    )
}

pub fn vector_of_hex(values: &[String]) -> String {
    if values.is_empty() {
        return "vector[]".to_string();
    }
    let body = values
        .iter()
        .map(|value| format!("        {value},"))
        .collect::<Vec<_>>()
        .join("\n");
    format!("vector[\n{body}\n    ]")
}