​
Contracts

  • Target libraries, verifiers, implementation and pool deployed and linked
  • Gatekeeper, relayers, upgrade controller, treasury, whitelist and limits configured
  • Contract addresses and deployment block published

​
Proving

  • Circuit artifacts (ACIR + proving key) that match the deployed verifiers
  • Witness construction for transfer, withdrawal and swap
  • Public-input layout tested against Public Inputs

​
Keys and notes

  • EIP-712 KeyDerivation schema pinned for this deployment
  • Inbox-key registration, with local verification of the registered ek
  • Note scanning from the deployment block, trial decryption, balance computation
  • Nullifier and change-note tracking

​
Network

  • Veilify Network virtual chain ID assigned and served by veilify_getChains
  • Wallet add-network and switch flow
  • Settlement chain ID never substituted for the virtual chain ID

​
Veilify methods

  • veilify_getChains and veilify_getWithdrawalPolicy (public)
  • veilify_prepareWithdrawal, veilify_getWithdrawals, veilify_cancelWithdrawal, veilify_getTransactions (authenticated)
  • Policy fetched dynamically. Round mode fails safe when unavailable.

​
Withdrawal scheduler

  • Explicit, tested association between each prepared intent and its signed transaction, with replay protection
  • Durable job storage, note and nonce reservations
  • Independent stagger outcomes, expired-quote refresh, fee caps
  • Proof and preflight workers, timed dispatch
  • Crash and reorg recovery

​
Client

  • Ambiguous submissions reconciled against status and history, never blindly retried
  • Partial signing, moved rounds and cancellation confirmed by the backend
  • Integer fee arithmetic (floor, and gross-up for net amounts)

​
Launch gates

  • Robinhood L2 + L1 fee calibration
  • Complete deposit → scheduled exit on testnet with real proofs and receipts
  • V2 router, WETH and liquidity verified before enabling swaps