Contract 9142dcb2bf6912b2ecdac80bbdf96ad63e1b451f43189ba83ec1bb3f2af22c6b

fn get_proof(env: soroban_sdk::Env, proof_id: u64) -> ProofRecord

fn get_config(env: soroban_sdk::Env) -> ZkConfig

fn initialize(env: soroban_sdk::Env, admin: soroban_sdk::Address)

fn get_verifier(
    env: soroban_sdk::Env,
    circuit_id: soroban_sdk::BytesN<32>,
) -> CircuitVerifier

fn has_verified(
    env: soroban_sdk::Env,
    subject: soroban_sdk::Address,
    circuit_id: soroban_sdk::BytesN<32>,
) -> bool

fn record_proof(
    env: soroban_sdk::Env,
    subject: soroban_sdk::Address,
    circuit_id: soroban_sdk::BytesN<32>,
    commitment: soroban_sdk::BytesN<32>,
    public_inputs_hash: soroban_sdk::BytesN<32>,
    proof_hash: soroban_sdk::BytesN<32>,
    verifier_hash: soroban_sdk::BytesN<32>,
) -> u64

fn register_verifier(
    env: soroban_sdk::Env,
    admin: soroban_sdk::Address,
    circuit_id: soroban_sdk::BytesN<32>,
    verifier_hash: soroban_sdk::BytesN<32>,
    kind_hash: soroban_sdk::BytesN<32>,
    enabled: bool,
)

fn admin_record_proof(
    env: soroban_sdk::Env,
    admin: soroban_sdk::Address,
    subject: soroban_sdk::Address,
    circuit_id: soroban_sdk::BytesN<32>,
    commitment: soroban_sdk::BytesN<32>,
    public_inputs_hash: soroban_sdk::BytesN<32>,
    proof_hash: soroban_sdk::BytesN<32>,
    verifier_hash: soroban_sdk::BytesN<32>,
) -> u64

fn get_subject_proof_id(
    env: soroban_sdk::Env,
    subject: soroban_sdk::Address,
    circuit_id: soroban_sdk::BytesN<32>,
) -> Option

fn set_verifier_enabled(
    env: soroban_sdk::Env,
    admin: soroban_sdk::Address,
    circuit_id: soroban_sdk::BytesN<32>,
    enabled: bool,
)

fn verify_bn254_pairing(
    env: soroban_sdk::Env,
    subject: soroban_sdk::Address,
    circuit_id: soroban_sdk::BytesN<32>,
    commitment: soroban_sdk::BytesN<32>,
    public_inputs_hash: soroban_sdk::BytesN<32>,
    proof_hash: soroban_sdk::BytesN<32>,
    verifier_hash: soroban_sdk::BytesN<32>,
    g1_points: soroban_sdk::Vec>,
    g2_points: soroban_sdk::Vec>,
) -> u64