Skip to main content

export_aptos_verifier_core/
lib.rs

1pub mod bytes;
2pub mod curves;
3pub mod error;
4pub mod formats;
5pub mod model;
6pub mod movegen;
7pub mod snarkjs;
8pub mod verifier;
9
10pub use crate::curves::{create_adapter, CurveAdapter, CurveId, PointFormat};
11pub use crate::error::{Error, Result};
12pub use crate::formats::{
13    load_compact_bundle, load_snarkjs_json_inputs, load_snarkjs_json_inputs_with_curve_hint,
14};
15pub use crate::model::{
16    CurveKind, DecimalValue, Groth16G1Point, Groth16G2Point, Groth16Proof, Groth16VerificationKey,
17    Groth16VerifierInputs, SourceFormat,
18};
19pub use crate::movegen::{generate_move_package, GenerateMovePackageOptions, MovegenMode};
20pub use crate::snarkjs::{
21    parse_compact_artifact, parse_proof, parse_public_inputs, parse_verification_key, Proof,
22    VerificationKey,
23};
24pub use crate::verifier::local_verify;