Contract 2e9f9eec7968eca2461a4bff3aa6b3a283f739ee7536243f46177ce19acb1095

fn init(env: soroban_sdk::Env, admin: soroban_sdk::Address)

fn has_vk(env: soroban_sdk::Env, vk_hash: soroban_sdk::BytesN<32>) -> bool

fn set_vk(
    env: soroban_sdk::Env,
    admin: soroban_sdk::Address,
    vk_hash: soroban_sdk::BytesN<32>,
    vk: soroban_sdk::Bytes,
)

fn verify(
    env: soroban_sdk::Env,
    vk_hash: soroban_sdk::BytesN<32>,
    public_inputs: soroban_sdk::Vec,
    proof: soroban_sdk::Bytes,
) -> bool

fn clear_vk(
    env: soroban_sdk::Env,
    admin: soroban_sdk::Address,
    vk_hash: soroban_sdk::BytesN<32>,
)