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 parser;
8pub mod snarkjs;
9pub mod verifier;
10
11pub use crate::curves::{create_adapter, CurveAdapter, CurveId, PointFormat};
12pub use crate::error::{Error, Result};
13pub use crate::formats::{
14    load_arkworks_bundle, load_arkworks_inputs, load_compact_bundle, load_snarkjs_json_inputs,
15    load_snarkjs_json_inputs_with_curve_hint, load_snarkjs_json_inputs_with_optional_proof,
16};
17pub use crate::model::{
18    CurveKind, DecimalValue, Groth16G1Point, Groth16G2Point, Groth16Proof, Groth16VerificationKey,
19    Groth16VerifierInputs, SourceFormat,
20};
21pub use crate::movegen::{
22    generate_move_package, proof_data_snippet, GenerateMovePackageOptions, MovegenMode,
23    ProofDataSnippet,
24};
25pub use crate::snarkjs::{
26    parse_compact_artifact, parse_proof, parse_public_inputs, parse_verification_key, Proof,
27    VerificationKey,
28};
29pub use crate::verifier::local_verify;
export_aptos_verifier_core/lib.rs

export_aptos_verifier_core/
lib.rs
