Deploying to Robinhood

Deploy to testnet (46630) first. Mainnet comes only after a complete deposit → round exit with real proofs.

Order of operations

Deploy libraries

Deploy Poseidon2T4Unrolled and VeilifySwap on Robinhood Chain. Record their addresses.

Link and compile

Set settings.libraries in the standard input to the Robinhood addresses, then compile. Never reuse Ethereum-linked bytecode: it would call Ethereum library addresses.

Choose the virtual chain ID

Pick a unique Veilify Network chain ID. It is baked into the implementation and into every proof. It must differ from 4663, 46630 and every other deployment’s ID.

Deploy the implementation

new VeilifyPool(VEILIFY_VIRTUAL_CHAIN_ID, ROBINHOOD_V2_ROUTER)

The constructor disables initializers on the implementation itself.

Deploy verifiers and controller

Deploy the three verifiers that match your proving artifacts, and AdminUpgradeController(admin).

Create the pool atomically

bytes memory init = abi.encodeCall(
    VeilifyPool.initialize,
    (transferVerifier, withdrawalVerifier, swapVerifier, guard, upgradeController)
);
address pool = AtomicPoolFactory(factory).deployPool(implementation, init);

The factory creates the proxy and initializes it in one transaction. No one can front-run the uninitialized proxy.

Configure

As admin:

pool.setTreasury(treasury);
pool.setFeeConfig(depositBps, withdrawalBps, cancelCheckFee, settleGasOverhead);
pool.setRelayer(relayer, true);
pool.setWhitelistManager(manager);
pool.setTokenWhitelist(address(0), TokenType.NATIVE_TOKEN);
pool.setTokenParams(token, minDeposit, checkFee, maxPullGasFee);
pool.setDepositLimits(token, maxDeposit, depositCap);

Record the deployment block

Scanners start from it. Publish it on Deployment Addresses.

Robinhood-specific settings

Setting	Guidance
`settleGasOverhead`	Raise above 45,000 to cover the L1 data fee of a settlement. Measure it on testnet. Max 500,000.
Round gas fields	Recalibrate `gasLimit`, fee cap and reserve per leg from measured verification cost
Router	Verify a V2 router, WETH and liquidity before whitelisting swap paths. Keep swaps disabled until then.
Indexing	Use L2 block numbers from the RPC, not `block.number`. Track soft vs. final confirmation.
RPC	Use a provider endpoint, not the rate-limited public RPC

Post-deploy checks

VIRTUAL_CHAIN_ID() and UNISWAP_V2_ROUTER() return the intended values
shieldedTransferVerifier, shieldedWithdrawalVerifier, shieldedSwapVerifier, guard and upgradeController are set
Implementation bytecode contains the Robinhood library addresses
A test deposit is approved and appears as a NoteAdded
A real-proof transfer and withdrawal succeed on testnet

Developer Guide

Appendix

Deploying to Robinhood

Order of operations

Robinhood-specific settings

Post-deploy checks

​Order of operations

​Robinhood-specific settings

​Post-deploy checks

Order of operations

Robinhood-specific settings

Post-deploy checks