# Safety Module Deposits

Assets deposited into a Safety Module can be tapped by controllers if the Safety Module is triggered (see [Safety Module Raising](/developer-guides/safety-module-raises.md)). In return, depositors are minted receipt tokens which may be used to earn rewards (see [Stake into a Rewards Manager](/developer-guides/stake-into-a-rewards-manager.md)) and withdraw their assets.

To deposit assets, `SafetyModule.depositReserveAssets` or `SafetyModule.depositReserveAssetsWithoutTransfer` can be used.

**Note:** The `SafetyModule.depositReserveAssetsWithoutTransfer` is only designed to be used by integrators or the [CozyRouter](#using-cozyrouter-to-deposit-assets) contract, where assets are atomically transferred into the SafetyModule and deposited on behalf of a user. Otherwise, assets that have been transferred and sitting in the SafetyModule are at risk of being claimed as a deposit by someone who front-runs the call to `depositReserveAssetsWithoutTransfer`.

```solidity
/// @notice Deposits reserve assets into the SafetyModule and mints deposit receipt tokens.
/// @dev Expects `msg.sender` to have approved this SafetyModule for `reserveAssetAmount_` of
/// `reservePools[reservePoolId_].asset` so it can `transferFrom` the assets to this SafetyModule.
/// @param reservePoolId_ The ID of the reserve pool to deposit assets into.
/// @param reserveAssetAmount_ The amount of reserve assets to deposit.
/// @param receiver_ The address to receive the deposit receipt tokens.
function depositReserveAssets(uint8 reservePoolId_, uint256 reserveAssetAmount_, address receiver_)
    external
    returns (uint256 depositReceiptTokenAmount_);
    
/// @notice Deposits reserve assets into the SafetyModule and mints deposit receipt tokens.
/// @dev Expects depositer to transfer assets to the SafetyModule beforehand.
/// @param reservePoolId_ The ID of the reserve pool to deposit assets into.
/// @param reserveAssetAmount_ The amount of reserve assets to deposit.
/// @param owner_ The owner of the deposited assets (for event logging purposes).
/// @param receiver_ The address to receive the deposit receipt tokens.
function depositReserveAssetsWithoutTransfer(
  uint8 reservePoolId_,
  uint256 reserveAssetAmount_,
  address owner_,
  address receiver_
) external returns (uint256 depositReceiptTokenAmount_)
```

`SafetyModule.depositReserveAssets` requires `msg.sender` to have approved `SafetyModule` to a spend sufficient amount of their `SafetyModule.reservePools(reservePoolId).asset` balance.

`SafetyModule.depositReserveAssetsWithoutTransfer` requires the `SafetyModule.reservePools(reservePoolId).asset` amount being deposited to be transferred to the Safety Module beforehand.

## Using CozyRouter to deposit assets

Using the [CozyRouter](broken://pages/z3zOxW6ojdnY9n2NEfch) may be preferable in cases where integrators would like to batch several Safety Module related function calls into a single transaction (e.g. wrap ETH to WETH and deposit).

To deposit assets using the CozyRouter, integrators can use `CozyRouter.depositReserveAssets`:

```solidity
/// @notice Deposits assets into a `safetyModule_` reserve pool by transferring `reserveAssetAmount_` of the reserve
/// assets from the caller to the `safetyModule_` and minting `depositReceiptTokenAmount_` receipt tokens to the
/// `receiver_`.
/// @dev This will revert if the router is not approved for at least `reserveAssetAmount_` of the reserve asset.
/// @dev The `receiver_` must be set to the msg.sender to mantain the custody invariant.
function depositReserveAssets(
  ISafetyModule safetyModule_,
  uint8 reservePoolId_,
  uint256 reserveAssetAmount_,
  address receiver_
) public payable returns (uint256 depositReceiptTokenAmount_);
```

This method will:

* Transfer the underlying reserve assets from the `msg.sender` to the Safety Module.
* Call `SafetyModule.depositReserveAssetsWithoutTransfer.`

`CozyRouter.depositReserveAssets` requires the depositor to have approved `CozyRouter` to a spend sufficient amount of their `SafetyModule.reservePools(reservePoolId).asset` balance.

## Deposit mechanics

On deposit, high-level the Safety Module does the following:

* Check if the Safety Module is `PAUSED`. If so, revert.
* Check the Safety Module's asset balance to determine if the total deposit amount was transferred to it. If not, revert.
* Update the relevant reserve pool's internal accounting.
* Mint the `receiver_` address deposit receipt tokens.
* Emit a `Deposited` event.


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://csm-docs.cozy.finance/developer-guides/safety-module-deposits.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.