{"file_path":"lib/mento-core/contracts/tokens/StableTokenV3.sol","creation_status":"success","source_code":"// SPDX-License-Identifier: BUSL-1.1\n// solhint-disable gas-custom-errors\npragma solidity ^0.8;\n\nimport { ERC20PermitUpgradeable } from \"./patched/ERC20PermitUpgradeable.sol\";\nimport { ERC20Upgradeable } from \"./patched/ERC20Upgradeable.sol\";\n\nimport { IStableTokenV3 } from \"../interfaces/IStableTokenV3.sol\";\nimport { IFeeCurrency } from \"../interfaces/IFeeCurrency.sol\";\nimport { CalledByVm } from \"celo/contracts/common/CalledByVm.sol\";\n\n/**\n * @title ERC20 token with minting and burning permissiones to a minter and burner roles.\n * Direct transfers between the protocol and the user are done by the operator role.\n */\ncontract StableTokenV3 is IStableTokenV3, IFeeCurrency, ERC20PermitUpgradeable, CalledByVm {\n /* ========================================================= */\n /* ==================== State Variables ==================== */\n /* ========================================================= */\n\n // Deprecated storage slots for backwards compatibility with StableTokenV2\n // slither-disable-start constable-states\n // solhint-disable-next-line var-name-mixedcase\n address public deprecated_validators_storage_slot__;\n // solhint-disable-next-line var-name-mixedcase\n address public deprecated_broker_storage_slot__;\n // solhint-disable-next-line var-name-mixedcase\n address public deprecated_exchange_storage_slot__;\n // slither-disable-end constable-states\n\n // Mapping of allowed addresses that can mint\n mapping(address => bool) public isMinter;\n // Mapping of allowed addresses that can burn\n mapping(address => bool) public isBurner;\n // Mapping of allowed addresses that can call the operator functions\n // These functions are used to do direct transfers between the protocol and the user\n // This will be the StabilityPools\n mapping(address => bool) public isOperator;\n\n /* ========================================================= */\n /* ======================== Events ========================= */\n /* ========================================================= */\n\n event MinterUpdated(address indexed minter, bool isMinter);\n event BurnerUpdated(address indexed burner, bool isBurner);\n event OperatorUpdated(address indexed operator, bool isOperator);\n\n /* ========================================================= */\n /* ====================== Modifiers ======================== */\n /* ========================================================= */\n\n /// @dev Restricts a function so it can only be executed by an address that's allowed to mint.\n modifier onlyMinter() {\n address sender = _msgSender();\n require(isMinter[sender], \"StableTokenV3: not allowed to mint\");\n _;\n }\n\n /// @dev Restricts a function so it can only be executed by an address that's allowed to burn.\n modifier onlyBurner() {\n address sender = _msgSender();\n require(isBurner[sender], \"StableTokenV3: not allowed to burn\");\n _;\n }\n\n /// @dev Restricts a function so it can only be executed by the operator role.\n modifier onlyOperator() {\n address sender = _msgSender();\n require(isOperator[sender], \"StableTokenV3: not allowed to call only by operator\");\n _;\n }\n\n /* ========================================================= */\n /* ====================== Constructor ====================== */\n /* ========================================================= */\n\n /**\n * @notice The constructor for the StableTokenV3 contract.\n * @dev Should be called with disable=true in deployments when\n * it's accessed through a Proxy.\n * Call this with disable=false during testing, when used\n * without a proxy.\n * @param disable Set to true to run `_disableInitializers()` inherited from\n * openzeppelin-contracts-upgradeable/Initializable.sol\n */\n constructor(bool disable) {\n if (disable) {\n _disableInitializers();\n }\n }\n\n /// @inheritdoc IStableTokenV3\n function initialize(\n // slither-disable-start shadowing-local\n string memory _name,\n string memory _symbol,\n address _initialOwner,\n // slither-disable-end shadowing-local\n address[] memory initialBalanceAddresses,\n uint256[] memory initialBalanceValues,\n address[] memory _minters,\n address[] memory _burners,\n address[] memory _operators\n ) external reinitializer(3) {\n __ERC20_init_unchained(_name, _symbol);\n __EIP712_init_unchained(_name, \"3\");\n _transferOwnership(_initialOwner);\n\n require(initialBalanceAddresses.length == initialBalanceValues.length, \"Array length mismatch\");\n for (uint256 i = 0; i < initialBalanceAddresses.length; i += 1) {\n _mint(initialBalanceAddresses[i], initialBalanceValues[i]);\n }\n for (uint256 i = 0; i < _minters.length; i += 1) {\n _setMinter(_minters[i], true);\n }\n for (uint256 i = 0; i < _burners.length; i += 1) {\n _setBurner(_burners[i], true);\n }\n for (uint256 i = 0; i < _operators.length; i += 1) {\n _setOperator(_operators[i], true);\n }\n }\n\n /// @inheritdoc IStableTokenV3\n function initializeV3(\n address[] memory _minters,\n address[] memory _burners,\n address[] memory _operators\n ) public reinitializer(3) onlyOwner {\n __EIP712_init_unchained(name(), \"3\");\n\n for (uint256 i = 0; i < _minters.length; i += 1) {\n _setMinter(_minters[i], true);\n }\n for (uint256 i = 0; i < _burners.length; i += 1) {\n _setBurner(_burners[i], true);\n }\n for (uint256 i = 0; i < _operators.length; i += 1) {\n _setOperator(_operators[i], true);\n }\n }\n\n /* ============================================================ */\n /* ==================== Mutative Functions ==================== */\n /* ============================================================ */\n\n /// @inheritdoc IStableTokenV3\n function setOperator(address _operator, bool _isOperator) external onlyOwner {\n _setOperator(_operator, _isOperator);\n }\n\n /// @inheritdoc IStableTokenV3\n function setMinter(address _minter, bool _isMinter) external onlyOwner {\n _setMinter(_minter, _isMinter);\n }\n\n /// @inheritdoc IStableTokenV3\n function setBurner(address _burner, bool _isBurner) external onlyOwner {\n _setBurner(_burner, _isBurner);\n }\n\n /// @inheritdoc IStableTokenV3\n function mint(address to, uint256 value) external onlyMinter returns (bool) {\n _mint(to, value);\n return true;\n }\n\n /// @inheritdoc IStableTokenV3\n function burn(uint256 value) external onlyBurner returns (bool) {\n _burn(msg.sender, value);\n return true;\n }\n\n /// @inheritdoc IStableTokenV3\n function burn(address account, uint256 value) external onlyBurner returns (bool) {\n _burn(account, value);\n return true;\n }\n\n /// @inheritdoc IStableTokenV3\n function sendToPool(address _sender, address _poolAddress, uint256 _amount) external onlyOperator {\n _transfer(_sender, _poolAddress, _amount);\n }\n\n /// @inheritdoc IStableTokenV3\n function returnFromPool(address _poolAddress, address _receiver, uint256 _amount) external onlyOperator {\n _transfer(_poolAddress, _receiver, _amount);\n }\n\n /// @inheritdoc IStableTokenV3\n function transferFrom(\n address from,\n address to,\n uint256 amount\n ) public override(ERC20Upgradeable, IStableTokenV3) returns (bool) {\n return ERC20Upgradeable.transferFrom(from, to, amount);\n }\n\n /// @inheritdoc IStableTokenV3\n function transfer(address to, uint256 amount) public override(ERC20Upgradeable, IStableTokenV3) returns (bool) {\n return ERC20Upgradeable.transfer(to, amount);\n }\n\n /// @inheritdoc IStableTokenV3\n function balanceOf(address account) public view override(ERC20Upgradeable, IStableTokenV3) returns (uint256) {\n return ERC20Upgradeable.balanceOf(account);\n }\n\n /// @inheritdoc IStableTokenV3\n function approve(address spender, uint256 amount) public override(ERC20Upgradeable, IStableTokenV3) returns (bool) {\n return ERC20Upgradeable.approve(spender, amount);\n }\n\n /// @inheritdoc IStableTokenV3\n function allowance(\n address owner,\n address spender\n ) public view override(ERC20Upgradeable, IStableTokenV3) returns (uint256) {\n return ERC20Upgradeable.allowance(owner, spender);\n }\n\n /// @inheritdoc IStableTokenV3\n function totalSupply() public view override(ERC20Upgradeable, IStableTokenV3) returns (uint256) {\n return ERC20Upgradeable.totalSupply();\n }\n\n /// @inheritdoc IStableTokenV3\n function permit(\n address owner,\n address spender,\n uint256 value,\n uint256 deadline,\n uint8 v,\n bytes32 r,\n bytes32 s\n ) public override(ERC20PermitUpgradeable, IStableTokenV3) {\n ERC20PermitUpgradeable.permit(owner, spender, value, deadline, v, r, s);\n }\n\n /// @inheritdoc IFeeCurrency\n function debitGasFees(address from, uint256 value) external onlyVm {\n _burn(from, value);\n }\n\n /// @inheritdoc IFeeCurrency\n function creditGasFees(\n address refundRecipient,\n address tipRecipient,\n address, // _gatewayFeeRecipient, unused\n address baseFeeRecipient,\n uint256 refundAmount,\n uint256 tipAmount,\n uint256, // _gatewayFeeAmount, unused\n uint256 baseFeeAmount\n ) external onlyVm {\n _mint(refundRecipient, refundAmount);\n _mint(tipRecipient, tipAmount);\n _mint(baseFeeRecipient, baseFeeAmount);\n }\n\n /// @inheritdoc IFeeCurrency\n function creditGasFees(address[] calldata recipients, uint256[] calldata amounts) external onlyVm {\n require(recipients.length == amounts.length, \"StableTokenV3: recipients and amounts must be the same length.\");\n\n for (uint256 i = 0; i < recipients.length; i++) {\n _mint(recipients[i], amounts[i]);\n }\n }\n\n /* =========================================================== */\n /* ==================== Private Functions ==================== */\n /* =========================================================== */\n\n function _setOperator(address _operator, bool _isOperator) internal {\n isOperator[_operator] = _isOperator;\n emit OperatorUpdated(_operator, _isOperator);\n }\n\n function _setMinter(address _minter, bool _isMinter) internal {\n isMinter[_minter] = _isMinter;\n emit MinterUpdated(_minter, _isMinter);\n }\n\n function _setBurner(address _burner, bool _isBurner) internal {\n isBurner[_burner] = _isBurner;\n emit BurnerUpdated(_burner, _isBurner);\n }\n}\n","deployed_bytecode":"0x608060405234801561001057600080fd5b506004361061021c5760003560e01c80636a30b25311610125578063a9059cbb116100ad578063cf456ae71161007c578063cf456ae71461049c578063d505accf146104af578063dd62ed3e146104c2578063f1087966146104d5578063f2fde38b146104e857600080fd5b8063a9059cbb14610453578063aa271e1a14610466578063bb997bac1461028d578063cd76bd791461048957600080fd5b80637ecebe00116100f45780637ecebe00146104015780638da5cb5b1461041457806395d89b41146104255780639dc29fac1461042d578063a457c2d71461044057600080fd5b80636a30b253146103b05780636d70f7ae146103c357806370a08231146103e6578063715018a6146103f957600080fd5b80633644e515116101a85780634334614a116101775780634334614a14610341578063558a72971461036457806358cf9672146103775780635d5ab44a1461038a57806369cfb4111461039d57600080fd5b80633644e51514610300578063395093511461030857806340c10f191461031b57806342966c681461032e57600080fd5b806320c582be116101ef57806320c582be1461028d57806323b872dd146102a05780632d5ecf45146102b35780632e0f98ad146102de578063313ce567146102f157600080fd5b806306fdde0314610221578063095ea7b31461023f5780630d895ee11461026257806318160ddd14610277575b600080fd5b6102296104fb565b6040516102369190611aed565b60405180910390f35b61025261024d366004611b57565b61058d565b6040519015158152602001610236565b610275610270366004611b81565b6105a2565b005b61027f6105b8565b604051908152602001610236565b61027561029b366004611bbd565b6105c8565b6102526102ae366004611bbd565b610659565b609c546102c6906001600160a01b031681565b6040516001600160a01b039091168152602001610236565b6102756102ec366004611c45565b61066e565b60405160128152602001610236565b61027f610763565b610252610316366004611b57565b61076d565b610252610329366004611b57565b610799565b61025261033c366004611cb4565b610810565b61025261034f366004611ccd565b60a06020526000908152604090205460ff1681565b610275610372366004611b81565b610857565b610275610385366004611b57565b610869565b610275610398366004611e88565b610891565b6102756103ab366004611fd5565b610af1565b6102756103be366004612066565b610c77565b6102526103d1366004611ccd565b60a16020526000908152604090205460ff1681565b61027f6103f4366004611ccd565b610cbd565b610275610cdb565b61027f61040f366004611ccd565b610cef565b6000546001600160a01b03166102c6565b610229610d0d565b61025261043b366004611b57565b610d1c565b61025261044e366004611b57565b610d58565b610252610461366004611b57565b610dde565b610252610474366004611ccd565b609f6020526000908152604090205460ff1681565b609e546102c6906001600160a01b031681565b6102756104aa366004611b81565b610dea565b6102756104bd3660046120de565b610dfc565b61027f6104d0366004612151565b610e14565b609d546102c6906001600160a01b031681565b6102756104f6366004611ccd565b610e41565b60606002805461050a90612184565b80601f016020809104026020016040519081016040528092919081815260200182805461053690612184565b80156105835780601f1061055857610100808354040283529160200191610583565b820191906000526020600020905b81548152906001019060200180831161056657829003601f168201915b5050505050905090565b60006105998383610eba565b90505b92915050565b6105aa610ec8565b6105b48282610f22565b5050565b60006105c360065490565b905090565b33600081815260a1602052604090205460ff166106485760405162461bcd60e51b815260206004820152603360248201527f537461626c65546f6b656e56333a206e6f7420616c6c6f77656420746f20636160448201527236361037b7363c90313c9037b832b930ba37b960691b60648201526084015b60405180910390fd5b610653848484610f82565b50505050565b600061066684848461112d565b949350505050565b331561068c5760405162461bcd60e51b815260040161063f906121b8565b8281146107015760405162461bcd60e51b815260206004820152603e60248201527f537461626c65546f6b656e56333a20726563697069656e747320616e6420616d60448201527f6f756e7473206d757374206265207468652073616d65206c656e6774682e0000606482015260840161063f565b60005b8381101561075c57610754858583818110610721576107216121e2565b90506020020160208101906107369190611ccd565b848484818110610748576107486121e2565b90506020020135611146565b600101610704565b5050505050565b60006105c3611207565b60003361078f8185856107808383610e14565b61078a91906121f8565b611282565b5060019392505050565b336000818152609f602052604081205490919060ff166108065760405162461bcd60e51b815260206004820152602260248201527f537461626c65546f6b656e56333a206e6f7420616c6c6f77656420746f206d696044820152611b9d60f21b606482015260840161063f565b61078f8484611146565b33600081815260a0602052604081205490919060ff166108425760405162461bcd60e51b815260040161063f90612219565b61084c33846113a7565b600191505b50919050565b61085f610ec8565b6105b482826114d8565b33156108875760405162461bcd60e51b815260040161063f906121b8565b6105b482826113a7565b600054600390600160a81b900460ff161580156108bc575060005460ff808316600160a01b90920416105b6108d85760405162461bcd60e51b815260040161063f9061225b565b6000805460ff60a81b1960ff8416600160a01b021661ffff60a01b1990911617600160a81b17905561090a8989611530565b61092d89604051806040016040528060018152602001603360f81b815250611572565b610936876115b5565b845186511461097f5760405162461bcd60e51b8152602060048201526015602482015274082e4e4c2f240d8cadccee8d040dad2e6dac2e8c6d605b1b604482015260640161063f565b60005b86518110156109d9576109c78782815181106109a0576109a06121e2565b60200260200101518783815181106109ba576109ba6121e2565b6020026020010151611146565b6109d26001826121f8565b9050610982565b5060005b8451811015610a1c57610a0a8582815181106109fb576109fb6121e2565b60200260200101516001611605565b610a156001826121f8565b90506109dd565b5060005b8351811015610a5f57610a4d848281518110610a3e57610a3e6121e2565b60200260200101516001610f22565b610a586001826121f8565b9050610a20565b5060005b8251811015610aa257610a90838281518110610a8157610a816121e2565b602002602001015160016114d8565b610a9b6001826121f8565b9050610a63565b506000805460ff60a81b1916905560405160ff821681527f7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb38474024989060200160405180910390a1505050505050505050565b600054600390600160a81b900460ff16158015610b1c575060005460ff808316600160a01b90920416105b610b385760405162461bcd60e51b815260040161063f9061225b565b6000805460ff60a81b1960ff8416600160a01b021661ffff60a01b1990911617600160a81b179055610b68610ec8565b610b92610b736104fb565b604051806040016040528060018152602001603360f81b815250611572565b60005b8451811015610bc557610bb38582815181106109fb576109fb6121e2565b610bbe6001826121f8565b9050610b95565b5060005b8351811015610bf957610be7848281518110610a3e57610a3e6121e2565b610bf26001826121f8565b9050610bc9565b5060005b8251811015610c2d57610c1b838281518110610a8157610a816121e2565b610c266001826121f8565b9050610bfd565b506000805460ff60a81b1916905560405160ff821681527f7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb38474024989060200160405180910390a150505050565b3315610c955760405162461bcd60e51b815260040161063f906121b8565b610c9f8885611146565b610ca98784611146565b610cb38582611146565b5050505050505050565b6001600160a01b03811660009081526005602052604081205461059c565b610ce3610ec8565b610ced60006115b5565b565b6001600160a01b03811660009081526069602052604081205461059c565b60606003805461050a90612184565b33600081815260a0602052604081205490919060ff16610d4e5760405162461bcd60e51b815260040161063f90612219565b61078f84846113a7565b60003381610d668286610e14565b905083811015610dc65760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b606482015260840161063f565b610dd38286868403611282565b506001949350505050565b6000610599838361165d565b610df2610ec8565b6105b48282611605565b610e0b8787878787878761166b565b50505050505050565b6001600160a01b038083166000908152600760209081526040808320938516835292905290812054610599565b610e49610ec8565b6001600160a01b038116610eae5760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b606482015260840161063f565b610eb7816115b5565b50565b60003361078f818585611282565b6000546001600160a01b03163314610ced5760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015260640161063f565b6001600160a01b038216600081815260a06020908152604091829020805460ff191685151590811790915591519182527ff0e5abe4ab32ea692e3889b4c146fd4ddae5f17bb40ab4feba97fb67a2d4de0f91015b60405180910390a25050565b6001600160a01b038316610fe65760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161063f565b6001600160a01b0382166110485760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161063f565b6001600160a01b038316600090815260056020526040902054818110156110c05760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b606482015260840161063f565b6001600160a01b0380851660008181526005602052604080822086860390559286168082529083902080548601905591517fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111209086815260200190565b60405180910390a3610653565b60003361113b8582856117cf565b610dd3858585610f82565b6001600160a01b03821661119c5760405162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015260640161063f565b80600660008282546111ae91906121f8565b90915550506001600160a01b0382166000818152600560209081526040808320805486019055518481527fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a35050565b60006105c37f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f61123660355490565b6036546040805160208101859052908101839052606081018290524660808201523060a082015260009060c0016040516020818303038152906040528051906020012090509392505050565b6001600160a01b0383166112e45760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161063f565b6001600160a01b0382166113455760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161063f565b6001600160a01b0383811660008181526007602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b0382166114075760405162461bcd60e51b815260206004820152602160248201527f45524332303a206275726e2066726f6d20746865207a65726f206164647265736044820152607360f81b606482015260840161063f565b6001600160a01b0382166000908152600560205260409020548181101561147b5760405162461bcd60e51b815260206004820152602260248201527f45524332303a206275726e20616d6f756e7420657863656564732062616c616e604482015261636560f01b606482015260840161063f565b6001600160a01b03831660008181526005602090815260408083208686039055600680548790039055518581529192917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910161139a565b505050565b6001600160a01b038216600081815260a16020908152604091829020805460ff191685151590811790915591519182527f966c160e1c4dbc7df8d69af4ace01e9297c3cf016397b7914971f2fbfa32672d9101610f76565b600054600160a81b900460ff166115595760405162461bcd60e51b815260040161063f906122a9565b6002611565838261233b565b5060036114d3828261233b565b600054600160a81b900460ff1661159b5760405162461bcd60e51b815260040161063f906122a9565b815160209283012081519190920120603591909155603655565b600080546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b6001600160a01b0382166000818152609f6020908152604091829020805460ff191685151590811790915591519182527fb21afb9ce9be0a676f8f317ff0ca072fb89a4f8ce2d1b6fe80f8755c14f1cb199101610f76565b60003361078f818585610f82565b834211156116bb5760405162461bcd60e51b815260206004820152601d60248201527f45524332305065726d69743a206578706972656420646561646c696e65000000604482015260640161063f565b60007f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98888886116ea8c611843565b6040805160208101969096526001600160a01b0394851690860152929091166060840152608083015260a082015260c0810186905260e001604051602081830303815290604052805190602001209050600061174582611869565b90506000611755828787876118b7565b9050896001600160a01b0316816001600160a01b0316146117b85760405162461bcd60e51b815260206004820152601e60248201527f45524332305065726d69743a20696e76616c6964207369676e61747572650000604482015260640161063f565b6117c38a8a8a611282565b50505050505050505050565b60006117db8484610e14565b9050600019811461065357818110156118365760405162461bcd60e51b815260206004820152601d60248201527f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000604482015260640161063f565b6106538484848403611282565b6001600160a01b0381166000908152606960205260409020805460018101825590610851565b600061059c611876611207565b8360405161190160f01b6020820152602281018390526042810182905260009060620160405160208183030381529060405280519060200120905092915050565b60008060006118c8878787876118df565b915091506118d5816119a3565b5095945050505050565b6000807f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0831115611916575060009050600361199a565b6040805160008082526020820180845289905260ff881692820192909252606081018690526080810185905260019060a0016020604051602081039080840390855afa15801561196a573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b0381166119935760006001925092505061199a565b9150600090505b94509492505050565b60008160048111156119b7576119b76123f9565b036119bf5750565b60018160048111156119d3576119d36123f9565b03611a205760405162461bcd60e51b815260206004820152601860248201527f45434453413a20696e76616c6964207369676e61747572650000000000000000604482015260640161063f565b6002816004811115611a3457611a346123f9565b03611a815760405162461bcd60e51b815260206004820152601f60248201527f45434453413a20696e76616c6964207369676e6174757265206c656e67746800604482015260640161063f565b6003816004811115611a9557611a956123f9565b03610eb75760405162461bcd60e51b815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202773272076616c604482015261756560f01b606482015260840161063f565b602081526000825180602084015260005b81811015611b1b5760208186018101516040868401015201611afe565b506000604082850101526040601f19601f83011684010191505092915050565b80356001600160a01b0381168114611b5257600080fd5b919050565b60008060408385031215611b6a57600080fd5b611b7383611b3b565b946020939093013593505050565b60008060408385031215611b9457600080fd5b611b9d83611b3b565b915060208301358015158114611bb257600080fd5b809150509250929050565b600080600060608486031215611bd257600080fd5b611bdb84611b3b565b9250611be960208501611b3b565b929592945050506040919091013590565b60008083601f840112611c0c57600080fd5b5081356001600160401b03811115611c2357600080fd5b6020830191508360208260051b8501011115611c3e57600080fd5b9250929050565b60008060008060408587031215611c5b57600080fd5b84356001600160401b03811115611c7157600080fd5b611c7d87828801611bfa565b90955093505060208501356001600160401b03811115611c9c57600080fd5b611ca887828801611bfa565b95989497509550505050565b600060208284031215611cc657600080fd5b5035919050565b600060208284031215611cdf57600080fd5b61059982611b3b565b634e487b7160e01b600052604160045260246000fd5b604051601f8201601f191681016001600160401b0381118282101715611d2657611d26611ce8565b604052919050565b600082601f830112611d3f57600080fd5b81356001600160401b03811115611d5857611d58611ce8565b611d6b601f8201601f1916602001611cfe565b818152846020838601011115611d8057600080fd5b816020850160208301376000918101602001919091529392505050565b60006001600160401b03821115611db657611db6611ce8565b5060051b60200190565b600082601f830112611dd157600080fd5b8135611de4611ddf82611d9d565b611cfe565b8082825260208201915060208360051b860101925085831115611e0657600080fd5b602085015b838110156118d557611e1c81611b3b565b835260209283019201611e0b565b600082601f830112611e3b57600080fd5b8135611e49611ddf82611d9d565b8082825260208201915060208360051b860101925085831115611e6b57600080fd5b602085015b838110156118d5578035835260209283019201611e70565b600080600080600080600080610100898b031215611ea557600080fd5b88356001600160401b03811115611ebb57600080fd5b611ec78b828c01611d2e565b98505060208901356001600160401b03811115611ee357600080fd5b611eef8b828c01611d2e565b975050611efe60408a01611b3b565b955060608901356001600160401b03811115611f1957600080fd5b611f258b828c01611dc0565b95505060808901356001600160401b03811115611f4157600080fd5b611f4d8b828c01611e2a565b94505060a08901356001600160401b03811115611f6957600080fd5b611f758b828c01611dc0565b93505060c08901356001600160401b03811115611f9157600080fd5b611f9d8b828c01611dc0565b92505060e08901356001600160401b03811115611fb957600080fd5b611fc58b828c01611dc0565b9150509295985092959890939650565b600080600060608486031215611fea57600080fd5b83356001600160401b0381111561200057600080fd5b61200c86828701611dc0565b93505060208401356001600160401b0381111561202857600080fd5b61203486828701611dc0565b92505060408401356001600160401b0381111561205057600080fd5b61205c86828701611dc0565b9150509250925092565b600080600080600080600080610100898b03121561208357600080fd5b61208c89611b3b565b975061209a60208a01611b3b565b96506120a860408a01611b3b565b95506120b660608a01611b3b565b979a969950949760808101359660a0820135965060c0820135955060e0909101359350915050565b600080600080600080600060e0888a0312156120f957600080fd5b61210288611b3b565b965061211060208901611b3b565b95506040880135945060608801359350608088013560ff8116811461213457600080fd5b9699959850939692959460a0840135945060c09093013592915050565b6000806040838503121561216457600080fd5b61216d83611b3b565b915061217b60208401611b3b565b90509250929050565b600181811c9082168061219857607f821691505b60208210810361085157634e487b7160e01b600052602260045260246000fd5b60208082526010908201526f13db9b1e4815934818d85b8818d85b1b60821b604082015260600190565b634e487b7160e01b600052603260045260246000fd5b8082018082111561059c57634e487b7160e01b600052601160045260246000fd5b60208082526022908201527f537461626c65546f6b656e56333a206e6f7420616c6c6f77656420746f206275604082015261393760f11b606082015260800190565b6020808252602e908201527f496e697469616c697a61626c653a20636f6e747261637420697320616c72656160408201526d191e481a5b9a5d1a585b1a5e995960921b606082015260800190565b6020808252602b908201527f496e697469616c697a61626c653a20636f6e7472616374206973206e6f74206960408201526a6e697469616c697a696e6760a81b606082015260800190565b601f8211156114d357806000526020600020601f840160051c8101602085101561231b5750805b601f840160051c820191505b8181101561075c5760008155600101612327565b81516001600160401b0381111561235457612354611ce8565b612368816123628454612184565b846122f4565b6020601f82116001811461239c57600083156123845750848201515b600019600385901b1c1916600184901b17845561075c565b600084815260208120601f198516915b828110156123cc57878501518255602094850194600190920191016123ac565b50848210156123ea5786840151600019600387901b60f8161c191681555b50505050600190811b01905550565b634e487b7160e01b600052602160045260246000fdfea2646970667358221220f5e6862fd5e32d35004bd3c324a5d5d3f04f9c3301bfb8125f4e61ca9172bf1364736f6c634300081e0033","optimization_enabled":true,"verified_twin_address_hash":null,"is_verified":true,"compiler_settings":{"evmVersion":"paris","libraries":{},"metadata":{"bytecodeHash":"ipfs"},"optimizer":{"enabled":true,"runs":200},"remappings":[":@celo/=lib/mento-core/node_modules/@celo/contracts/",":@chainlink/contracts/=lib/mento-core/lib/foundry-chainlink-toolkit/lib/chainlink-brownie-contracts/contracts/src/",":@ds/=lib/mento-router/lib/multicall/lib/ds-test/src/",":@openzeppelin/=lib/mento-core/lib/foundry-chainlink-toolkit/lib/openzeppelin-contracts/",":@prb/test/=lib/mento-core/lib/prb-math/lib/prb-test/src/",":@std/=lib/mento-router/lib/multicall/lib/forge-std/src/",":BokkyPooBahsDateTimeLibrary/=lib/mento-core/lib/BokkyPooBahsDateTimeLibrary/",":Solady/=lib/bold/contracts/lib/Solady/src/",":V2-gov/=lib/bold/contracts/lib/V2-gov/",":bold/=lib/bold/contracts/",":celo/=lib/mento-core/node_modules/@celo/",":chainlink-brownie-contracts/=lib/mento-core/lib/foundry-chainlink-toolkit/lib/chainlink-brownie-contracts/contracts/src/v0.6/vendor/@arbitrum/nitro-contracts/src/",":chimera/=lib/bold/contracts/lib/V2-gov/lib/chimera/src/",":contracts/=lib/mento-core/contracts/",":createx-forge/=lib/treb-sol/lib/createx-forge/",":ds-test/=lib/mento-router/lib/multicall/lib/ds-test/src/",":erc4626-tests/=lib/openzeppelin-contracts/lib/erc4626-tests/",":forge-std/=lib/forge-std/src/",":foundry-chainlink-toolkit/=lib/mento-core/lib/foundry-chainlink-toolkit/",":halmos-cheatcodes/=lib/openzeppelin-contracts/lib/halmos-cheatcodes/src/",":mento-core/=lib/mento-core/contracts/",":mento-router/=lib/mento-router/",":mento-std/=lib/mento-std/src/",":multicall/=lib/mento-router/lib/multicall/src/",":openzeppelin-contracts-next/=lib/mento-core/lib/openzeppelin-contracts-next/",":openzeppelin-contracts-upgradeable/=lib/mento-core/lib/openzeppelin-contracts-upgradeable/",":openzeppelin-contracts/=lib/mento-core/lib/openzeppelin-contracts-next/",":openzeppelin-solidity/=lib/mento-core/lib/openzeppelin-contracts/",":openzeppelin/=lib/mento-core/lib/openzeppelin-contracts/",":prb-math/=lib/mento-core/lib/prb-math/src/",":prb-test/=lib/mento-core/lib/prb-math/lib/prb-test/src/",":prb/math/=lib/mento-core/lib/prb-math/src/",":safe-contracts/=lib/mento-core/lib/safe-contracts/",":safe-smart-account/=lib/treb-sol/lib/safe-utils/lib/safe-smart-account/contracts/",":safe-utils/=lib/treb-sol/lib/safe-utils/src/",":solidity-http/=lib/treb-sol/lib/safe-utils/lib/solidity-http/src/",":solidity-stringutils/=lib/treb-sol/lib/safe-utils/lib/solidity-stringutils/",":src/=src/",":test/=lib/mento-core/test/",":treb-sol/=lib/treb-sol/","lib/bold/:openzeppelin-contracts/=lib/bold/contracts/lib/openzeppelin-contracts/","lib/mento-core/lib/bold/:openzeppelin-contracts/=lib/mento-core/lib/bold/contracts/lib/openzeppelin-contracts/"]},"optimization_runs":200,"sourcify_repo_url":"https://repo.sourcify.dev/contracts/partial_match/42220/0x815795C30D0758A297B08cD4e0643620c974c318/","decoded_constructor_args":[["true",{"internalType":"bool","name":"disable","type":"bool"}]],"compiler_version":"0.8.30+commit.73712a01","is_verified_via_verifier_alliance":false,"verified_at":"2026-03-04T17:39:47.712869Z","implementations":[],"proxy_type":null,"external_libraries":[],"creation_bytecode":"0x608060405234801561001057600080fd5b506040516125e63803806125e683398101604081905261002f91610169565b6100383361004c565b80156100465761004661009c565b50610192565b600080546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b600054600160a81b900460ff161561010a5760405162461bcd60e51b815260206004820152602760248201527f496e697469616c697a61626c653a20636f6e747261637420697320696e697469604482015266616c697a696e6760c81b606482015260840160405180910390fd5b60005460ff600160a01b90910481161015610167576000805460ff60a01b191660ff60a01b17905560405160ff81527f7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb38474024989060200160405180910390a15b565b60006020828403121561017b57600080fd5b8151801515811461018b57600080fd5b9392505050565b612445806101a16000396000f3fe608060405234801561001057600080fd5b506004361061021c5760003560e01c80636a30b25311610125578063a9059cbb116100ad578063cf456ae71161007c578063cf456ae71461049c578063d505accf146104af578063dd62ed3e146104c2578063f1087966146104d5578063f2fde38b146104e857600080fd5b8063a9059cbb14610453578063aa271e1a14610466578063bb997bac1461028d578063cd76bd791461048957600080fd5b80637ecebe00116100f45780637ecebe00146104015780638da5cb5b1461041457806395d89b41146104255780639dc29fac1461042d578063a457c2d71461044057600080fd5b80636a30b253146103b05780636d70f7ae146103c357806370a08231146103e6578063715018a6146103f957600080fd5b80633644e515116101a85780634334614a116101775780634334614a14610341578063558a72971461036457806358cf9672146103775780635d5ab44a1461038a57806369cfb4111461039d57600080fd5b80633644e51514610300578063395093511461030857806340c10f191461031b57806342966c681461032e57600080fd5b806320c582be116101ef57806320c582be1461028d57806323b872dd146102a05780632d5ecf45146102b35780632e0f98ad146102de578063313ce567146102f157600080fd5b806306fdde0314610221578063095ea7b31461023f5780630d895ee11461026257806318160ddd14610277575b600080fd5b6102296104fb565b6040516102369190611aed565b60405180910390f35b61025261024d366004611b57565b61058d565b6040519015158152602001610236565b610275610270366004611b81565b6105a2565b005b61027f6105b8565b604051908152602001610236565b61027561029b366004611bbd565b6105c8565b6102526102ae366004611bbd565b610659565b609c546102c6906001600160a01b031681565b6040516001600160a01b039091168152602001610236565b6102756102ec366004611c45565b61066e565b60405160128152602001610236565b61027f610763565b610252610316366004611b57565b61076d565b610252610329366004611b57565b610799565b61025261033c366004611cb4565b610810565b61025261034f366004611ccd565b60a06020526000908152604090205460ff1681565b610275610372366004611b81565b610857565b610275610385366004611b57565b610869565b610275610398366004611e88565b610891565b6102756103ab366004611fd5565b610af1565b6102756103be366004612066565b610c77565b6102526103d1366004611ccd565b60a16020526000908152604090205460ff1681565b61027f6103f4366004611ccd565b610cbd565b610275610cdb565b61027f61040f366004611ccd565b610cef565b6000546001600160a01b03166102c6565b610229610d0d565b61025261043b366004611b57565b610d1c565b61025261044e366004611b57565b610d58565b610252610461366004611b57565b610dde565b610252610474366004611ccd565b609f6020526000908152604090205460ff1681565b609e546102c6906001600160a01b031681565b6102756104aa366004611b81565b610dea565b6102756104bd3660046120de565b610dfc565b61027f6104d0366004612151565b610e14565b609d546102c6906001600160a01b031681565b6102756104f6366004611ccd565b610e41565b60606002805461050a90612184565b80601f016020809104026020016040519081016040528092919081815260200182805461053690612184565b80156105835780601f1061055857610100808354040283529160200191610583565b820191906000526020600020905b81548152906001019060200180831161056657829003601f168201915b5050505050905090565b60006105998383610eba565b90505b92915050565b6105aa610ec8565b6105b48282610f22565b5050565b60006105c360065490565b905090565b33600081815260a1602052604090205460ff166106485760405162461bcd60e51b815260206004820152603360248201527f537461626c65546f6b656e56333a206e6f7420616c6c6f77656420746f20636160448201527236361037b7363c90313c9037b832b930ba37b960691b60648201526084015b60405180910390fd5b610653848484610f82565b50505050565b600061066684848461112d565b949350505050565b331561068c5760405162461bcd60e51b815260040161063f906121b8565b8281146107015760405162461bcd60e51b815260206004820152603e60248201527f537461626c65546f6b656e56333a20726563697069656e747320616e6420616d60448201527f6f756e7473206d757374206265207468652073616d65206c656e6774682e0000606482015260840161063f565b60005b8381101561075c57610754858583818110610721576107216121e2565b90506020020160208101906107369190611ccd565b848484818110610748576107486121e2565b90506020020135611146565b600101610704565b5050505050565b60006105c3611207565b60003361078f8185856107808383610e14565b61078a91906121f8565b611282565b5060019392505050565b336000818152609f602052604081205490919060ff166108065760405162461bcd60e51b815260206004820152602260248201527f537461626c65546f6b656e56333a206e6f7420616c6c6f77656420746f206d696044820152611b9d60f21b606482015260840161063f565b61078f8484611146565b33600081815260a0602052604081205490919060ff166108425760405162461bcd60e51b815260040161063f90612219565b61084c33846113a7565b600191505b50919050565b61085f610ec8565b6105b482826114d8565b33156108875760405162461bcd60e51b815260040161063f906121b8565b6105b482826113a7565b600054600390600160a81b900460ff161580156108bc575060005460ff808316600160a01b90920416105b6108d85760405162461bcd60e51b815260040161063f9061225b565b6000805460ff60a81b1960ff8416600160a01b021661ffff60a01b1990911617600160a81b17905561090a8989611530565b61092d89604051806040016040528060018152602001603360f81b815250611572565b610936876115b5565b845186511461097f5760405162461bcd60e51b8152602060048201526015602482015274082e4e4c2f240d8cadccee8d040dad2e6dac2e8c6d605b1b604482015260640161063f565b60005b86518110156109d9576109c78782815181106109a0576109a06121e2565b60200260200101518783815181106109ba576109ba6121e2565b6020026020010151611146565b6109d26001826121f8565b9050610982565b5060005b8451811015610a1c57610a0a8582815181106109fb576109fb6121e2565b60200260200101516001611605565b610a156001826121f8565b90506109dd565b5060005b8351811015610a5f57610a4d848281518110610a3e57610a3e6121e2565b60200260200101516001610f22565b610a586001826121f8565b9050610a20565b5060005b8251811015610aa257610a90838281518110610a8157610a816121e2565b602002602001015160016114d8565b610a9b6001826121f8565b9050610a63565b506000805460ff60a81b1916905560405160ff821681527f7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb38474024989060200160405180910390a1505050505050505050565b600054600390600160a81b900460ff16158015610b1c575060005460ff808316600160a01b90920416105b610b385760405162461bcd60e51b815260040161063f9061225b565b6000805460ff60a81b1960ff8416600160a01b021661ffff60a01b1990911617600160a81b179055610b68610ec8565b610b92610b736104fb565b604051806040016040528060018152602001603360f81b815250611572565b60005b8451811015610bc557610bb38582815181106109fb576109fb6121e2565b610bbe6001826121f8565b9050610b95565b5060005b8351811015610bf957610be7848281518110610a3e57610a3e6121e2565b610bf26001826121f8565b9050610bc9565b5060005b8251811015610c2d57610c1b838281518110610a8157610a816121e2565b610c266001826121f8565b9050610bfd565b506000805460ff60a81b1916905560405160ff821681527f7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb38474024989060200160405180910390a150505050565b3315610c955760405162461bcd60e51b815260040161063f906121b8565b610c9f8885611146565b610ca98784611146565b610cb38582611146565b5050505050505050565b6001600160a01b03811660009081526005602052604081205461059c565b610ce3610ec8565b610ced60006115b5565b565b6001600160a01b03811660009081526069602052604081205461059c565b60606003805461050a90612184565b33600081815260a0602052604081205490919060ff16610d4e5760405162461bcd60e51b815260040161063f90612219565b61078f84846113a7565b60003381610d668286610e14565b905083811015610dc65760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b606482015260840161063f565b610dd38286868403611282565b506001949350505050565b6000610599838361165d565b610df2610ec8565b6105b48282611605565b610e0b8787878787878761166b565b50505050505050565b6001600160a01b038083166000908152600760209081526040808320938516835292905290812054610599565b610e49610ec8565b6001600160a01b038116610eae5760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b606482015260840161063f565b610eb7816115b5565b50565b60003361078f818585611282565b6000546001600160a01b03163314610ced5760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015260640161063f565b6001600160a01b038216600081815260a06020908152604091829020805460ff191685151590811790915591519182527ff0e5abe4ab32ea692e3889b4c146fd4ddae5f17bb40ab4feba97fb67a2d4de0f91015b60405180910390a25050565b6001600160a01b038316610fe65760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161063f565b6001600160a01b0382166110485760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161063f565b6001600160a01b038316600090815260056020526040902054818110156110c05760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b606482015260840161063f565b6001600160a01b0380851660008181526005602052604080822086860390559286168082529083902080548601905591517fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111209086815260200190565b60405180910390a3610653565b60003361113b8582856117cf565b610dd3858585610f82565b6001600160a01b03821661119c5760405162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015260640161063f565b80600660008282546111ae91906121f8565b90915550506001600160a01b0382166000818152600560209081526040808320805486019055518481527fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a35050565b60006105c37f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f61123660355490565b6036546040805160208101859052908101839052606081018290524660808201523060a082015260009060c0016040516020818303038152906040528051906020012090509392505050565b6001600160a01b0383166112e45760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161063f565b6001600160a01b0382166113455760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161063f565b6001600160a01b0383811660008181526007602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b0382166114075760405162461bcd60e51b815260206004820152602160248201527f45524332303a206275726e2066726f6d20746865207a65726f206164647265736044820152607360f81b606482015260840161063f565b6001600160a01b0382166000908152600560205260409020548181101561147b5760405162461bcd60e51b815260206004820152602260248201527f45524332303a206275726e20616d6f756e7420657863656564732062616c616e604482015261636560f01b606482015260840161063f565b6001600160a01b03831660008181526005602090815260408083208686039055600680548790039055518581529192917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910161139a565b505050565b6001600160a01b038216600081815260a16020908152604091829020805460ff191685151590811790915591519182527f966c160e1c4dbc7df8d69af4ace01e9297c3cf016397b7914971f2fbfa32672d9101610f76565b600054600160a81b900460ff166115595760405162461bcd60e51b815260040161063f906122a9565b6002611565838261233b565b5060036114d3828261233b565b600054600160a81b900460ff1661159b5760405162461bcd60e51b815260040161063f906122a9565b815160209283012081519190920120603591909155603655565b600080546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b6001600160a01b0382166000818152609f6020908152604091829020805460ff191685151590811790915591519182527fb21afb9ce9be0a676f8f317ff0ca072fb89a4f8ce2d1b6fe80f8755c14f1cb199101610f76565b60003361078f818585610f82565b834211156116bb5760405162461bcd60e51b815260206004820152601d60248201527f45524332305065726d69743a206578706972656420646561646c696e65000000604482015260640161063f565b60007f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98888886116ea8c611843565b6040805160208101969096526001600160a01b0394851690860152929091166060840152608083015260a082015260c0810186905260e001604051602081830303815290604052805190602001209050600061174582611869565b90506000611755828787876118b7565b9050896001600160a01b0316816001600160a01b0316146117b85760405162461bcd60e51b815260206004820152601e60248201527f45524332305065726d69743a20696e76616c6964207369676e61747572650000604482015260640161063f565b6117c38a8a8a611282565b50505050505050505050565b60006117db8484610e14565b9050600019811461065357818110156118365760405162461bcd60e51b815260206004820152601d60248201527f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000604482015260640161063f565b6106538484848403611282565b6001600160a01b0381166000908152606960205260409020805460018101825590610851565b600061059c611876611207565b8360405161190160f01b6020820152602281018390526042810182905260009060620160405160208183030381529060405280519060200120905092915050565b60008060006118c8878787876118df565b915091506118d5816119a3565b5095945050505050565b6000807f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0831115611916575060009050600361199a565b6040805160008082526020820180845289905260ff881692820192909252606081018690526080810185905260019060a0016020604051602081039080840390855afa15801561196a573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b0381166119935760006001925092505061199a565b9150600090505b94509492505050565b60008160048111156119b7576119b76123f9565b036119bf5750565b60018160048111156119d3576119d36123f9565b03611a205760405162461bcd60e51b815260206004820152601860248201527f45434453413a20696e76616c6964207369676e61747572650000000000000000604482015260640161063f565b6002816004811115611a3457611a346123f9565b03611a815760405162461bcd60e51b815260206004820152601f60248201527f45434453413a20696e76616c6964207369676e6174757265206c656e67746800604482015260640161063f565b6003816004811115611a9557611a956123f9565b03610eb75760405162461bcd60e51b815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202773272076616c604482015261756560f01b606482015260840161063f565b602081526000825180602084015260005b81811015611b1b5760208186018101516040868401015201611afe565b506000604082850101526040601f19601f83011684010191505092915050565b80356001600160a01b0381168114611b5257600080fd5b919050565b60008060408385031215611b6a57600080fd5b611b7383611b3b565b946020939093013593505050565b60008060408385031215611b9457600080fd5b611b9d83611b3b565b915060208301358015158114611bb257600080fd5b809150509250929050565b600080600060608486031215611bd257600080fd5b611bdb84611b3b565b9250611be960208501611b3b565b929592945050506040919091013590565b60008083601f840112611c0c57600080fd5b5081356001600160401b03811115611c2357600080fd5b6020830191508360208260051b8501011115611c3e57600080fd5b9250929050565b60008060008060408587031215611c5b57600080fd5b84356001600160401b03811115611c7157600080fd5b611c7d87828801611bfa565b90955093505060208501356001600160401b03811115611c9c57600080fd5b611ca887828801611bfa565b95989497509550505050565b600060208284031215611cc657600080fd5b5035919050565b600060208284031215611cdf57600080fd5b61059982611b3b565b634e487b7160e01b600052604160045260246000fd5b604051601f8201601f191681016001600160401b0381118282101715611d2657611d26611ce8565b604052919050565b600082601f830112611d3f57600080fd5b81356001600160401b03811115611d5857611d58611ce8565b611d6b601f8201601f1916602001611cfe565b818152846020838601011115611d8057600080fd5b816020850160208301376000918101602001919091529392505050565b60006001600160401b03821115611db657611db6611ce8565b5060051b60200190565b600082601f830112611dd157600080fd5b8135611de4611ddf82611d9d565b611cfe565b8082825260208201915060208360051b860101925085831115611e0657600080fd5b602085015b838110156118d557611e1c81611b3b565b835260209283019201611e0b565b600082601f830112611e3b57600080fd5b8135611e49611ddf82611d9d565b8082825260208201915060208360051b860101925085831115611e6b57600080fd5b602085015b838110156118d5578035835260209283019201611e70565b600080600080600080600080610100898b031215611ea557600080fd5b88356001600160401b03811115611ebb57600080fd5b611ec78b828c01611d2e565b98505060208901356001600160401b03811115611ee357600080fd5b611eef8b828c01611d2e565b975050611efe60408a01611b3b565b955060608901356001600160401b03811115611f1957600080fd5b611f258b828c01611dc0565b95505060808901356001600160401b03811115611f4157600080fd5b611f4d8b828c01611e2a565b94505060a08901356001600160401b03811115611f6957600080fd5b611f758b828c01611dc0565b93505060c08901356001600160401b03811115611f9157600080fd5b611f9d8b828c01611dc0565b92505060e08901356001600160401b03811115611fb957600080fd5b611fc58b828c01611dc0565b9150509295985092959890939650565b600080600060608486031215611fea57600080fd5b83356001600160401b0381111561200057600080fd5b61200c86828701611dc0565b93505060208401356001600160401b0381111561202857600080fd5b61203486828701611dc0565b92505060408401356001600160401b0381111561205057600080fd5b61205c86828701611dc0565b9150509250925092565b600080600080600080600080610100898b03121561208357600080fd5b61208c89611b3b565b975061209a60208a01611b3b565b96506120a860408a01611b3b565b95506120b660608a01611b3b565b979a969950949760808101359660a0820135965060c0820135955060e0909101359350915050565b600080600080600080600060e0888a0312156120f957600080fd5b61210288611b3b565b965061211060208901611b3b565b95506040880135945060608801359350608088013560ff8116811461213457600080fd5b9699959850939692959460a0840135945060c09093013592915050565b6000806040838503121561216457600080fd5b61216d83611b3b565b915061217b60208401611b3b565b90509250929050565b600181811c9082168061219857607f821691505b60208210810361085157634e487b7160e01b600052602260045260246000fd5b60208082526010908201526f13db9b1e4815934818d85b8818d85b1b60821b604082015260600190565b634e487b7160e01b600052603260045260246000fd5b8082018082111561059c57634e487b7160e01b600052601160045260246000fd5b60208082526022908201527f537461626c65546f6b656e56333a206e6f7420616c6c6f77656420746f206275604082015261393760f11b606082015260800190565b6020808252602e908201527f496e697469616c697a61626c653a20636f6e747261637420697320616c72656160408201526d191e481a5b9a5d1a585b1a5e995960921b606082015260800190565b6020808252602b908201527f496e697469616c697a61626c653a20636f6e7472616374206973206e6f74206960408201526a6e697469616c697a696e6760a81b606082015260800190565b601f8211156114d357806000526020600020601f840160051c8101602085101561231b5750805b601f840160051c820191505b8181101561075c5760008155600101612327565b81516001600160401b0381111561235457612354611ce8565b612368816123628454612184565b846122f4565b6020601f82116001811461239c57600083156123845750848201515b600019600385901b1c1916600184901b17845561075c565b600084815260208120601f198516915b828110156123cc57878501518255602094850194600190920191016123ac565b50848210156123ea5786840151600019600387901b60f8161c191681555b50505050600190811b01905550565b634e487b7160e01b600052602160045260246000fdfea2646970667358221220f5e6862fd5e32d35004bd3c324a5d5d3f04f9c3301bfb8125f4e61ca9172bf1364736f6c634300081e00330000000000000000000000000000000000000000000000000000000000000001","name":"StableTokenV3","is_blueprint":false,"license_type":"none","is_fully_verified":false,"is_verified_via_eth_bytecode_db":true,"language":"solidity","evm_version":"paris","can_be_visualized_via_sol2uml":true,"is_verified_via_sourcify":true,"additional_sources":[{"file_path":"lib/mento-core/contracts/interfaces/IFeeCurrency.sol","source_code":"pragma solidity ^0.8;\n\n/**\n * @notice This interface should be implemented for tokens which are supposed to\n * act as fee currencies on the Celo blockchain, meaning that they can be\n * used to pay gas fees for CIP-64 transactions (and some older tx types).\n * See https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0064.md\n *\n * @notice Before executing a tx with non-empty `feeCurrency` field, the fee\n * currency's `debitGasFees` function is called to reserve the maximum\n * amount of gas token that tx can spend. After the tx has been executed, the\n * `creditGasFees` function is called to refund any unused gas and credit\n * the spent fees to the appropriate recipients. Events which are emitted in\n * these functions will show up for every tx using the token as a\n * fee currency.\n *\n * @dev Requirements:\n * - The functions will be called by the blockchain client with `msg.sender\n * == address(0)`. If this condition is not met, the functions must\n * revert to prevent malicious users from crediting their accounts directly.\n * - `creditGasFees` must credit all specified amounts. If this is not\n * possible the functions must revert to prevent inconsistencies between\n * the debited and credited amounts.\n *\n * @dev Notes on compatibility:\n * - There are two versions of `creditGasFees`: one for the current\n * (2024-01-16) blockchain implementation and a more future-proof version\n * that omits deprecated fields and accommodates potential new recipients\n * that might become necessary on later blockchain implementations. Both\n * versions should be implemented to increase compatibility.\n */\ninterface IFeeCurrency {\n /// @notice Called before transaction execution to reserve the maximum amount of gas\n /// that can be used by the transaction.\n /// - The implementation must deduct `value` from `from`'s balance.\n /// - Must revert if `msg.sender` is not the zero address.\n function debitGasFees(address from, uint256 value) external;\n\n /// @notice New function signature, will be used when all fee currencies have migrated.\n /// Credited amounts include gas refund, base fee and tip. Future additions\n /// may include L1 gas fee when Celo becomes and L2.\n /// - The implementation must increase each `recipient`'s balance by corresponding `amount`.\n /// - Must revert if `msg.sender` is not the zero address.\n /// - Must revert if `recipients` and `amounts` have different lengths.\n /// - The blockchain client will never call this function with zero-address recipients or zero amounts.\n function creditGasFees(address[] calldata recipients, uint256[] calldata amounts) external;\n\n /// @notice Old function signature for backwards compatibility\n /// - Must revert if `msg.sender` is not the zero address.\n /// - `refundAmount` must be credited to `refundRecipient`\n /// - `tipAmount` must be credited to `tipRecipient`\n /// - `baseFeeAmount` must be credited to `baseFeeRecipient`\n /// - `_gatewayFeeRecipient` and `_gatewayFeeAmount` only exist for backwards\n /// compatibility reasons and will always be zero.\n /// - The blockchain client will never call this function with zero-address\n /// recipients, except for the legacy `_gatewayFeeRecipient`. The contract\n /// should revert when any other recipient is zero.\n /// - The contract must accept zero amounts without reverting.\n function creditGasFees(\n address refundRecipient,\n address tipRecipient,\n address _gatewayFeeRecipient,\n address baseFeeRecipient,\n uint256 refundAmount,\n uint256 tipAmount,\n uint256 _gatewayFeeAmount,\n uint256 baseFeeAmount\n ) external;\n}\n"},{"file_path":"lib/mento-core/contracts/interfaces/IStableTokenV3.sol","source_code":"// SPDX-License-Identifier: GPL-3.0-or-later\npragma solidity ^0.8;\n\n/**\n * @title IStableTokenV3\n * @notice Interface for the StableTokenV3 contract.\n */\ninterface IStableTokenV3 {\n /**\n * @notice Checks if an address is a minter.\n * @param account The address to check.\n * @return bool True if the address is a minter, false otherwise.\n */\n function isMinter(address account) external view returns (bool);\n /**\n * @notice Checks if an address is a burner.\n * @param account The address to check.\n * @return bool True if the address is a burner, false otherwise.\n */\n function isBurner(address account) external view returns (bool);\n /**\n * @notice Checks if an address is an operator.\n * @param account The address to check.\n * @return bool True if the address is an operator, false otherwise.\n */\n function isOperator(address account) external view returns (bool);\n\n /**\n * @notice Initializes a StableTokenV3.\n * @param _name The name of the stable token (English)\n * @param _symbol A short symbol identifying the token (e.g. \"cUSD\")\n * @param _initialOwner The address that will be the owner of the contract.\n * @param initialBalanceAddresses Array of addresses with an initial balance.\n * @param initialBalanceValues Array of balance values corresponding to initialBalanceAddresses.\n * @param _minters The addresses that are allowed to mint.\n * @param _burners The addresses that are allowed to burn.\n * @param _operators The addresses that are allowed to call the operator functions.\n */\n function initialize(\n string calldata _name,\n string calldata _symbol,\n address _initialOwner,\n address[] calldata initialBalanceAddresses,\n uint256[] calldata initialBalanceValues,\n address[] calldata _minters,\n address[] calldata _burners,\n address[] calldata _operators\n ) external;\n\n /**\n * @notice Initializes a StableTokenV3 contract\n * when upgrading from StableTokenV2.sol.\n * It sets the addresses of the minters, burners, and operators.\n * @dev This function is only callable once.\n * @param _minters The addresses that are allowed to mint.\n * @param _burners The addresses that are allowed to burn.\n * @param _operators The addresses that are allowed to call the operator functions.\n */\n function initializeV3(\n address[] calldata _minters,\n address[] calldata _burners,\n address[] calldata _operators\n ) external;\n\n /**\n * @notice Sets the operator role for an address.\n * @param _operator The address of the operator.\n * @param _isOperator The boolean value indicating if the address is an operator.\n */\n function setOperator(address _operator, bool _isOperator) external;\n\n /**\n * @notice Sets the minter role for an address.\n * @param _minter The address of the minter.\n * @param _isMinter The boolean value indicating if the address is a minter.\n */\n function setMinter(address _minter, bool _isMinter) external;\n\n /**\n * @notice Sets the burner role for an address.\n * @param _burner The address of the burner.\n * @param _isBurner The boolean value indicating if the address is a burner.\n */\n function setBurner(address _burner, bool _isBurner) external;\n\n /**\n * From openzeppelin's IERC20.sol\n * @dev Returns the amount of tokens in existence.\n */\n function totalSupply() external view returns (uint256);\n\n /**\n * From openzeppelin's IERC20.sol\n * @dev Returns the amount of tokens owned by `account`.\n */\n function balanceOf(address account) external view returns (uint256);\n\n /**\n * From openzeppelin's IERC20.sol\n * @dev Moves `amount` tokens from the caller's account to `to`.\n *\n * Returns a boolean value indicating whether the operation succeeded.\n *\n * Emits a {Transfer} event.\n */\n function transfer(address recipient, uint256 amount) external returns (bool);\n\n /**\n * From openzeppelin's IERC20.sol\n * @dev Returns the remaining number of tokens that `spender` will be\n * allowed to spend on behalf of `owner` through {transferFrom}. This is\n * zero by default.\n *\n * This value changes when {approve} or {transferFrom} are called.\n */\n function allowance(address owner, address spender) external view returns (uint256);\n\n /**\n * From openzeppelin's IERC20.sol\n * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.\n *\n * Returns a boolean value indicating whether the operation succeeded.\n *\n * IMPORTANT: Beware that changing an allowance with this method brings the risk\n * that someone may use both the old and the new allowance by unfortunate\n * transaction ordering. One possible solution to mitigate this race\n * condition is to first reduce the spender's allowance to 0 and set the\n * desired value afterwards:\n * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729\n *\n * Emits an {Approval} event.\n */\n function approve(address spender, uint256 amount) external returns (bool);\n\n /**\n * From openzeppelin's IERC20.sol\n * @dev Moves `amount` tokens from `from` to `to` using the\n * allowance mechanism. `amount` is then deducted from the caller's\n * allowance.\n *\n * Returns a boolean value indicating whether the operation succeeded.\n *\n * Emits a {Transfer} event.\n */\n function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);\n\n /**\n * @notice Mints new StableToken and gives it to 'to'.\n * @param to The account for which to mint tokens.\n * @param value The amount of StableToken to mint.\n */\n function mint(address to, uint256 value) external returns (bool);\n\n /**\n * @notice Burns StableToken from the balance of msg.sender.\n * @param value The amount of StableToken to burn.\n */\n function burn(uint256 value) external returns (bool);\n\n /**\n * @notice Burns StableToken from the balance of an account.\n * @param account The account to burn from.\n * @param value The amount of StableToken to burn.\n */\n function burn(address account, uint256 value) external returns (bool);\n\n /**\n * From openzeppelin's IERC20PermitUpgradeable.sol\n * @dev Sets `value` as the allowance of `spender` over ``owner``'s tokens,\n * given ``owner``'s signed approval.\n *\n * IMPORTANT: The same issues {IERC20-approve} has related to transaction\n * ordering also apply here.\n *\n * Emits an {Approval} event.\n *\n * Requirements:\n *\n * - `spender` cannot be the zero address.\n * - `deadline` must be a timestamp in the future.\n * - `v`, `r` and `s` must be a valid `secp256k1` signature from `owner`\n * over the EIP712-formatted function arguments.\n * - the signature must use ``owner``'s current nonce (see {nonces}).\n *\n * For more information on the signature format, see the\n * https://eips.ethereum.org/EIPS/eip-2612#specification[relevant EIP\n * section].\n */\n function permit(\n address owner,\n address spender,\n uint256 value,\n uint256 deadline,\n uint8 v,\n bytes32 r,\n bytes32 s\n ) external;\n\n /**\n * @notice Transfer token from a specified address to the stability pool.\n * @param _sender The address to transfer from.\n * @param _poolAddress The address of the pool to transfer to.\n * @param _amount The amount to be transferred.\n */\n function sendToPool(address _sender, address _poolAddress, uint256 _amount) external;\n\n /**\n * @notice Transfer token to a specified address from the stability pool.\n * @param _poolAddress The address of the pool to transfer from\n * @param _receiver The address to transfer to.\n * @param _amount The amount to be transferred.\n */\n function returnFromPool(address _poolAddress, address _receiver, uint256 _amount) external;\n}\n"},{"file_path":"lib/mento-core/contracts/tokens/patched/ERC20PermitUpgradeable.sol","source_code":"// SPDX-License-Identifier: MIT\n// solhint-disable gas-custom-errors\n// OpenZeppelin Contracts (last updated v4.8.0) (token/ERC20/extensions/draft-ERC20Permit.sol)\n/*\n * ๐Ÿ”ฅ MentoLabs: This is a copied file from v4.8.0 of OZ-Upgradable,\n * and only changes the import of ERC20Upgradeable to be the local one\n * which is modified in order to keep storage variables consistent\n * with the pervious implementation of StableToken.\n * See ./README.md for more details.\n */\n\npragma solidity ^0.8.0;\n\nimport \"./ERC20Upgradeable.sol\";\n\nimport \"openzeppelin-contracts-upgradeable/contracts/token/ERC20/extensions/draft-IERC20PermitUpgradeable.sol\";\nimport \"openzeppelin-contracts-upgradeable/contracts/utils/cryptography/ECDSAUpgradeable.sol\";\nimport \"openzeppelin-contracts-upgradeable/contracts/utils/cryptography/EIP712Upgradeable.sol\";\nimport \"openzeppelin-contracts-upgradeable/contracts/utils/CountersUpgradeable.sol\";\n\n/**\n * @dev Implementation of the ERC20 Permit extension allowing approvals to be made via signatures, as defined in\n * https://eips.ethereum.org/EIPS/eip-2612[EIP-2612].\n *\n * Adds the {permit} method, which can be used to change an account's ERC20 allowance (see {IERC20-allowance}) by\n * presenting a message signed by the account. By not relying on `{IERC20-approve}`, the token holder account doesn't\n * need to send a transaction, and thus is not required to hold Ether at all.\n *\n * _Available since v3.4._\n *\n * @custom:storage-size 51\n */\nabstract contract ERC20PermitUpgradeable is ERC20Upgradeable, IERC20PermitUpgradeable, EIP712Upgradeable {\n using CountersUpgradeable for CountersUpgradeable.Counter;\n\n mapping(address => CountersUpgradeable.Counter) private _nonces;\n\n // solhint-disable-next-line var-name-mixedcase\n bytes32 private constant _PERMIT_TYPEHASH =\n keccak256(\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\");\n /**\n * @dev In previous versions `_PERMIT_TYPEHASH` was declared as `immutable`.\n * However, to ensure consistency with the upgradeable transpiler, we will continue\n * to reserve a slot.\n * @custom:oz-renamed-from _PERMIT_TYPEHASH\n */\n // slither-disable-start constable-states\n // solhint-disable-next-line var-name-mixedcase\n bytes32 private _PERMIT_TYPEHASH_DEPRECATED_SLOT;\n\n // slither-disable-end constable-states\n\n /**\n * @dev Initializes the {EIP712} domain separator using the `name` parameter, and setting `version` to `\"1\"`.\n *\n * It's a good idea to use the same `name` that is defined as the ERC20 token name.\n */\n // solhint-disable-next-line func-name-mixedcase\n function __ERC20Permit_init(string memory name) internal onlyInitializing {\n __EIP712_init_unchained(name, \"1\");\n }\n\n // solhint-disable-next-line func-name-mixedcase\n function __ERC20Permit_init_unchained(string memory) internal onlyInitializing {}\n\n /**\n * @dev See {IERC20Permit-permit}.\n */\n function permit(\n address owner,\n address spender,\n uint256 value,\n uint256 deadline,\n uint8 v,\n bytes32 r,\n bytes32 s\n ) public virtual override {\n require(block.timestamp <= deadline, \"ERC20Permit: expired deadline\");\n\n bytes32 structHash = keccak256(abi.encode(_PERMIT_TYPEHASH, owner, spender, value, _useNonce(owner), deadline));\n\n bytes32 hash = _hashTypedDataV4(structHash);\n\n address signer = ECDSAUpgradeable.recover(hash, v, r, s);\n require(signer == owner, \"ERC20Permit: invalid signature\");\n\n _approve(owner, spender, value);\n }\n\n /**\n * @dev See {IERC20Permit-nonces}.\n */\n function nonces(address owner) public view virtual override returns (uint256) {\n return _nonces[owner].current();\n }\n\n /**\n * @dev See {IERC20Permit-DOMAIN_SEPARATOR}.\n */\n // solhint-disable-next-line func-name-mixedcase\n function DOMAIN_SEPARATOR() external view override returns (bytes32) {\n return _domainSeparatorV4();\n }\n\n /**\n * @dev \"Consume a nonce\": return the current value and increment.\n *\n * _Available since v4.1._\n */\n function _useNonce(address owner) internal virtual returns (uint256 current) {\n CountersUpgradeable.Counter storage nonce = _nonces[owner];\n current = nonce.current();\n nonce.increment();\n }\n\n /**\n * @dev This empty reserved space is put in place to allow future versions to add new\n * variables without shifting down storage in the inheritance chain.\n * See https://docs.openzeppelin.com/contracts/4.x/upgradeable#storage_gaps\n */\n uint256[49] private __gap;\n}\n"},{"file_path":"lib/mento-core/contracts/tokens/patched/ERC20Upgradeable.sol","source_code":"// SPDX-License-Identifier: MIT\n// solhint-disable gas-custom-errors\n// OpenZeppelin Contracts (last updated v4.8.0) (token/ERC20/ERC20.sol)\n/*\n * ๐Ÿ”ฅ MentoLabs: This is a copied file from v4.8.0 of OZ-Upgradable, which only changes\n * the ordering of storage variables to keep it consistent with the existing\n * StableToken, so this can act as a new implementation for the proxy.\n * See ./README.md for more details.\n */\n\npragma solidity ^0.8.0;\n\nimport \"openzeppelin-contracts-upgradeable/contracts/token/ERC20/IERC20Upgradeable.sol\";\nimport \"openzeppelin-contracts-upgradeable/contracts/token/ERC20/extensions/IERC20MetadataUpgradeable.sol\";\nimport \"openzeppelin-contracts-upgradeable/contracts/proxy/utils/Initializable.sol\";\nimport \"openzeppelin-contracts-next/contracts/access/Ownable.sol\";\n\n/**\n * @dev Implementation of the {IERC20} interface.\n *\n * This implementation is agnostic to the way tokens are created. This means\n * that a supply mechanism has to be added in a derived contract using {_mint}.\n * For a generic mechanism see {ERC20PresetMinterPauser}.\n *\n * TIP: For a detailed writeup see our guide\n * https://forum.openzeppelin.com/t/how-to-implement-erc20-supply-mechanisms/226[How\n * to implement supply mechanisms].\n *\n * We have followed general OpenZeppelin Contracts guidelines: functions revert\n * instead returning `false` on failure. This behavior is nonetheless\n * conventional and does not conflict with the expectations of ERC20\n * applications.\n *\n * Additionally, an {Approval} event is emitted on calls to {transferFrom}.\n * This allows applications to reconstruct the allowance for all accounts just\n * by listening to said events. Other implementations of the EIP may not emit\n * these events, as it isn't required by the specification.\n *\n * Finally, the non-standard {decreaseAllowance} and {increaseAllowance}\n * functions have been added to mitigate the well-known issues around setting\n * allowances. See {IERC20-approve}.\n */\ncontract ERC20Upgradeable is Ownable, Initializable, IERC20Upgradeable, IERC20MetadataUpgradeable {\n // solhint-disable var-name-mixedcase\n address private __deprecated_registry_storage_slot__;\n string private _name;\n string private _symbol;\n // slither-disable-start constable-states\n uint8 private __deprecated_decimals_storage_slot__;\n\n mapping(address => uint256) private _balances;\n uint256 private _totalSupply;\n mapping(address => mapping(address => uint256)) private _allowances;\n\n uint256[4] private __deprecated_inflationState_storage_slot__;\n bytes32 private __deprecated_exchangeRegistryId_storage_slot__;\n // slither-disable-end constable-states\n // solhint-enable var-name-mixedcase\n\n /**\n * @dev Sets the values for {name} and {symbol}.\n *\n * The default value of {decimals} is 18. To select a different value for\n * {decimals} you should overload it.\n *\n * All two of these values are immutable: they can only be set once during\n * construction.\n */\n\n // solhint-disable-next-line func-name-mixedcase\n function __ERC20_init(string memory name_, string memory symbol_) internal onlyInitializing {\n __ERC20_init_unchained(name_, symbol_);\n }\n\n // solhint-disable-next-line func-name-mixedcase\n function __ERC20_init_unchained(string memory name_, string memory symbol_) internal onlyInitializing {\n _name = name_;\n _symbol = symbol_;\n }\n\n /**\n * @dev Returns the name of the token.\n */\n function name() public view virtual override returns (string memory) {\n return _name;\n }\n\n /**\n * @dev Returns the symbol of the token, usually a shorter version of the\n * name.\n */\n function symbol() public view virtual override returns (string memory) {\n return _symbol;\n }\n\n /**\n * @dev Returns the number of decimals used to get its user representation.\n * For example, if `decimals` equals `2`, a balance of `505` tokens should\n * be displayed to a user as `5.05` (`505 / 10 ** 2`).\n *\n * Tokens usually opt for a value of 18, imitating the relationship between\n * Ether and Wei. This is the value {ERC20} uses, unless this function is\n * overridden;\n *\n * NOTE: This information is only used for _display_ purposes: it in\n * no way affects any of the arithmetic of the contract, including\n * {IERC20-balanceOf} and {IERC20-transfer}.\n */\n function decimals() public view virtual override returns (uint8) {\n return 18;\n }\n\n /**\n * @dev See {IERC20-totalSupply}.\n */\n function totalSupply() public view virtual override returns (uint256) {\n return _totalSupply;\n }\n\n /**\n * @dev See {IERC20-balanceOf}.\n */\n function balanceOf(address account) public view virtual override returns (uint256) {\n return _balances[account];\n }\n\n /**\n * @dev See {IERC20-transfer}.\n *\n * Requirements:\n *\n * - `to` cannot be the zero address.\n * - the caller must have a balance of at least `amount`.\n */\n function transfer(address to, uint256 amount) public virtual override returns (bool) {\n address owner = _msgSender();\n _transfer(owner, to, amount);\n return true;\n }\n\n /**\n * @dev See {IERC20-allowance}.\n */\n function allowance(address owner, address spender) public view virtual override returns (uint256) {\n return _allowances[owner][spender];\n }\n\n /**\n * @dev See {IERC20-approve}.\n *\n * NOTE: If `amount` is the maximum `uint256`, the allowance is not updated on\n * `transferFrom`. This is semantically equivalent to an infinite approval.\n *\n * Requirements:\n *\n * - `spender` cannot be the zero address.\n */\n function approve(address spender, uint256 amount) public virtual override returns (bool) {\n address owner = _msgSender();\n _approve(owner, spender, amount);\n return true;\n }\n\n /**\n * @dev See {IERC20-transferFrom}.\n *\n * Emits an {Approval} event indicating the updated allowance. This is not\n * required by the EIP. See the note at the beginning of {ERC20}.\n *\n * NOTE: Does not update the allowance if the current allowance\n * is the maximum `uint256`.\n *\n * Requirements:\n *\n * - `from` and `to` cannot be the zero address.\n * - `from` must have a balance of at least `amount`.\n * - the caller must have allowance for ``from``'s tokens of at least\n * `amount`.\n */\n function transferFrom(address from, address to, uint256 amount) public virtual override returns (bool) {\n address spender = _msgSender();\n _spendAllowance(from, spender, amount);\n _transfer(from, to, amount);\n return true;\n }\n\n /**\n * @dev Atomically increases the allowance granted to `spender` by the caller.\n *\n * This is an alternative to {approve} that can be used as a mitigation for\n * problems described in {IERC20-approve}.\n *\n * Emits an {Approval} event indicating the updated allowance.\n *\n * Requirements:\n *\n * - `spender` cannot be the zero address.\n */\n function increaseAllowance(address spender, uint256 addedValue) public virtual returns (bool) {\n address owner = _msgSender();\n _approve(owner, spender, allowance(owner, spender) + addedValue);\n return true;\n }\n\n /**\n * @dev Atomically decreases the allowance granted to `spender` by the caller.\n *\n * This is an alternative to {approve} that can be used as a mitigation for\n * problems described in {IERC20-approve}.\n *\n * Emits an {Approval} event indicating the updated allowance.\n *\n * Requirements:\n *\n * - `spender` cannot be the zero address.\n * - `spender` must have allowance for the caller of at least\n * `subtractedValue`.\n */\n function decreaseAllowance(address spender, uint256 subtractedValue) public virtual returns (bool) {\n address owner = _msgSender();\n uint256 currentAllowance = allowance(owner, spender);\n require(currentAllowance >= subtractedValue, \"ERC20: decreased allowance below zero\");\n unchecked {\n _approve(owner, spender, currentAllowance - subtractedValue);\n }\n\n return true;\n }\n\n /**\n * @dev Moves `amount` of tokens from `from` to `to`.\n *\n * This internal function is equivalent to {transfer}, and can be used to\n * e.g. implement automatic token fees, slashing mechanisms, etc.\n *\n * Emits a {Transfer} event.\n *\n * Requirements:\n *\n * - `from` cannot be the zero address.\n * - `to` cannot be the zero address.\n * - `from` must have a balance of at least `amount`.\n */\n function _transfer(address from, address to, uint256 amount) internal virtual {\n require(from != address(0), \"ERC20: transfer from the zero address\");\n require(to != address(0), \"ERC20: transfer to the zero address\");\n\n _beforeTokenTransfer(from, to, amount);\n\n uint256 fromBalance = _balances[from];\n require(fromBalance >= amount, \"ERC20: transfer amount exceeds balance\");\n unchecked {\n _balances[from] = fromBalance - amount;\n // Overflow not possible: the sum of all balances is capped by totalSupply, and the sum is preserved by\n // decrementing then incrementing.\n _balances[to] += amount;\n }\n\n emit Transfer(from, to, amount);\n\n _afterTokenTransfer(from, to, amount);\n }\n\n /** @dev Creates `amount` tokens and assigns them to `account`, increasing\n * the total supply.\n *\n * Emits a {Transfer} event with `from` set to the zero address.\n *\n * Requirements:\n *\n * - `account` cannot be the zero address.\n */\n function _mint(address account, uint256 amount) internal virtual {\n require(account != address(0), \"ERC20: mint to the zero address\");\n\n _beforeTokenTransfer(address(0), account, amount);\n\n _totalSupply += amount;\n unchecked {\n // Overflow not possible: balance + amount is at most totalSupply + amount, which is checked above.\n _balances[account] += amount;\n }\n emit Transfer(address(0), account, amount);\n\n _afterTokenTransfer(address(0), account, amount);\n }\n\n /**\n * @dev Destroys `amount` tokens from `account`, reducing the\n * total supply.\n *\n * Emits a {Transfer} event with `to` set to the zero address.\n *\n * Requirements:\n *\n * - `account` cannot be the zero address.\n * - `account` must have at least `amount` tokens.\n */\n function _burn(address account, uint256 amount) internal virtual {\n require(account != address(0), \"ERC20: burn from the zero address\");\n\n _beforeTokenTransfer(account, address(0), amount);\n\n uint256 accountBalance = _balances[account];\n require(accountBalance >= amount, \"ERC20: burn amount exceeds balance\");\n unchecked {\n _balances[account] = accountBalance - amount;\n // Overflow not possible: amount <= accountBalance <= totalSupply.\n _totalSupply -= amount;\n }\n\n emit Transfer(account, address(0), amount);\n\n _afterTokenTransfer(account, address(0), amount);\n }\n\n /**\n * @dev Sets `amount` as the allowance of `spender` over the `owner` s tokens.\n *\n * This internal function is equivalent to `approve`, and can be used to\n * e.g. set automatic allowances for certain subsystems, etc.\n *\n * Emits an {Approval} event.\n *\n * Requirements:\n *\n * - `owner` cannot be the zero address.\n * - `spender` cannot be the zero address.\n */\n function _approve(address owner, address spender, uint256 amount) internal virtual {\n require(owner != address(0), \"ERC20: approve from the zero address\");\n require(spender != address(0), \"ERC20: approve to the zero address\");\n\n _allowances[owner][spender] = amount;\n emit Approval(owner, spender, amount);\n }\n\n /**\n * @dev Updates `owner` s allowance for `spender` based on spent `amount`.\n *\n * Does not update the allowance amount in case of infinite allowance.\n * Revert if not enough allowance is available.\n *\n * Might emit an {Approval} event.\n */\n function _spendAllowance(address owner, address spender, uint256 amount) internal virtual {\n uint256 currentAllowance = allowance(owner, spender);\n if (currentAllowance != type(uint256).max) {\n require(currentAllowance >= amount, \"ERC20: insufficient allowance\");\n unchecked {\n _approve(owner, spender, currentAllowance - amount);\n }\n }\n }\n\n /**\n * @dev Hook that is called before any transfer of tokens. This includes\n * minting and burning.\n *\n * Calling conditions:\n *\n * - when `from` and `to` are both non-zero, `amount` of ``from``'s tokens\n * will be transferred to `to`.\n * - when `from` is zero, `amount` tokens will be minted for `to`.\n * - when `to` is zero, `amount` of ``from``'s tokens will be burned.\n * - `from` and `to` are never both zero.\n *\n * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].\n */\n function _beforeTokenTransfer(address from, address to, uint256 amount) internal virtual {}\n\n /**\n * @dev Hook that is called after any transfer of tokens. This includes\n * minting and burning.\n *\n * Calling conditions:\n *\n * - when `from` and `to` are both non-zero, `amount` of ``from``'s tokens\n * has been transferred to `to`.\n * - when `from` is zero, `amount` tokens have been minted for `to`.\n * - when `to` is zero, `amount` of ``from``'s tokens have been burned.\n * - `from` and `to` are never both zero.\n *\n * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].\n */\n function _afterTokenTransfer(address from, address to, uint256 amount) internal virtual {}\n\n /**\n * @dev This empty reserved space is put in place to allow future versions to add new\n * variables without shifting down storage in the inheritance chain.\n * See https://docs.openzeppelin.com/contracts/4.x/upgradeable#storage_gaps\n */\n uint256[40] private __gap;\n}\n"},{"file_path":"lib/mento-core/lib/openzeppelin-contracts-next/contracts/access/Ownable.sol","source_code":"// SPDX-License-Identifier: MIT\n// OpenZeppelin Contracts (last updated v4.7.0) (access/Ownable.sol)\n\npragma solidity ^0.8.0;\n\nimport \"../utils/Context.sol\";\n\n/**\n * @dev Contract module which provides a basic access control mechanism, where\n * there is an account (an owner) that can be granted exclusive access to\n * specific functions.\n *\n * By default, the owner account will be the one that deploys the contract. This\n * can later be changed with {transferOwnership}.\n *\n * This module is used through inheritance. It will make available the modifier\n * `onlyOwner`, which can be applied to your functions to restrict their use to\n * the owner.\n */\nabstract contract Ownable is Context {\n address private _owner;\n\n event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);\n\n /**\n * @dev Initializes the contract setting the deployer as the initial owner.\n */\n constructor() {\n _transferOwnership(_msgSender());\n }\n\n /**\n * @dev Throws if called by any account other than the owner.\n */\n modifier onlyOwner() {\n _checkOwner();\n _;\n }\n\n /**\n * @dev Returns the address of the current owner.\n */\n function owner() public view virtual returns (address) {\n return _owner;\n }\n\n /**\n * @dev Throws if the sender is not the owner.\n */\n function _checkOwner() internal view virtual {\n require(owner() == _msgSender(), \"Ownable: caller is not the owner\");\n }\n\n /**\n * @dev Leaves the contract without owner. It will not be possible to call\n * `onlyOwner` functions anymore. Can only be called by the current owner.\n *\n * NOTE: Renouncing ownership will leave the contract without an owner,\n * thereby removing any functionality that is only available to the owner.\n */\n function renounceOwnership() public virtual onlyOwner {\n _transferOwnership(address(0));\n }\n\n /**\n * @dev Transfers ownership of the contract to a new account (`newOwner`).\n * Can only be called by the current owner.\n */\n function transferOwnership(address newOwner) public virtual onlyOwner {\n require(newOwner != address(0), \"Ownable: new owner is the zero address\");\n _transferOwnership(newOwner);\n }\n\n /**\n * @dev Transfers ownership of the contract to a new account (`newOwner`).\n * Internal function without access restriction.\n */\n function _transferOwnership(address newOwner) internal virtual {\n address oldOwner = _owner;\n _owner = newOwner;\n emit OwnershipTransferred(oldOwner, newOwner);\n }\n}\n"},{"file_path":"lib/mento-core/lib/openzeppelin-contracts-next/contracts/utils/Context.sol","source_code":"// SPDX-License-Identifier: MIT\n// OpenZeppelin Contracts v4.4.1 (utils/Context.sol)\n\npragma solidity ^0.8.0;\n\n/**\n * @dev Provides information about the current execution context, including the\n * sender of the transaction and its data. While these are generally available\n * via msg.sender and msg.data, they should not be accessed in such a direct\n * manner, since when dealing with meta-transactions the account sending and\n * paying for execution may not be the actual sender (as far as an application\n * is concerned).\n *\n * This contract is only required for intermediate, library-like contracts.\n */\nabstract contract Context {\n function _msgSender() internal view virtual returns (address) {\n return msg.sender;\n }\n\n function _msgData() internal view virtual returns (bytes calldata) {\n return msg.data;\n }\n}\n"},{"file_path":"lib/mento-core/lib/openzeppelin-contracts-upgradeable/contracts/proxy/utils/Initializable.sol","source_code":"// SPDX-License-Identifier: MIT\n// OpenZeppelin Contracts (last updated v4.8.1) (proxy/utils/Initializable.sol)\n\npragma solidity ^0.8.2;\n\nimport \"../../utils/AddressUpgradeable.sol\";\n\n/**\n * @dev This is a base contract to aid in writing upgradeable contracts, or any kind of contract that will be deployed\n * behind a proxy. Since proxied contracts do not make use of a constructor, it's common to move constructor logic to an\n * external initializer function, usually called `initialize`. It then becomes necessary to protect this initializer\n * function so it can only be called once. The {initializer} modifier provided by this contract will have this effect.\n *\n * The initialization functions use a version number. Once a version number is used, it is consumed and cannot be\n * reused. This mechanism prevents re-execution of each \"step\" but allows the creation of new initialization steps in\n * case an upgrade adds a module that needs to be initialized.\n *\n * For example:\n *\n * [.hljs-theme-light.nopadding]\n * ```\n * contract MyToken is ERC20Upgradeable {\n * function initialize() initializer public {\n * __ERC20_init(\"MyToken\", \"MTK\");\n * }\n * }\n * contract MyTokenV2 is MyToken, ERC20PermitUpgradeable {\n * function initializeV2() reinitializer(2) public {\n * __ERC20Permit_init(\"MyToken\");\n * }\n * }\n * ```\n *\n * TIP: To avoid leaving the proxy in an uninitialized state, the initializer function should be called as early as\n * possible by providing the encoded function call as the `_data` argument to {ERC1967Proxy-constructor}.\n *\n * CAUTION: When used with inheritance, manual care must be taken to not invoke a parent initializer twice, or to ensure\n * that all initializers are idempotent. This is not verified automatically as constructors are by Solidity.\n *\n * [CAUTION]\n * ====\n * Avoid leaving a contract uninitialized.\n *\n * An uninitialized contract can be taken over by an attacker. This applies to both a proxy and its implementation\n * contract, which may impact the proxy. To prevent the implementation contract from being used, you should invoke\n * the {_disableInitializers} function in the constructor to automatically lock it when it is deployed:\n *\n * [.hljs-theme-light.nopadding]\n * ```\n * /// @custom:oz-upgrades-unsafe-allow constructor\n * constructor() {\n * _disableInitializers();\n * }\n * ```\n * ====\n */\nabstract contract Initializable {\n /**\n * @dev Indicates that the contract has been initialized.\n * @custom:oz-retyped-from bool\n */\n uint8 private _initialized;\n\n /**\n * @dev Indicates that the contract is in the process of being initialized.\n */\n bool private _initializing;\n\n /**\n * @dev Triggered when the contract has been initialized or reinitialized.\n */\n event Initialized(uint8 version);\n\n /**\n * @dev A modifier that defines a protected initializer function that can be invoked at most once. In its scope,\n * `onlyInitializing` functions can be used to initialize parent contracts.\n *\n * Similar to `reinitializer(1)`, except that functions marked with `initializer` can be nested in the context of a\n * constructor.\n *\n * Emits an {Initialized} event.\n */\n modifier initializer() {\n bool isTopLevelCall = !_initializing;\n require(\n (isTopLevelCall && _initialized < 1) || (!AddressUpgradeable.isContract(address(this)) && _initialized == 1),\n \"Initializable: contract is already initialized\"\n );\n _initialized = 1;\n if (isTopLevelCall) {\n _initializing = true;\n }\n _;\n if (isTopLevelCall) {\n _initializing = false;\n emit Initialized(1);\n }\n }\n\n /**\n * @dev A modifier that defines a protected reinitializer function that can be invoked at most once, and only if the\n * contract hasn't been initialized to a greater version before. In its scope, `onlyInitializing` functions can be\n * used to initialize parent contracts.\n *\n * A reinitializer may be used after the original initialization step. This is essential to configure modules that\n * are added through upgrades and that require initialization.\n *\n * When `version` is 1, this modifier is similar to `initializer`, except that functions marked with `reinitializer`\n * cannot be nested. If one is invoked in the context of another, execution will revert.\n *\n * Note that versions can jump in increments greater than 1; this implies that if multiple reinitializers coexist in\n * a contract, executing them in the right order is up to the developer or operator.\n *\n * WARNING: setting the version to 255 will prevent any future reinitialization.\n *\n * Emits an {Initialized} event.\n */\n modifier reinitializer(uint8 version) {\n require(!_initializing && _initialized < version, \"Initializable: contract is already initialized\");\n _initialized = version;\n _initializing = true;\n _;\n _initializing = false;\n emit Initialized(version);\n }\n\n /**\n * @dev Modifier to protect an initialization function so that it can only be invoked by functions with the\n * {initializer} and {reinitializer} modifiers, directly or indirectly.\n */\n modifier onlyInitializing() {\n require(_initializing, \"Initializable: contract is not initializing\");\n _;\n }\n\n /**\n * @dev Locks the contract, preventing any future reinitialization. This cannot be part of an initializer call.\n * Calling this in the constructor of a contract will prevent that contract from being initialized or reinitialized\n * to any version. It is recommended to use this to lock implementation contracts that are designed to be called\n * through proxies.\n *\n * Emits an {Initialized} event the first time it is successfully executed.\n */\n function _disableInitializers() internal virtual {\n require(!_initializing, \"Initializable: contract is initializing\");\n if (_initialized < type(uint8).max) {\n _initialized = type(uint8).max;\n emit Initialized(type(uint8).max);\n }\n }\n\n /**\n * @dev Returns the highest version that has been initialized. See {reinitializer}.\n */\n function _getInitializedVersion() internal view returns (uint8) {\n return _initialized;\n }\n\n /**\n * @dev Returns `true` if the contract is currently initializing. See {onlyInitializing}.\n */\n function _isInitializing() internal view returns (bool) {\n return _initializing;\n }\n}\n"},{"file_path":"lib/mento-core/lib/openzeppelin-contracts-upgradeable/contracts/token/ERC20/IERC20Upgradeable.sol","source_code":"// SPDX-License-Identifier: MIT\n// OpenZeppelin Contracts (last updated v4.6.0) (token/ERC20/IERC20.sol)\n\npragma solidity ^0.8.0;\n\n/**\n * @dev Interface of the ERC20 standard as defined in the EIP.\n */\ninterface IERC20Upgradeable {\n /**\n * @dev Emitted when `value` tokens are moved from one account (`from`) to\n * another (`to`).\n *\n * Note that `value` may be zero.\n */\n event Transfer(address indexed from, address indexed to, uint256 value);\n\n /**\n * @dev Emitted when the allowance of a `spender` for an `owner` is set by\n * a call to {approve}. `value` is the new allowance.\n */\n event Approval(address indexed owner, address indexed spender, uint256 value);\n\n /**\n * @dev Returns the amount of tokens in existence.\n */\n function totalSupply() external view returns (uint256);\n\n /**\n * @dev Returns the amount of tokens owned by `account`.\n */\n function balanceOf(address account) external view returns (uint256);\n\n /**\n * @dev Moves `amount` tokens from the caller's account to `to`.\n *\n * Returns a boolean value indicating whether the operation succeeded.\n *\n * Emits a {Transfer} event.\n */\n function transfer(address to, uint256 amount) external returns (bool);\n\n /**\n * @dev Returns the remaining number of tokens that `spender` will be\n * allowed to spend on behalf of `owner` through {transferFrom}. This is\n * zero by default.\n *\n * This value changes when {approve} or {transferFrom} are called.\n */\n function allowance(address owner, address spender) external view returns (uint256);\n\n /**\n * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.\n *\n * Returns a boolean value indicating whether the operation succeeded.\n *\n * IMPORTANT: Beware that changing an allowance with this method brings the risk\n * that someone may use both the old and the new allowance by unfortunate\n * transaction ordering. One possible solution to mitigate this race\n * condition is to first reduce the spender's allowance to 0 and set the\n * desired value afterwards:\n * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729\n *\n * Emits an {Approval} event.\n */\n function approve(address spender, uint256 amount) external returns (bool);\n\n /**\n * @dev Moves `amount` tokens from `from` to `to` using the\n * allowance mechanism. `amount` is then deducted from the caller's\n * allowance.\n *\n * Returns a boolean value indicating whether the operation succeeded.\n *\n * Emits a {Transfer} event.\n */\n function transferFrom(\n address from,\n address to,\n uint256 amount\n ) external returns (bool);\n}\n"},{"file_path":"lib/mento-core/lib/openzeppelin-contracts-upgradeable/contracts/token/ERC20/extensions/IERC20MetadataUpgradeable.sol","source_code":"// SPDX-License-Identifier: MIT\n// OpenZeppelin Contracts v4.4.1 (token/ERC20/extensions/IERC20Metadata.sol)\n\npragma solidity ^0.8.0;\n\nimport \"../IERC20Upgradeable.sol\";\n\n/**\n * @dev Interface for the optional metadata functions from the ERC20 standard.\n *\n * _Available since v4.1._\n */\ninterface IERC20MetadataUpgradeable is IERC20Upgradeable {\n /**\n * @dev Returns the name of the token.\n */\n function name() external view returns (string memory);\n\n /**\n * @dev Returns the symbol of the token.\n */\n function symbol() external view returns (string memory);\n\n /**\n * @dev Returns the decimals places of the token.\n */\n function decimals() external view returns (uint8);\n}\n"},{"file_path":"lib/mento-core/lib/openzeppelin-contracts-upgradeable/contracts/token/ERC20/extensions/draft-IERC20PermitUpgradeable.sol","source_code":"// SPDX-License-Identifier: MIT\n// OpenZeppelin Contracts v4.4.1 (token/ERC20/extensions/draft-IERC20Permit.sol)\n\npragma solidity ^0.8.0;\n\n/**\n * @dev Interface of the ERC20 Permit extension allowing approvals to be made via signatures, as defined in\n * https://eips.ethereum.org/EIPS/eip-2612[EIP-2612].\n *\n * Adds the {permit} method, which can be used to change an account's ERC20 allowance (see {IERC20-allowance}) by\n * presenting a message signed by the account. By not relying on {IERC20-approve}, the token holder account doesn't\n * need to send a transaction, and thus is not required to hold Ether at all.\n */\ninterface IERC20PermitUpgradeable {\n /**\n * @dev Sets `value` as the allowance of `spender` over ``owner``'s tokens,\n * given ``owner``'s signed approval.\n *\n * IMPORTANT: The same issues {IERC20-approve} has related to transaction\n * ordering also apply here.\n *\n * Emits an {Approval} event.\n *\n * Requirements:\n *\n * - `spender` cannot be the zero address.\n * - `deadline` must be a timestamp in the future.\n * - `v`, `r` and `s` must be a valid `secp256k1` signature from `owner`\n * over the EIP712-formatted function arguments.\n * - the signature must use ``owner``'s current nonce (see {nonces}).\n *\n * For more information on the signature format, see the\n * https://eips.ethereum.org/EIPS/eip-2612#specification[relevant EIP\n * section].\n */\n function permit(\n address owner,\n address spender,\n uint256 value,\n uint256 deadline,\n uint8 v,\n bytes32 r,\n bytes32 s\n ) external;\n\n /**\n * @dev Returns the current nonce for `owner`. This value must be\n * included whenever a signature is generated for {permit}.\n *\n * Every successful call to {permit} increases ``owner``'s nonce by one. This\n * prevents a signature from being used multiple times.\n */\n function nonces(address owner) external view returns (uint256);\n\n /**\n * @dev Returns the domain separator used in the encoding of the signature for {permit}, as defined by {EIP712}.\n */\n // solhint-disable-next-line func-name-mixedcase\n function DOMAIN_SEPARATOR() external view returns (bytes32);\n}\n"},{"file_path":"lib/mento-core/lib/openzeppelin-contracts-upgradeable/contracts/utils/AddressUpgradeable.sol","source_code":"// SPDX-License-Identifier: MIT\n// OpenZeppelin Contracts (last updated v4.8.0) (utils/Address.sol)\n\npragma solidity ^0.8.1;\n\n/**\n * @dev Collection of functions related to the address type\n */\nlibrary AddressUpgradeable {\n /**\n * @dev Returns true if `account` is a contract.\n *\n * [IMPORTANT]\n * ====\n * It is unsafe to assume that an address for which this function returns\n * false is an externally-owned account (EOA) and not a contract.\n *\n * Among others, `isContract` will return false for the following\n * types of addresses:\n *\n * - an externally-owned account\n * - a contract in construction\n * - an address where a contract will be created\n * - an address where a contract lived, but was destroyed\n * ====\n *\n * [IMPORTANT]\n * ====\n * You shouldn't rely on `isContract` to protect against flash loan attacks!\n *\n * Preventing calls from contracts is highly discouraged. It breaks composability, breaks support for smart wallets\n * like Gnosis Safe, and does not provide security since it can be circumvented by calling from a contract\n * constructor.\n * ====\n */\n function isContract(address account) internal view returns (bool) {\n // This method relies on extcodesize/address.code.length, which returns 0\n // for contracts in construction, since the code is only stored at the end\n // of the constructor execution.\n\n return account.code.length > 0;\n }\n\n /**\n * @dev Replacement for Solidity's `transfer`: sends `amount` wei to\n * `recipient`, forwarding all available gas and reverting on errors.\n *\n * https://eips.ethereum.org/EIPS/eip-1884[EIP1884] increases the gas cost\n * of certain opcodes, possibly making contracts go over the 2300 gas limit\n * imposed by `transfer`, making them unable to receive funds via\n * `transfer`. {sendValue} removes this limitation.\n *\n * https://diligence.consensys.net/posts/2019/09/stop-using-soliditys-transfer-now/[Learn more].\n *\n * IMPORTANT: because control is transferred to `recipient`, care must be\n * taken to not create reentrancy vulnerabilities. Consider using\n * {ReentrancyGuard} or the\n * https://solidity.readthedocs.io/en/v0.5.11/security-considerations.html#use-the-checks-effects-interactions-pattern[checks-effects-interactions pattern].\n */\n function sendValue(address payable recipient, uint256 amount) internal {\n require(address(this).balance >= amount, \"Address: insufficient balance\");\n\n (bool success, ) = recipient.call{value: amount}(\"\");\n require(success, \"Address: unable to send value, recipient may have reverted\");\n }\n\n /**\n * @dev Performs a Solidity function call using a low level `call`. A\n * plain `call` is an unsafe replacement for a function call: use this\n * function instead.\n *\n * If `target` reverts with a revert reason, it is bubbled up by this\n * function (like regular Solidity function calls).\n *\n * Returns the raw returned data. To convert to the expected return value,\n * use https://solidity.readthedocs.io/en/latest/units-and-global-variables.html?highlight=abi.decode#abi-encoding-and-decoding-functions[`abi.decode`].\n *\n * Requirements:\n *\n * - `target` must be a contract.\n * - calling `target` with `data` must not revert.\n *\n * _Available since v3.1._\n */\n function functionCall(address target, bytes memory data) internal returns (bytes memory) {\n return functionCallWithValue(target, data, 0, \"Address: low-level call failed\");\n }\n\n /**\n * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`], but with\n * `errorMessage` as a fallback revert reason when `target` reverts.\n *\n * _Available since v3.1._\n */\n function functionCall(\n address target,\n bytes memory data,\n string memory errorMessage\n ) internal returns (bytes memory) {\n return functionCallWithValue(target, data, 0, errorMessage);\n }\n\n /**\n * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],\n * but also transferring `value` wei to `target`.\n *\n * Requirements:\n *\n * - the calling contract must have an ETH balance of at least `value`.\n * - the called Solidity function must be `payable`.\n *\n * _Available since v3.1._\n */\n function functionCallWithValue(\n address target,\n bytes memory data,\n uint256 value\n ) internal returns (bytes memory) {\n return functionCallWithValue(target, data, value, \"Address: low-level call with value failed\");\n }\n\n /**\n * @dev Same as {xref-Address-functionCallWithValue-address-bytes-uint256-}[`functionCallWithValue`], but\n * with `errorMessage` as a fallback revert reason when `target` reverts.\n *\n * _Available since v3.1._\n */\n function functionCallWithValue(\n address target,\n bytes memory data,\n uint256 value,\n string memory errorMessage\n ) internal returns (bytes memory) {\n require(address(this).balance >= value, \"Address: insufficient balance for call\");\n (bool success, bytes memory returndata) = target.call{value: value}(data);\n return verifyCallResultFromTarget(target, success, returndata, errorMessage);\n }\n\n /**\n * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],\n * but performing a static call.\n *\n * _Available since v3.3._\n */\n function functionStaticCall(address target, bytes memory data) internal view returns (bytes memory) {\n return functionStaticCall(target, data, \"Address: low-level static call failed\");\n }\n\n /**\n * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],\n * but performing a static call.\n *\n * _Available since v3.3._\n */\n function functionStaticCall(\n address target,\n bytes memory data,\n string memory errorMessage\n ) internal view returns (bytes memory) {\n (bool success, bytes memory returndata) = target.staticcall(data);\n return verifyCallResultFromTarget(target, success, returndata, errorMessage);\n }\n\n /**\n * @dev Tool to verify that a low level call to smart-contract was successful, and revert (either by bubbling\n * the revert reason or using the provided one) in case of unsuccessful call or if target was not a contract.\n *\n * _Available since v4.8._\n */\n function verifyCallResultFromTarget(\n address target,\n bool success,\n bytes memory returndata,\n string memory errorMessage\n ) internal view returns (bytes memory) {\n if (success) {\n if (returndata.length == 0) {\n // only check isContract if the call was successful and the return data is empty\n // otherwise we already know that it was a contract\n require(isContract(target), \"Address: call to non-contract\");\n }\n return returndata;\n } else {\n _revert(returndata, errorMessage);\n }\n }\n\n /**\n * @dev Tool to verify that a low level call was successful, and revert if it wasn't, either by bubbling the\n * revert reason or using the provided one.\n *\n * _Available since v4.3._\n */\n function verifyCallResult(\n bool success,\n bytes memory returndata,\n string memory errorMessage\n ) internal pure returns (bytes memory) {\n if (success) {\n return returndata;\n } else {\n _revert(returndata, errorMessage);\n }\n }\n\n function _revert(bytes memory returndata, string memory errorMessage) private pure {\n // Look for revert reason and bubble it up if present\n if (returndata.length > 0) {\n // The easiest way to bubble the revert reason is using memory via assembly\n /// @solidity memory-safe-assembly\n assembly {\n let returndata_size := mload(returndata)\n revert(add(32, returndata), returndata_size)\n }\n } else {\n revert(errorMessage);\n }\n }\n}\n"},{"file_path":"lib/mento-core/lib/openzeppelin-contracts-upgradeable/contracts/utils/CountersUpgradeable.sol","source_code":"// SPDX-License-Identifier: MIT\n// OpenZeppelin Contracts v4.4.1 (utils/Counters.sol)\n\npragma solidity ^0.8.0;\n\n/**\n * @title Counters\n * @author Matt Condon (@shrugs)\n * @dev Provides counters that can only be incremented, decremented or reset. This can be used e.g. to track the number\n * of elements in a mapping, issuing ERC721 ids, or counting request ids.\n *\n * Include with `using Counters for Counters.Counter;`\n */\nlibrary CountersUpgradeable {\n struct Counter {\n // This variable should never be directly accessed by users of the library: interactions must be restricted to\n // the library's function. As of Solidity v0.5.2, this cannot be enforced, though there is a proposal to add\n // this feature: see https://github.com/ethereum/solidity/issues/4637\n uint256 _value; // default: 0\n }\n\n function current(Counter storage counter) internal view returns (uint256) {\n return counter._value;\n }\n\n function increment(Counter storage counter) internal {\n unchecked {\n counter._value += 1;\n }\n }\n\n function decrement(Counter storage counter) internal {\n uint256 value = counter._value;\n require(value > 0, \"Counter: decrement overflow\");\n unchecked {\n counter._value = value - 1;\n }\n }\n\n function reset(Counter storage counter) internal {\n counter._value = 0;\n }\n}\n"},{"file_path":"lib/mento-core/lib/openzeppelin-contracts-upgradeable/contracts/utils/StringsUpgradeable.sol","source_code":"// SPDX-License-Identifier: MIT\n// OpenZeppelin Contracts (last updated v4.8.0) (utils/Strings.sol)\n\npragma solidity ^0.8.0;\n\nimport \"./math/MathUpgradeable.sol\";\n\n/**\n * @dev String operations.\n */\nlibrary StringsUpgradeable {\n bytes16 private constant _SYMBOLS = \"0123456789abcdef\";\n uint8 private constant _ADDRESS_LENGTH = 20;\n\n /**\n * @dev Converts a `uint256` to its ASCII `string` decimal representation.\n */\n function toString(uint256 value) internal pure returns (string memory) {\n unchecked {\n uint256 length = MathUpgradeable.log10(value) + 1;\n string memory buffer = new string(length);\n uint256 ptr;\n /// @solidity memory-safe-assembly\n assembly {\n ptr := add(buffer, add(32, length))\n }\n while (true) {\n ptr--;\n /// @solidity memory-safe-assembly\n assembly {\n mstore8(ptr, byte(mod(value, 10), _SYMBOLS))\n }\n value /= 10;\n if (value == 0) break;\n }\n return buffer;\n }\n }\n\n /**\n * @dev Converts a `uint256` to its ASCII `string` hexadecimal representation.\n */\n function toHexString(uint256 value) internal pure returns (string memory) {\n unchecked {\n return toHexString(value, MathUpgradeable.log256(value) + 1);\n }\n }\n\n /**\n * @dev Converts a `uint256` to its ASCII `string` hexadecimal representation with fixed length.\n */\n function toHexString(uint256 value, uint256 length) internal pure returns (string memory) {\n bytes memory buffer = new bytes(2 * length + 2);\n buffer[0] = \"0\";\n buffer[1] = \"x\";\n for (uint256 i = 2 * length + 1; i > 1; --i) {\n buffer[i] = _SYMBOLS[value & 0xf];\n value >>= 4;\n }\n require(value == 0, \"Strings: hex length insufficient\");\n return string(buffer);\n }\n\n /**\n * @dev Converts an `address` with fixed length of 20 bytes to its not checksummed ASCII `string` hexadecimal representation.\n */\n function toHexString(address addr) internal pure returns (string memory) {\n return toHexString(uint256(uint160(addr)), _ADDRESS_LENGTH);\n }\n}\n"},{"file_path":"lib/mento-core/lib/openzeppelin-contracts-upgradeable/contracts/utils/cryptography/ECDSAUpgradeable.sol","source_code":"// SPDX-License-Identifier: MIT\n// OpenZeppelin Contracts (last updated v4.8.0) (utils/cryptography/ECDSA.sol)\n\npragma solidity ^0.8.0;\n\nimport \"../StringsUpgradeable.sol\";\n\n/**\n * @dev Elliptic Curve Digital Signature Algorithm (ECDSA) operations.\n *\n * These functions can be used to verify that a message was signed by the holder\n * of the private keys of a given address.\n */\nlibrary ECDSAUpgradeable {\n enum RecoverError {\n NoError,\n InvalidSignature,\n InvalidSignatureLength,\n InvalidSignatureS,\n InvalidSignatureV // Deprecated in v4.8\n }\n\n function _throwError(RecoverError error) private pure {\n if (error == RecoverError.NoError) {\n return; // no error: do nothing\n } else if (error == RecoverError.InvalidSignature) {\n revert(\"ECDSA: invalid signature\");\n } else if (error == RecoverError.InvalidSignatureLength) {\n revert(\"ECDSA: invalid signature length\");\n } else if (error == RecoverError.InvalidSignatureS) {\n revert(\"ECDSA: invalid signature 's' value\");\n }\n }\n\n /**\n * @dev Returns the address that signed a hashed message (`hash`) with\n * `signature` or error string. This address can then be used for verification purposes.\n *\n * The `ecrecover` EVM opcode allows for malleable (non-unique) signatures:\n * this function rejects them by requiring the `s` value to be in the lower\n * half order, and the `v` value to be either 27 or 28.\n *\n * IMPORTANT: `hash` _must_ be the result of a hash operation for the\n * verification to be secure: it is possible to craft signatures that\n * recover to arbitrary addresses for non-hashed data. A safe way to ensure\n * this is by receiving a hash of the original message (which may otherwise\n * be too long), and then calling {toEthSignedMessageHash} on it.\n *\n * Documentation for signature generation:\n * - with https://web3js.readthedocs.io/en/v1.3.4/web3-eth-accounts.html#sign[Web3.js]\n * - with https://docs.ethers.io/v5/api/signer/#Signer-signMessage[ethers]\n *\n * _Available since v4.3._\n */\n function tryRecover(bytes32 hash, bytes memory signature) internal pure returns (address, RecoverError) {\n if (signature.length == 65) {\n bytes32 r;\n bytes32 s;\n uint8 v;\n // ecrecover takes the signature parameters, and the only way to get them\n // currently is to use assembly.\n /// @solidity memory-safe-assembly\n assembly {\n r := mload(add(signature, 0x20))\n s := mload(add(signature, 0x40))\n v := byte(0, mload(add(signature, 0x60)))\n }\n return tryRecover(hash, v, r, s);\n } else {\n return (address(0), RecoverError.InvalidSignatureLength);\n }\n }\n\n /**\n * @dev Returns the address that signed a hashed message (`hash`) with\n * `signature`. This address can then be used for verification purposes.\n *\n * The `ecrecover` EVM opcode allows for malleable (non-unique) signatures:\n * this function rejects them by requiring the `s` value to be in the lower\n * half order, and the `v` value to be either 27 or 28.\n *\n * IMPORTANT: `hash` _must_ be the result of a hash operation for the\n * verification to be secure: it is possible to craft signatures that\n * recover to arbitrary addresses for non-hashed data. A safe way to ensure\n * this is by receiving a hash of the original message (which may otherwise\n * be too long), and then calling {toEthSignedMessageHash} on it.\n */\n function recover(bytes32 hash, bytes memory signature) internal pure returns (address) {\n (address recovered, RecoverError error) = tryRecover(hash, signature);\n _throwError(error);\n return recovered;\n }\n\n /**\n * @dev Overload of {ECDSA-tryRecover} that receives the `r` and `vs` short-signature fields separately.\n *\n * See https://eips.ethereum.org/EIPS/eip-2098[EIP-2098 short signatures]\n *\n * _Available since v4.3._\n */\n function tryRecover(\n bytes32 hash,\n bytes32 r,\n bytes32 vs\n ) internal pure returns (address, RecoverError) {\n bytes32 s = vs & bytes32(0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff);\n uint8 v = uint8((uint256(vs) >> 255) + 27);\n return tryRecover(hash, v, r, s);\n }\n\n /**\n * @dev Overload of {ECDSA-recover} that receives the `r and `vs` short-signature fields separately.\n *\n * _Available since v4.2._\n */\n function recover(\n bytes32 hash,\n bytes32 r,\n bytes32 vs\n ) internal pure returns (address) {\n (address recovered, RecoverError error) = tryRecover(hash, r, vs);\n _throwError(error);\n return recovered;\n }\n\n /**\n * @dev Overload of {ECDSA-tryRecover} that receives the `v`,\n * `r` and `s` signature fields separately.\n *\n * _Available since v4.3._\n */\n function tryRecover(\n bytes32 hash,\n uint8 v,\n bytes32 r,\n bytes32 s\n ) internal pure returns (address, RecoverError) {\n // EIP-2 still allows signature malleability for ecrecover(). Remove this possibility and make the signature\n // unique. Appendix F in the Ethereum Yellow paper (https://ethereum.github.io/yellowpaper/paper.pdf), defines\n // the valid range for s in (301): 0 < s < secp256k1n รท 2 + 1, and for v in (302): v โˆˆ {27, 28}. Most\n // signatures from current libraries generate a unique signature with an s-value in the lower half order.\n //\n // If your library generates malleable signatures, such as s-values in the upper range, calculate a new s-value\n // with 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEBAAEDCE6AF48A03BBFD25E8CD0364141 - s1 and flip v from 27 to 28 or\n // vice versa. If your library also generates signatures with 0/1 for v instead 27/28, add 27 to v to accept\n // these malleable signatures as well.\n if (uint256(s) > 0x7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF5D576E7357A4501DDFE92F46681B20A0) {\n return (address(0), RecoverError.InvalidSignatureS);\n }\n\n // If the signature is valid (and not malleable), return the signer address\n address signer = ecrecover(hash, v, r, s);\n if (signer == address(0)) {\n return (address(0), RecoverError.InvalidSignature);\n }\n\n return (signer, RecoverError.NoError);\n }\n\n /**\n * @dev Overload of {ECDSA-recover} that receives the `v`,\n * `r` and `s` signature fields separately.\n */\n function recover(\n bytes32 hash,\n uint8 v,\n bytes32 r,\n bytes32 s\n ) internal pure returns (address) {\n (address recovered, RecoverError error) = tryRecover(hash, v, r, s);\n _throwError(error);\n return recovered;\n }\n\n /**\n * @dev Returns an Ethereum Signed Message, created from a `hash`. This\n * produces hash corresponding to the one signed with the\n * https://eth.wiki/json-rpc/API#eth_sign[`eth_sign`]\n * JSON-RPC method as part of EIP-191.\n *\n * See {recover}.\n */\n function toEthSignedMessageHash(bytes32 hash) internal pure returns (bytes32) {\n // 32 is the length in bytes of hash,\n // enforced by the type signature above\n return keccak256(abi.encodePacked(\"\\x19Ethereum Signed Message:\\n32\", hash));\n }\n\n /**\n * @dev Returns an Ethereum Signed Message, created from `s`. This\n * produces hash corresponding to the one signed with the\n * https://eth.wiki/json-rpc/API#eth_sign[`eth_sign`]\n * JSON-RPC method as part of EIP-191.\n *\n * See {recover}.\n */\n function toEthSignedMessageHash(bytes memory s) internal pure returns (bytes32) {\n return keccak256(abi.encodePacked(\"\\x19Ethereum Signed Message:\\n\", StringsUpgradeable.toString(s.length), s));\n }\n\n /**\n * @dev Returns an Ethereum Signed Typed Data, created from a\n * `domainSeparator` and a `structHash`. This produces hash corresponding\n * to the one signed with the\n * https://eips.ethereum.org/EIPS/eip-712[`eth_signTypedData`]\n * JSON-RPC method as part of EIP-712.\n *\n * See {recover}.\n */\n function toTypedDataHash(bytes32 domainSeparator, bytes32 structHash) internal pure returns (bytes32) {\n return keccak256(abi.encodePacked(\"\\x19\\x01\", domainSeparator, structHash));\n }\n}\n"},{"file_path":"lib/mento-core/lib/openzeppelin-contracts-upgradeable/contracts/utils/cryptography/EIP712Upgradeable.sol","source_code":"// SPDX-License-Identifier: MIT\n// OpenZeppelin Contracts (last updated v4.8.0) (utils/cryptography/EIP712.sol)\n\npragma solidity ^0.8.0;\n\nimport \"./ECDSAUpgradeable.sol\";\nimport \"../../proxy/utils/Initializable.sol\";\n\n/**\n * @dev https://eips.ethereum.org/EIPS/eip-712[EIP 712] is a standard for hashing and signing of typed structured data.\n *\n * The encoding specified in the EIP is very generic, and such a generic implementation in Solidity is not feasible,\n * thus this contract does not implement the encoding itself. Protocols need to implement the type-specific encoding\n * they need in their contracts using a combination of `abi.encode` and `keccak256`.\n *\n * This contract implements the EIP 712 domain separator ({_domainSeparatorV4}) that is used as part of the encoding\n * scheme, and the final step of the encoding to obtain the message digest that is then signed via ECDSA\n * ({_hashTypedDataV4}).\n *\n * The implementation of the domain separator was designed to be as efficient as possible while still properly updating\n * the chain id to protect against replay attacks on an eventual fork of the chain.\n *\n * NOTE: This contract implements the version of the encoding known as \"v4\", as implemented by the JSON RPC method\n * https://docs.metamask.io/guide/signing-data.html[`eth_signTypedDataV4` in MetaMask].\n *\n * _Available since v3.4._\n *\n * @custom:storage-size 52\n */\nabstract contract EIP712Upgradeable is Initializable {\n /* solhint-disable var-name-mixedcase */\n bytes32 private _HASHED_NAME;\n bytes32 private _HASHED_VERSION;\n bytes32 private constant _TYPE_HASH = keccak256(\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\");\n\n /* solhint-enable var-name-mixedcase */\n\n /**\n * @dev Initializes the domain separator and parameter caches.\n *\n * The meaning of `name` and `version` is specified in\n * https://eips.ethereum.org/EIPS/eip-712#definition-of-domainseparator[EIP 712]:\n *\n * - `name`: the user readable name of the signing domain, i.e. the name of the DApp or the protocol.\n * - `version`: the current major version of the signing domain.\n *\n * NOTE: These parameters cannot be changed except through a xref:learn::upgrading-smart-contracts.adoc[smart\n * contract upgrade].\n */\n function __EIP712_init(string memory name, string memory version) internal onlyInitializing {\n __EIP712_init_unchained(name, version);\n }\n\n function __EIP712_init_unchained(string memory name, string memory version) internal onlyInitializing {\n bytes32 hashedName = keccak256(bytes(name));\n bytes32 hashedVersion = keccak256(bytes(version));\n _HASHED_NAME = hashedName;\n _HASHED_VERSION = hashedVersion;\n }\n\n /**\n * @dev Returns the domain separator for the current chain.\n */\n function _domainSeparatorV4() internal view returns (bytes32) {\n return _buildDomainSeparator(_TYPE_HASH, _EIP712NameHash(), _EIP712VersionHash());\n }\n\n function _buildDomainSeparator(\n bytes32 typeHash,\n bytes32 nameHash,\n bytes32 versionHash\n ) private view returns (bytes32) {\n return keccak256(abi.encode(typeHash, nameHash, versionHash, block.chainid, address(this)));\n }\n\n /**\n * @dev Given an already https://eips.ethereum.org/EIPS/eip-712#definition-of-hashstruct[hashed struct], this\n * function returns the hash of the fully encoded EIP712 message for this domain.\n *\n * This hash can be used together with {ECDSA-recover} to obtain the signer of a message. For example:\n *\n * ```solidity\n * bytes32 digest = _hashTypedDataV4(keccak256(abi.encode(\n * keccak256(\"Mail(address to,string contents)\"),\n * mailTo,\n * keccak256(bytes(mailContents))\n * )));\n * address signer = ECDSA.recover(digest, signature);\n * ```\n */\n function _hashTypedDataV4(bytes32 structHash) internal view virtual returns (bytes32) {\n return ECDSAUpgradeable.toTypedDataHash(_domainSeparatorV4(), structHash);\n }\n\n /**\n * @dev The hash of the name parameter for the EIP712 domain.\n *\n * NOTE: This function reads from storage by default, but can be redefined to return a constant value if gas costs\n * are a concern.\n */\n function _EIP712NameHash() internal virtual view returns (bytes32) {\n return _HASHED_NAME;\n }\n\n /**\n * @dev The hash of the version parameter for the EIP712 domain.\n *\n * NOTE: This function reads from storage by default, but can be redefined to return a constant value if gas costs\n * are a concern.\n */\n function _EIP712VersionHash() internal virtual view returns (bytes32) {\n return _HASHED_VERSION;\n }\n\n /**\n * @dev This empty reserved space is put in place to allow future versions to add new\n * variables without shifting down storage in the inheritance chain.\n * See https://docs.openzeppelin.com/contracts/4.x/upgradeable#storage_gaps\n */\n uint256[50] private __gap;\n}\n"},{"file_path":"lib/mento-core/lib/openzeppelin-contracts-upgradeable/contracts/utils/math/MathUpgradeable.sol","source_code":"// SPDX-License-Identifier: MIT\n// OpenZeppelin Contracts (last updated v4.8.0) (utils/math/Math.sol)\n\npragma solidity ^0.8.0;\n\n/**\n * @dev Standard math utilities missing in the Solidity language.\n */\nlibrary MathUpgradeable {\n enum Rounding {\n Down, // Toward negative infinity\n Up, // Toward infinity\n Zero // Toward zero\n }\n\n /**\n * @dev Returns the largest of two numbers.\n */\n function max(uint256 a, uint256 b) internal pure returns (uint256) {\n return a > b ? a : b;\n }\n\n /**\n * @dev Returns the smallest of two numbers.\n */\n function min(uint256 a, uint256 b) internal pure returns (uint256) {\n return a < b ? a : b;\n }\n\n /**\n * @dev Returns the average of two numbers. The result is rounded towards\n * zero.\n */\n function average(uint256 a, uint256 b) internal pure returns (uint256) {\n // (a + b) / 2 can overflow.\n return (a & b) + (a ^ b) / 2;\n }\n\n /**\n * @dev Returns the ceiling of the division of two numbers.\n *\n * This differs from standard division with `/` in that it rounds up instead\n * of rounding down.\n */\n function ceilDiv(uint256 a, uint256 b) internal pure returns (uint256) {\n // (a + b - 1) / b can overflow on addition, so we distribute.\n return a == 0 ? 0 : (a - 1) / b + 1;\n }\n\n /**\n * @notice Calculates floor(x * y / denominator) with full precision. Throws if result overflows a uint256 or denominator == 0\n * @dev Original credit to Remco Bloemen under MIT license (https://xn--2-umb.com/21/muldiv)\n * with further edits by Uniswap Labs also under MIT license.\n */\n function mulDiv(\n uint256 x,\n uint256 y,\n uint256 denominator\n ) internal pure returns (uint256 result) {\n unchecked {\n // 512-bit multiply [prod1 prod0] = x * y. Compute the product mod 2^256 and mod 2^256 - 1, then use\n // use the Chinese Remainder Theorem to reconstruct the 512 bit result. The result is stored in two 256\n // variables such that product = prod1 * 2^256 + prod0.\n uint256 prod0; // Least significant 256 bits of the product\n uint256 prod1; // Most significant 256 bits of the product\n assembly {\n let mm := mulmod(x, y, not(0))\n prod0 := mul(x, y)\n prod1 := sub(sub(mm, prod0), lt(mm, prod0))\n }\n\n // Handle non-overflow cases, 256 by 256 division.\n if (prod1 == 0) {\n return prod0 / denominator;\n }\n\n // Make sure the result is less than 2^256. Also prevents denominator == 0.\n require(denominator > prod1);\n\n ///////////////////////////////////////////////\n // 512 by 256 division.\n ///////////////////////////////////////////////\n\n // Make division exact by subtracting the remainder from [prod1 prod0].\n uint256 remainder;\n assembly {\n // Compute remainder using mulmod.\n remainder := mulmod(x, y, denominator)\n\n // Subtract 256 bit number from 512 bit number.\n prod1 := sub(prod1, gt(remainder, prod0))\n prod0 := sub(prod0, remainder)\n }\n\n // Factor powers of two out of denominator and compute largest power of two divisor of denominator. Always >= 1.\n // See https://cs.stackexchange.com/q/138556/92363.\n\n // Does not overflow because the denominator cannot be zero at this stage in the function.\n uint256 twos = denominator & (~denominator + 1);\n assembly {\n // Divide denominator by twos.\n denominator := div(denominator, twos)\n\n // Divide [prod1 prod0] by twos.\n prod0 := div(prod0, twos)\n\n // Flip twos such that it is 2^256 / twos. If twos is zero, then it becomes one.\n twos := add(div(sub(0, twos), twos), 1)\n }\n\n // Shift in bits from prod1 into prod0.\n prod0 |= prod1 * twos;\n\n // Invert denominator mod 2^256. Now that denominator is an odd number, it has an inverse modulo 2^256 such\n // that denominator * inv = 1 mod 2^256. Compute the inverse by starting with a seed that is correct for\n // four bits. That is, denominator * inv = 1 mod 2^4.\n uint256 inverse = (3 * denominator) ^ 2;\n\n // Use the Newton-Raphson iteration to improve the precision. Thanks to Hensel's lifting lemma, this also works\n // in modular arithmetic, doubling the correct bits in each step.\n inverse *= 2 - denominator * inverse; // inverse mod 2^8\n inverse *= 2 - denominator * inverse; // inverse mod 2^16\n inverse *= 2 - denominator * inverse; // inverse mod 2^32\n inverse *= 2 - denominator * inverse; // inverse mod 2^64\n inverse *= 2 - denominator * inverse; // inverse mod 2^128\n inverse *= 2 - denominator * inverse; // inverse mod 2^256\n\n // Because the division is now exact we can divide by multiplying with the modular inverse of denominator.\n // This will give us the correct result modulo 2^256. Since the preconditions guarantee that the outcome is\n // less than 2^256, this is the final result. We don't need to compute the high bits of the result and prod1\n // is no longer required.\n result = prod0 * inverse;\n return result;\n }\n }\n\n /**\n * @notice Calculates x * y / denominator with full precision, following the selected rounding direction.\n */\n function mulDiv(\n uint256 x,\n uint256 y,\n uint256 denominator,\n Rounding rounding\n ) internal pure returns (uint256) {\n uint256 result = mulDiv(x, y, denominator);\n if (rounding == Rounding.Up && mulmod(x, y, denominator) > 0) {\n result += 1;\n }\n return result;\n }\n\n /**\n * @dev Returns the square root of a number. If the number is not a perfect square, the value is rounded down.\n *\n * Inspired by Henry S. Warren, Jr.'s \"Hacker's Delight\" (Chapter 11).\n */\n function sqrt(uint256 a) internal pure returns (uint256) {\n if (a == 0) {\n return 0;\n }\n\n // For our first guess, we get the biggest power of 2 which is smaller than the square root of the target.\n //\n // We know that the \"msb\" (most significant bit) of our target number `a` is a power of 2 such that we have\n // `msb(a) <= a < 2*msb(a)`. This value can be written `msb(a)=2**k` with `k=log2(a)`.\n //\n // This can be rewritten `2**log2(a) <= a < 2**(log2(a) + 1)`\n // โ†’ `sqrt(2**k) <= sqrt(a) < sqrt(2**(k+1))`\n // โ†’ `2**(k/2) <= sqrt(a) < 2**((k+1)/2) <= 2**(k/2 + 1)`\n //\n // Consequently, `2**(log2(a) / 2)` is a good first approximation of `sqrt(a)` with at least 1 correct bit.\n uint256 result = 1 << (log2(a) >> 1);\n\n // At this point `result` is an estimation with one bit of precision. We know the true value is a uint128,\n // since it is the square root of a uint256. Newton's method converges quadratically (precision doubles at\n // every iteration). We thus need at most 7 iteration to turn our partial result with one bit of precision\n // into the expected uint128 result.\n unchecked {\n result = (result + a / result) >> 1;\n result = (result + a / result) >> 1;\n result = (result + a / result) >> 1;\n result = (result + a / result) >> 1;\n result = (result + a / result) >> 1;\n result = (result + a / result) >> 1;\n result = (result + a / result) >> 1;\n return min(result, a / result);\n }\n }\n\n /**\n * @notice Calculates sqrt(a), following the selected rounding direction.\n */\n function sqrt(uint256 a, Rounding rounding) internal pure returns (uint256) {\n unchecked {\n uint256 result = sqrt(a);\n return result + (rounding == Rounding.Up && result * result < a ? 1 : 0);\n }\n }\n\n /**\n * @dev Return the log in base 2, rounded down, of a positive value.\n * Returns 0 if given 0.\n */\n function log2(uint256 value) internal pure returns (uint256) {\n uint256 result = 0;\n unchecked {\n if (value >> 128 > 0) {\n value >>= 128;\n result += 128;\n }\n if (value >> 64 > 0) {\n value >>= 64;\n result += 64;\n }\n if (value >> 32 > 0) {\n value >>= 32;\n result += 32;\n }\n if (value >> 16 > 0) {\n value >>= 16;\n result += 16;\n }\n if (value >> 8 > 0) {\n value >>= 8;\n result += 8;\n }\n if (value >> 4 > 0) {\n value >>= 4;\n result += 4;\n }\n if (value >> 2 > 0) {\n value >>= 2;\n result += 2;\n }\n if (value >> 1 > 0) {\n result += 1;\n }\n }\n return result;\n }\n\n /**\n * @dev Return the log in base 2, following the selected rounding direction, of a positive value.\n * Returns 0 if given 0.\n */\n function log2(uint256 value, Rounding rounding) internal pure returns (uint256) {\n unchecked {\n uint256 result = log2(value);\n return result + (rounding == Rounding.Up && 1 << result < value ? 1 : 0);\n }\n }\n\n /**\n * @dev Return the log in base 10, rounded down, of a positive value.\n * Returns 0 if given 0.\n */\n function log10(uint256 value) internal pure returns (uint256) {\n uint256 result = 0;\n unchecked {\n if (value >= 10**64) {\n value /= 10**64;\n result += 64;\n }\n if (value >= 10**32) {\n value /= 10**32;\n result += 32;\n }\n if (value >= 10**16) {\n value /= 10**16;\n result += 16;\n }\n if (value >= 10**8) {\n value /= 10**8;\n result += 8;\n }\n if (value >= 10**4) {\n value /= 10**4;\n result += 4;\n }\n if (value >= 10**2) {\n value /= 10**2;\n result += 2;\n }\n if (value >= 10**1) {\n result += 1;\n }\n }\n return result;\n }\n\n /**\n * @dev Return the log in base 10, following the selected rounding direction, of a positive value.\n * Returns 0 if given 0.\n */\n function log10(uint256 value, Rounding rounding) internal pure returns (uint256) {\n unchecked {\n uint256 result = log10(value);\n return result + (rounding == Rounding.Up && 10**result < value ? 1 : 0);\n }\n }\n\n /**\n * @dev Return the log in base 256, rounded down, of a positive value.\n * Returns 0 if given 0.\n *\n * Adding one to the result gives the number of pairs of hex symbols needed to represent `value` as a hex string.\n */\n function log256(uint256 value) internal pure returns (uint256) {\n uint256 result = 0;\n unchecked {\n if (value >> 128 > 0) {\n value >>= 128;\n result += 16;\n }\n if (value >> 64 > 0) {\n value >>= 64;\n result += 8;\n }\n if (value >> 32 > 0) {\n value >>= 32;\n result += 4;\n }\n if (value >> 16 > 0) {\n value >>= 16;\n result += 2;\n }\n if (value >> 8 > 0) {\n result += 1;\n }\n }\n return result;\n }\n\n /**\n * @dev Return the log in base 10, following the selected rounding direction, of a positive value.\n * Returns 0 if given 0.\n */\n function log256(uint256 value, Rounding rounding) internal pure returns (uint256) {\n unchecked {\n uint256 result = log256(value);\n return result + (rounding == Rounding.Up && 1 << (result * 8) < value ? 1 : 0);\n }\n }\n}\n"},{"file_path":"lib/mento-core/node_modules/@celo/contracts/common/CalledByVm.sol","source_code":"// SPDX-License-Identifier: LGPL-3.0-only\npragma solidity >=0.5.13 <0.9.0;\n\ncontract CalledByVm {\n modifier onlyVm() {\n require(msg.sender == address(0), \"Only VM can call\");\n _;\n }\n}\n"}],"certified":false,"conflicting_implementations":null,"abi":[{"inputs":[{"internalType":"bool","name":"disable","type":"bool"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"burner","type":"address"},{"indexed":false,"internalType":"bool","name":"isBurner","type":"bool"}],"name":"BurnerUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint8","name":"version","type":"uint8"}],"name":"Initialized","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"minter","type":"address"},{"indexed":false,"internalType":"bool","name":"isMinter","type":"bool"}],"name":"MinterUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"operator","type":"address"},{"indexed":false,"internalType":"bool","name":"isOperator","type":"bool"}],"name":"OperatorUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"DOMAIN_SEPARATOR","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"value","type":"uint256"}],"name":"burn","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"burn","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address[]","name":"recipients","type":"address[]"},{"internalType":"uint256[]","name":"amounts","type":"uint256[]"}],"name":"creditGasFees","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"refundRecipient","type":"address"},{"internalType":"address","name":"tipRecipient","type":"address"},{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"baseFeeRecipient","type":"address"},{"internalType":"uint256","name":"refundAmount","type":"uint256"},{"internalType":"uint256","name":"tipAmount","type":"uint256"},{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"uint256","name":"baseFeeAmount","type":"uint256"}],"name":"creditGasFees","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"debitGasFees","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"deprecated_broker_storage_slot__","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"deprecated_exchange_storage_slot__","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"deprecated_validators_storage_slot__","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"string","name":"_name","type":"string"},{"internalType":"string","name":"_symbol","type":"string"},{"internalType":"address","name":"_initialOwner","type":"address"},{"internalType":"address[]","name":"initialBalanceAddresses","type":"address[]"},{"internalType":"uint256[]","name":"initialBalanceValues","type":"uint256[]"},{"internalType":"address[]","name":"_minters","type":"address[]"},{"internalType":"address[]","name":"_burners","type":"address[]"},{"internalType":"address[]","name":"_operators","type":"address[]"}],"name":"initialize","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address[]","name":"_minters","type":"address[]"},{"internalType":"address[]","name":"_burners","type":"address[]"},{"internalType":"address[]","name":"_operators","type":"address[]"}],"name":"initializeV3","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"isBurner","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"isMinter","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"isOperator","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"mint","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"nonces","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"deadline","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"permit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_poolAddress","type":"address"},{"internalType":"address","name":"_receiver","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"returnFromPool","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_sender","type":"address"},{"internalType":"address","name":"_poolAddress","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"sendToPool","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_burner","type":"address"},{"internalType":"bool","name":"_isBurner","type":"bool"}],"name":"setBurner","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_minter","type":"address"},{"internalType":"bool","name":"_isMinter","type":"bool"}],"name":"setMinter","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_operator","type":"address"},{"internalType":"bool","name":"_isOperator","type":"bool"}],"name":"setOperator","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"}],"is_changed_bytecode":false,"is_partially_verified":true,"constructor_args":"0x0000000000000000000000000000000000000000000000000000000000000001"}