fn info(env: soroban_sdk::Env) -> PaymentVerifierInfo
fn domain(env: soroban_sdk::Env) -> soroban_sdk::BytesN<32>
fn verify(
env: soroban_sdk::Env,
statement: PaymentProofStatement,
proof: soroban_sdk::Bytes,
) -> bool
fn add_key(
env: soroban_sdk::Env,
controller: soroban_sdk::Address,
key: PaymentCircuitKey,
) -> 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: PaymentCircuit,
) -> Option
fn __constructor(env: soroban_sdk::Env, controller: soroban_sdk::Address)