fn verify(
env: soroban_sdk::Env,
alpha: soroban_sdk::BytesN<64>,
beta: soroban_sdk::BytesN<128>,
gamma: soroban_sdk::BytesN<128>,
delta: soroban_sdk::BytesN<128>,
ic: soroban_sdk::Vec>,
a: soroban_sdk::BytesN<64>,
b: soroban_sdk::BytesN<128>,
c: soroban_sdk::BytesN<64>,
pubs: soroban_sdk::Vec>,
) -> bool