Contract 1d64fdb00ff27d96ccc0eda4c2b353e01a0d183de00b93a3407d3da9f6d7d2cf

fn get_vk_hash(
    env: soroban_sdk::Env,
) -> Result, UltraHonkVerifierError>

fn verify_proof(
    env: soroban_sdk::Env,
    public_inputs: soroban_sdk::Bytes,
    proof_bytes: soroban_sdk::Bytes,
) -> Result

fn __constructor(
    env: soroban_sdk::Env,
    vk_bytes: soroban_sdk::Bytes,
) -> Result<(), UltraHonkVerifierError>