Asset Operations
Swap assets or enter vaults through approved routes, then recover the output in private notes.
Call a public venue#
An action sends private value through an approved adapter and sets the private owner of the result. A swap can return another token; a vault deposit can return shares. The venue call and its amounts are public.
The Pool measures the tokens returned and checks the minimum in the proof. Before proving, show the input amount and route, along with the expected output and the least output the user agrees to accept.
When the output becomes spendable#
The immediate entrypoint runs the action and appends its output note in one transaction. The two-stage path reserves the output first and lets anyone finalize its note later. Both paths execute the same authorized action.
Show reserved value as pending until its note is appended. If the action succeeds but finalization stops, offer Complete settlement using the receipt from authenticated public history.
Add a route#
The publisher admits tokens and routes. A route fixes the adapter, operation and asset pair. Before enabling it, review the adapter code, external dependencies and proxy implementations, including how the tokens transfer and any venue restrictions.
The repository has specific Uniswap, Aave Stata, Morpho, Dolomite and ERC-4626 integrations. Other vaults need their own review. Native-token DeFi and arbitrary adapters are outside these routes.
| Position | What the account holds | What to show |
|---|---|---|
| Vault share note | Share-token units | Underlying value is an estimate; redemption depends on the venue |
| Asynchronous ticket note | A transferable ticket claim | When harvest or redemption is available |
| Reserved action output | Value waiting for finalization | It becomes spendable after note finalization |
Withdrawal and recovery#
Test ordinary withdrawal of the held token or shares separately from the venue's redeem call. Removing permission for new actions should not remove the holder's original Pool exit.
Async ticket adapters have their own harvest and refund steps. Show the venue's pending state and how to continue from it. A ticket can represent a later claim even when underlying assets cannot be withdrawn immediately.