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_arkworks_inputs_auto, load_compact_bundle,
15    load_gnark_binary_inputs, load_gnark_binary_inputs_auto, load_gnark_json_inputs,
16    load_snarkjs_json_inputs, load_snarkjs_json_inputs_with_curve_hint,
17    load_snarkjs_json_inputs_with_optional_proof, load_sp1_groth16_inputs,
18};
19pub use crate::model::{
20    CurveKind, DecimalValue, Groth16G1Point, Groth16G2Point, Groth16Proof, Groth16VerificationKey,
21    Groth16VerifierInputs, SourceFormat,
22};
23pub use crate::movegen::{
24    generate_move_package, proof_data_snippet, GenerateMovePackageOptions, MovegenMode,
25    ProofDataSnippet,
26};
27pub use crate::snarkjs::{
28    parse_compact_artifact, parse_proof, parse_public_inputs, parse_verification_key, Proof,
29    VerificationKey,
30};
31pub use crate::verifier::local_verify;
export_aptos_verifier_core/lib.rs

export_aptos_verifier_core/
lib.rs
