bytes4 private constant FLASH_MINT_CALLBACK_SUCCESS = bytes4(keccak256("onFlashMint(address,uint256,bytes)"));

migrator

address public migrator;

accAmountInPerChain

mapping(uint32 => mapping(address => uint256)) public accAmountInPerChain;

accAmountOutPerChain

mapping(uint32 => mapping(address => uint256)) public accAmountOutPerChain;

allowedCallers

mapping(address => mapping(address => bool)) public allowedCallers;

allowedChains

mapping(uint32 => bool) public allowedChains;

gasFees

mapping(uint32 => uint256) public gasFees;

verifier

IZkVerifier public verifier;

Functions

onlyMigrator

modifier onlyMigrator();

initialize

Initializes the new money market

function initialize(
    address underlying_,
    address operator_,
    address interestRateModel_,
    uint256 initialExchangeRateMantissa_,
    string memory name_,
    string memory symbol_,
    uint8 decimals_,
    address payable admin_,
    address zkVerifier_,
    address roles_
) external initializer;

Parameters

Name	Type	Description
`underlying_`	`address`	The address of the underlying asset
`operator_`	`address`	The address of the Operator
`interestRateModel_`	`address`	The address of the interest rate model
`initialExchangeRateMantissa_`	`uint256`	The initial exchange rate, scaled by 1e18
`name_`	`string`	ERC-20 name of this token
`symbol_`	`string`	ERC-20 symbol of this token
`decimals_`	`uint8`	ERC-20 decimal precision of this token
`admin_`	`address payable`	Address of the administrator of this token
`zkVerifier_`	`address`	The IZkVerifier address
`roles_`	`address`

isCallerAllowed

Returns if a caller is allowed for sender

function isCallerAllowed(address sender, address caller) external view returns (bool);

getProofData

Returns the proof data journal

function getProofData(address user, uint32 dstId) external view returns (uint256, uint256);

updateAllowedChain

Updates an allowed chain status

function updateAllowedChain(uint32 _chainId, bool _status) external;

Parameters

Name	Type	Description
`_chainId`	`uint32`	the chain id
`_status`	`bool`	the new status

extractForRebalancing

Extract amount to be used for rebalancing operation

function extractForRebalancing(uint256 amount) external;

Parameters

Name	Type	Description
`amount`	`uint256`	The amount to rebalance

setMigrator

Sets the migrator address

function setMigrator(address _migrator) external onlyAdmin;

Parameters

Name	Type	Description
`_migrator`	`address`	The new migrator address

setGasFee

Sets the gas fee

function setGasFee(uint32 dstChainId, uint256 amount) external onlyAdmin;

Parameters

Name	Type	Description
`dstChainId`	`uint32`	the destination chain id
`amount`	`uint256`	the gas fee amount

withdrawGasFees

Withdraw gas received so far

function withdrawGasFees(address payable receiver) external;

Parameters

Name	Type	Description
`receiver`	`address payable`	the receiver address

updateZkVerifier

Updates IZkVerifier address

function updateZkVerifier(address _zkVerifier) external onlyAdmin;

Parameters

Name	Type	Description
`_zkVerifier`	`address`	the verifier address

updateAllowedCallerStatus

Set caller status for msg.sender

function updateAllowedCallerStatus(address caller, bool status) external override;

Parameters

Name	Type	Description
`caller`	`address`	The caller address
`status`	`bool`	The status to set for `caller`

liquidateExternal

Mints tokens after external verification

function liquidateExternal(
    bytes calldata journalData,
    bytes calldata seal,
    address[] calldata userToLiquidate,
    uint256[] calldata liquidateAmount,
    address[] calldata collateral,
    address receiver
) external override;

Parameters

Name	Type	Description
`journalData`	`bytes`	The journal data for minting (array of encoded journals)
`seal`	`bytes`	The Zk proof seal
`userToLiquidate`	`address[]`	Array of positions to liquidate
`liquidateAmount`	`uint256[]`	Array of amounts to liquidate
`collateral`	`address[]`	Array of collaterals to seize
`receiver`	`address`	The collateral receiver

mintExternal

Mints tokens after external verification

function mintExternal(
    bytes calldata journalData,
    bytes calldata seal,
    uint256[] calldata mintAmount,
    uint256[] calldata minAmountsOut,
    address receiver
) external override;

Parameters

Name	Type	Description
`journalData`	`bytes`	The journal data for minting (array of encoded journals)
`seal`	`bytes`	The Zk proof seal
`mintAmount`	`uint256[]`	Array of amounts to mint
`minAmountsOut`	`uint256[]`	Array of min amounts accepted
`receiver`	`address`	The tokens receiver

repayExternal

Repays tokens after external verification

function repayExternal(
    bytes calldata journalData,
    bytes calldata seal,
    uint256[] calldata repayAmount,
    address receiver
) external override;

Parameters

Name	Type	Description
`journalData`	`bytes`	The journal data for repayment (array of encoded journals)
`seal`	`bytes`	The Zk proof seal
`repayAmount`	`uint256[]`	Array of amounts to repay
`receiver`	`address`	The position to repay for

withdrawOnExtension

Initiates a withdraw operation

amount represents the number of mTokens to redeem

function withdrawOnExtension(uint256 amount, uint32 dstChainId) external payable override;

Parameters

Name	Type	Description
`amount`	`uint256`	The amount to withdraw
`dstChainId`	`uint32`	The destination chain to recieve funds

borrowOnExtension

Initiates a withdraw operation

function borrowOnExtension(uint256 amount, uint32 dstChainId) external payable override;

Parameters

Name	Type	Description
`amount`	`uint256`	The amount to withdraw
`dstChainId`	`uint32`	The destination chain to recieve funds

mintMigration

Mints mTokens during migration without requiring underlying transfer

function mintMigration(uint256 amount, uint256 minAmount, address receiver) external onlyMigrator;

Parameters

Name	Type	Description
`amount`	`uint256`	The amount of underlying to be accounted for
`minAmount`	`uint256`	The min amount of underlying to be accounted for
`receiver`	`address`	The address that will receive the mTokens

borrowMigration

Borrows from market for a specific borrower and not msg.sender

function borrowMigration(uint256 amount, address borrower, address receiver) external onlyMigrator;

Parameters

Name	Type	Description
`amount`	`uint256`	The amount of underlying to be accounted for
`borrower`	`address`	The address that borrow is executed for
`receiver`	`address`

_computeTotalOutflowAmount

function _computeTotalOutflowAmount(uint256[] calldata amounts) private pure returns (uint256);

_checkOutflow

function _checkOutflow(uint256 amount) private;

_isAllowedFor

function _isAllowedFor(address _sender, bytes32 role) private view returns (bool);

_getProofForwarderRole

function _getProofForwarderRole() private view returns (bytes32);

_getBatchProofForwarderRole

function _getBatchProofForwarderRole() private view returns (bytes32);

_getSequencerRole

function _getSequencerRole() private view returns (bytes32);

_verifyProof

function _verifyProof(bytes calldata journalData, bytes calldata seal) private view;

_checkSender

function _checkSender(address msgSender, address srcSender) private view;

_liquidateExternal

function _liquidateExternal(
    bytes memory singleJournal,
    address userToLiquidate,
    uint256 liquidateAmount,
    address collateral,
    address receiver
) internal;

_mintExternal

function _mintExternal(bytes memory singleJournal, uint256 mintAmount, uint256 minAmountOut, address receiver)
    internal;

_repayExternal

function _repayExternal(bytes memory singleJournal, uint256 repayAmount, address receiver) internal;

Malda