fn initialize(
env: soroban_sdk::Env,
admin: soroban_sdk::Address,
zk_verifier: soroban_sdk::Address,
)
fn buy_listing(
env: soroban_sdk::Env,
buyer: soroban_sdk::Address,
listing_id: u64,
usdc_token: soroban_sdk::Address,
prop_token: soroban_sdk::Address,
prop_issuer: soroban_sdk::Address,
)
fn get_listing(env: soroban_sdk::Env, listing_id: u64) -> Listing
fn cancel_listing(env: soroban_sdk::Env, seller: soroban_sdk::Address, listing_id: u64)
fn create_listing(
env: soroban_sdk::Env,
seller: soroban_sdk::Address,
token_amount: i128,
price_usdc: i128,
) -> u64
fn get_zk_verifier(env: soroban_sdk::Env) -> soroban_sdk::Address
fn get_listing_count(env: soroban_sdk::Env) -> u64