Deposit a variable amount and append a new commitment.
The caller must provide the new Merkle root computed off-chain.
fn deposit(
env: soroban_sdk::Env,
from: soroban_sdk::Address,
commitment: soroban_sdk::BytesN<32>,
new_root: soroban_sdk::BytesN<32>,
amount: i128,
) -> Result
fn transfer(
env: soroban_sdk::Env,
proof_bytes: soroban_sdk::Bytes,
pub_signals_bytes: soroban_sdk::Bytes,
nullifier: soroban_sdk::BytesN<32>,
new_commitment: soroban_sdk::BytesN<32>,
new_root: soroban_sdk::BytesN<32>,
) -> Result
fn withdraw(
env: soroban_sdk::Env,
to: soroban_sdk::Address,
proof_bytes: soroban_sdk::Bytes,
pub_signals_bytes: soroban_sdk::Bytes,
nullifier: soroban_sdk::BytesN<32>,
) -> Result<(), soroban_sdk::Error>
fn get_admin(env: soroban_sdk::Env) -> soroban_sdk::Address
fn initialize(
env: soroban_sdk::Env,
verifier_address: soroban_sdk::Address,
vk_bytes: soroban_sdk::Bytes,
token_address: soroban_sdk::Address,
admin: soroban_sdk::Address,
)
fn get_balance(env: soroban_sdk::Env) -> i128
fn get_nullifiers(env: soroban_sdk::Env) -> soroban_sdk::Vec>
Debug / indexing: get all commitments in insertion order.
fn get_commitments(env: soroban_sdk::Env) -> soroban_sdk::Vec>
fn get_merkle_root(env: soroban_sdk::Env) -> soroban_sdk::BytesN<32>
Debug: get the recent accepted roots window.
fn get_recent_roots(env: soroban_sdk::Env) -> soroban_sdk::Vec>