fn admin(env: soroban_sdk::Env) -> soroban_sdk::Address
fn has_vk(env: soroban_sdk::Env) -> bool
Set or replace the stored verification key. Admin-only.
fn set_vk(env: soroban_sdk::Env, vk_bytes: soroban_sdk::Bytes)
fn upgrade(env: soroban_sdk::Env, new_wasm_hash: soroban_sdk::BytesN<32>)
fn version(env: soroban_sdk::Env) -> u32
fn set_admin(env: soroban_sdk::Env, new_admin: soroban_sdk::Address)
fn extend_ttl(env: soroban_sdk::Env)
fn init_admin(env: soroban_sdk::Env, admin: soroban_sdk::Address)
Verify an UltraHonk proof using the stored VK.
NOTE: public_inputs must be encoded exactly as expected by the verifier library.
fn verify_proof(
env: soroban_sdk::Env,
public_inputs: soroban_sdk::Bytes,
proof_bytes: soroban_sdk::Bytes,
) -> bool
fn is_initialized(env: soroban_sdk::Env) -> bool