export-aptos-verifier-core 0.2.3

Load Groth16 artifacts from snarkjs JSON, Arkworks JSON/hex inputs, or Arkworks bundles 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

use crate::error::Result;
use crate::model::{Groth16VerifierInputs, SourceFormat};
use crate::snarkjs::parse_compact_artifact;
use std::path::Path;

pub fn load_compact_bundle(path: &Path, curve_hint: Option<&str>) -> Result<Groth16VerifierInputs> {
    let (vk, proof, public_inputs) = parse_compact_artifact(path, curve_hint)?;
    match proof {
        Some(proof) => Groth16VerifierInputs::from_legacy(
            vk,
            proof,
            public_inputs,
            SourceFormat::ArkworksCompact,
        ),
        None => Groth16VerifierInputs::from_legacy_vk_only(
            vk,
            public_inputs,
            SourceFormat::ArkworksCompact,
        ),
    }
}