Zellic - Audit Reports

This function is a decentralized batch-settlement system where the authorized solver submits the optimal batch-settlement solution.

tokens
- Control: Full control.
- Constraints: None.
- Impact: An array of ERC-20 tokens to be traded in the settlement.
clearingPrices
- Control: Full control.
- Constraints: The length must be the same as the length of the tokens array, and the price value cannot be 0 (which will cause a division-by-zero error).
- Impact: An array of token-clearing prices.
trades
- Control: Full control.
- Constraints: Each trade must have a valid user signature, tokenInIndex and tokenOutIndex must be within the range of the tokens array, validTo must be greater than or equal to block.timestamp, feeAmount must be less than amountIn, the order cannot have been filled or canceled, and the actual output amount must be greater than or equal to minAmountOut.
- Impact: Structure representing a trade to be executed in a settlement.
actions
- Control: Full control.
- Constraints: action.target cannot be a VAULT_RELAYER address.
- Impact: Structure representing an action to be executed during settlement.

Intended branches

The solver can successfully use this function to process ERC-20 standard transfer transactions.

The solver can successfully use this function to process transactions with Permit2 signatures.

The function correctly handles the fee and transfers it to the feeReceiver.

The function can successfully process multiple transactions in batches.

Negative behavior

Revert if the caller is not a solver.

Revert if the order has expired.

Revert if the order has been filled.

Revert if the order has been canceled.

Revert if order.feeAmount >= order.amountIn.

Revert if actualAmountOut < order.minAmountOut.

Revert with SigningSchemaEIP712Invalid if the signature is invalid.

Revert if the signature is invalid.

Revert if action.target == address(VAULT_RELAYER).

Revert if malicious tokens or contracts attempt to reenter the settlement.