Contract e2f43bb189dac32c44870f96f0f4534803a5e6efb713cde78a884e1fb1f8c739

fn info(env: soroban_sdk::Env) -> VerifierInfo

fn domain(env: soroban_sdk::Env) -> soroban_sdk::BytesN<32>

fn verify(
    env: soroban_sdk::Env,
    statement: ProofStatement,
    proof: soroban_sdk::Bytes,
) -> bool

fn add_key(
    env: soroban_sdk::Env,
    controller: soroban_sdk::Address,
    key: CircuitKey,
) -> soroban_sdk::BytesN<32>

fn finalize(
    env: soroban_sdk::Env,
    controller: soroban_sdk::Address,
) -> soroban_sdk::BytesN<32>

fn extend_ttl(env: soroban_sdk::Env)

fn circuit_key(env: soroban_sdk::Env, circuit: ProofCircuit) -> Option

fn verify_batch(
    env: soroban_sdk::Env,
    statement: BatchProofStatement,
    proof: soroban_sdk::Bytes,
) -> bool

fn __constructor(env: soroban_sdk::Env, controller: soroban_sdk::Address)

Meta