Verify an UltraHonk proof using the stored VK.
fn verify_proof(
env: soroban_sdk::Env,
public_inputs: soroban_sdk::Bytes,
proof_bytes: soroban_sdk::Bytes,
) -> Result<(), soroban_sdk::Error>Initialize the on-chain VK once at deploy time.
fn __constructor(
env: soroban_sdk::Env,
vk_bytes: soroban_sdk::Bytes,
) -> Result<(), soroban_sdk::Error>