Legacy claim with preimage (for backwards compatibility). Only works for deposits with zk_version = 0.
fn claim(
env: soroban_sdk::Env,
preimage: soroban_sdk::Bytes,
commitment: soroban_sdk::BytesN<32>,
recipient: soroban_sdk::Address,
)fn get_vk(env: soroban_sdk::Env) -> OptionDeposit funds with a commitment (ZK-compatible).
The commitment can be:
V2: Deposits stored in persistent storage with per-deposit TTL. No global cap — each deposit is an independent storage entry.
fn deposit(
env: soroban_sdk::Env,
from: soroban_sdk::Address,
asset: soroban_sdk::Address,
amount: i128,
commitment: soroban_sdk::BytesN<32>,
timeout_ledger: u32,
zk_version: u32,
)ZK claim with Groth16-style proof verification. Uses BN254 pairing check for verification (Ethereum-compatible).
The proof demonstrates knowledge of private data that corresponds to the commitment, without revealing the actual data.
fn claim_zk(
env: soroban_sdk::Env,
commitment: soroban_sdk::BytesN<32>,
proof: ZkProof,
recipient: soroban_sdk::Address,
)fn get_pending(
env: soroban_sdk::Env,
commitment: soroban_sdk::BytesN<32>,
) -> Optionfn is_deployed(env: soroban_sdk::Env) -> boolConstructor called once at deployment.
Args:
fn __constructor(
env: soroban_sdk::Env,
owner: soroban_sdk::Address,
vk: VerificationKey,
)Public reclaim after timeout. Anyone can relay this — funds always return to the original sender.
fn reclaim_expired(env: soroban_sdk::Env, commitment: soroban_sdk::BytesN<32>)fn get_pending_count(env: soroban_sdk::Env) -> u32Set/update the verification key for ZK proofs (owner only).
Emits a vk_set event for auditability.
fn set_verification_key(
env: soroban_sdk::Env,
caller: soroban_sdk::Address,
vk: VerificationKey,
)