fn verify(
env: soroban_sdk::Env,
proof: soroban_sdk::Bytes,
root: soroban_sdk::BytesN<32>,
nullifier_hash: soroban_sdk::BytesN<32>,
recipient: soroban_sdk::BytesN<32>,
relayer: soroban_sdk::BytesN<32>,
relayer_fee: soroban_sdk::BytesN<32>,
amount_hash: soroban_sdk::BytesN<32>,
asset_id: soroban_sdk::BytesN<32>,
) -> bool
fn __constructor(
env: soroban_sdk::Env,
alpha_g1: soroban_sdk::BytesN<64>,
beta_g2: soroban_sdk::BytesN<128>,
gamma_g2: soroban_sdk::BytesN<128>,
delta_g2: soroban_sdk::BytesN<128>,
ic: soroban_sdk::Vec>,
)