fn get_admin(env: soroban_sdk::Env) -> soroban_sdk::AddressOne-time initialization. Sets the admin and all three verification keys. Panics if called a second time.
fn initialize(
env: soroban_sdk::Env,
admin: soroban_sdk::Address,
vk_order: VerificationKey,
vk_balance: VerificationKey,
vk_range: VerificationKey,
vk_match: VerificationKey,
)Verify a MatchProof Groth16 proof. Public signals: [buyer_commitment, seller_commitment, clearing_price, xlm_amount, usdc_amount].
fn verify_match_proof(
env: soroban_sdk::Env,
proof: Groth16Proof,
public_signals: soroban_sdk::Vec>,
) -> bool Verify an OrderCommitment Groth16 proof.
fn verify_order_proof(
env: soroban_sdk::Env,
proof: Groth16Proof,
public_signals: soroban_sdk::Vec>,
) -> bool Verify a RangeProof Groth16 proof.
fn verify_range_proof(
env: soroban_sdk::Env,
proof: Groth16Proof,
public_signals: soroban_sdk::Vec>,
) -> bool Verify a BalanceProof Groth16 proof.
fn verify_balance_proof(
env: soroban_sdk::Env,
proof: Groth16Proof,
public_signals: soroban_sdk::Vec>,
) -> bool