Contract d385f66c1e949400cd355ae03ec178b4b949f712cdb03176075d8dc96c6f4fe9

← Back to Index 📥 Download WASM

Meta

rssdkver 25.0.0-rc.2#acffbbd45be6a0a551146eebfc268d6f95078246
rsver 1.91.1

Instances

  • CDLPZXMJUDMMMPRYMY5GVG5CQDE33KCM74WJKFDO2B7RFPSBFDO2QKVK

Interface

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 has_vk_id(env: soroban_sdk::Env, vk_id: soroban_sdk::Symbol) -> bool
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)

Register or replace a verification key under a stable vk_id (multi-circuit support). Admin-only.

This keeps the contract upgradeable without forcing redeploys per circuit: callers can select the key by id using verify_proof_vk.

fn set_vk_by_id(
    env: soroban_sdk::Env,
    vk_id: soroban_sdk::Symbol,
    vk_bytes: soroban_sdk::Bytes,
)

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 default_vk_id(env: soroban_sdk::Env) -> Option
fn is_initialized(env: soroban_sdk::Env) -> bool

Verify an UltraHonk proof using a VK registered under vk_id.

NOTE: This is the stable interface for multi-circuit verification.

fn verify_proof_vk(
    env: soroban_sdk::Env,
    vk_id: soroban_sdk::Symbol,
    public_inputs: soroban_sdk::Bytes,
    proof_bytes: soroban_sdk::Bytes,
) -> bool

Set the default vk_id used by verify_proof. Admin-only.

fn set_default_vk_id(env: soroban_sdk::Env, vk_id: soroban_sdk::Symbol)

Imports

WebAssembly Text (WAT) ▶