# export-aptos-verifier-core
Library crate for loading Groth16 artifacts and generating Aptos Move verifier packages.
## Capabilities
- loads `snarkjs` JSON inputs, `gnark` artifacts converted via [gnark-to-snarkjs](https://github.com/mysteryon88/gnark-to-snarkjs), `noname` `snarkjs`-compatible outputs, and compact Arkworks bundle JSON
- supports `BN254` and `BLS12-381`
- validates protocol, curve, subgroup membership, input counts, and field bounds
- serializes values into the byte layouts expected by Aptos `crypto_algebra`
- performs local Arkworks Groth16 verification before Move generation
## Main modules
- `formats`: loaders for `snarkjs` JSON and compact bundles
- `model`: normalized Groth16 IR used by the whole pipeline
- `curves`: curve-specific adapters for BN254 and BLS12-381
- `movegen`: Aptos Move package rendering
## Crate docs
- docs.rs: `https://docs.rs/export-aptos-verifier-core`
- Rust import path: `export_aptos_verifier_core`