export-sui-verifier-core 0.3.0

Load Groth16 artifacts from snarkjs JSON or Arkworks bundles and generate Sui 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
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82

# export-sui-verifier-core


Library crate for loading Groth16 artifacts and rendering Sui Move verifier packages.

## Capabilities


- loads snarkjs-compatible JSON inputs
- loads Arkworks VK/proof JSON or raw hex inputs
- loads compact Arkworks bundle JSON
- loads native Gnark JSON verifying keys/proofs
- loads native Gnark `WriteTo` binary verifying keys/proofs
- loads SP1 Groth16 wrapper VK/proof artifacts
- infers the curve and input format from artifact metadata or, for Arkworks/Gnark artifacts, by accepting exactly one supported curve that validates
- supports BN254 and BLS12-381
- validates protocol, curve, subgroup membership, input counts, and field bounds
- serializes verification keys, proofs, and public inputs for `sui::groth16`
- performs local Arkworks Groth16 verification when proof vectors are supplied
- renders Sui Move packages with `Move.toml`, `sources/verifier.move`, optional proof/public-input tests, and generated package README

## Generated Move API


Generated modules expose:

- `verifying_key_bytes()`
- `prepare()`
- `verify(proof_bytes, public_inputs_bytes): bool`
- `verify_with_prepared(prepared_verifying_key, proof_bytes, public_inputs_bytes): bool`
- `verify_entry(proof_bytes, public_inputs_bytes)` when generated in `entry` or `test` mode

The verifier expects Arkworks canonical compressed proof bytes plus concatenated 32-byte little-endian public inputs. Format loaders normalize snarkjs, Arkworks, Gnark, and SP1 artifacts into that representation before rendering Move.

## Main Modules


- `formats`: high-level loaders for snarkjs JSON, Arkworks inputs, native Gnark inputs, and SP1 Groth16 artifacts
- `parser::arkworks`: direct Arkworks VK/proof/public input parser
- `snarkjs`: strict snarkjs-compatible JSON parsing
- `model`: normalized Groth16 IR
- `curves`: curve-specific adapters for BN254 and BLS12-381
- `movegen`: Sui Move package rendering and proof-data snippets
- `verifier`: local Arkworks verification helpers

## Rust Usage


Use the crate directly when embedding generation in another Rust tool. Most users should use the `export-sui-verifier` CLI.

```rust
use export_sui_verifier_core::curves::create_adapter;
use export_sui_verifier_core::formats::load_arkworks_bundle;
use export_sui_verifier_core::movegen::{
    generate_move_package, GenerateMovePackageOptions, MovegenMode,
};

# fn main() -> export_sui_verifier_core::Result<()> {

let inputs = load_arkworks_bundle("groth16_artifacts.json".as_ref(), None)?;
let adapter = create_adapter(inputs.curve.canonical_name())?;

generate_move_package(
    "generated".as_ref(),
    adapter.as_ref(),
    &inputs,
    &GenerateMovePackageOptions {
        package_name: "generated",
        module_name: "verifier",
        mode: MovegenMode::Entry,
        force: true,
    },
)?;
# Ok(())

# }
```

## Format Notes

- Native Gnark JSON is the `encoding/json` representation of Gnark Groth16 structs. Verifying keys are read from `G1/G2`; proofs are read from `Ar`, `Bs`, and `Krs`.
- Native Gnark binary is the direct `WriteTo` output from Gnark verifying keys and proofs. Use `load_gnark_binary_inputs_auto` to try BN254 and BLS12-381 automatically.
- Arkworks compressed hex inputs reject trailing bytes after the verification key or proof. Use `load_arkworks_inputs_auto` or `load_arkworks_bundle_auto` when embedding CLI-style curve inference.
- SP1 loading expects the SP1 BN254 Groth16 wrapper VK and a serialized `SP1ProofWithPublicValues` containing a Groth16 proof. Use `load_sp1_groth16_inputs` when embedding this directly.

## Crate Docs


- docs.rs: `https://docs.rs/export-sui-verifier-core`
- Rust import path: `export_sui_verifier_core`