fn init(env: soroban_sdk::Env, admin: soroban_sdk::Address)
fn set_vk(env: soroban_sdk::Env, circuit_id: u32, vk: VerificationKey)
fn verify(
env: soroban_sdk::Env,
circuit_id: u32,
proof: Proof,
public_inputs: soroban_sdk::Vec>,
) -> bool