User Flows

Deposit (Shield)

1. User authorizes token transfer (Permit2 supported).

2. SDK computes commitments and generates a shield proof in a WebWorker.

3. Pool verifies the proof and inserts commitments (Merkle leafs); subgraph records Commitment, NewRoot.

Spend / Transfer / Withdraw

1. SDK collects input notes, computes Merkle paths, and generates a spend proof in a WebWorker.

2. Pool verifies the proof, marks nullifiers as used, inserts new commitments, and optionally processes withdrawal/fees.

3. Subgraph updates Nullifier, Withdrawal, FeePaid, and daily aggregates.