Contract Source Code (Solidity Standard Json-Input format)

IDE

• Blockscan IDE

More Options

• Similar
• Compare

// SPDX-License-Identifier: MIT
pragma solidity 0.8.28;

import {AccessControl} from "@openzeppelin/contracts/access/AccessControl.sol";
import {Pausable} from "@openzeppelin/contracts/utils/Pausable.sol";
import {IFXPriceOracle} from "./interfaces/IFXPriceOracle.sol";

/// @title FXPriceOracle - FX Rate Oracle with Phase 2 Safety Features
/// @notice Role-based exchange rate oracle with heartbeat, circuit breaker, and pausability
/// @dev Rates are stored in 18 decimals. RATE_UPDATER_ROLE can set rates; DEFAULT_ADMIN_ROLE manages config.
contract FXPriceOracle is AccessControl, Pausable, IFXPriceOracle {
    /// @notice Role identifier for accounts permitted to update exchange rates
    bytes32 public constant RATE_UPDATER_ROLE = keccak256("RATE_UPDATER_ROLE");

    /// @dev Exchange rates for each of the 3 tokens, stored in 18 decimals
    uint256[3] private _rates;

    /// @dev Timestamps of last rate update per token
    uint256[3] private _lastUpdated;

    /// @notice Maximum allowed age (in seconds) of a rate before it is considered stale
    uint256 public heartbeat = 7200;

    /// @notice Maximum allowed deviation in basis points (10000 = 100%). Default 500 = 5%
    uint256 public maxDeviation = 500;

    /// @param initialAdmin The address that will receive DEFAULT_ADMIN_ROLE
    constructor(address initialAdmin) {
        _grantRole(DEFAULT_ADMIN_ROLE, initialAdmin);
    }

    // ================================================================
    // === Rate Update Functions (RATE_UPDATER_ROLE) ===
    // ================================================================

    /// @notice Set the exchange rate for a single token
    /// @param tokenIndex The index of the token (0-2)
    /// @param rate The new exchange rate in 18 decimals (must be > 0)
    function setRate(uint256 tokenIndex, uint256 rate) external onlyRole(RATE_UPDATER_ROLE) {
        if (tokenIndex >= 3) revert InvalidTokenIndex();
        if (rate == 0) revert InvalidRate();

        uint256 oldRate = _rates[tokenIndex];
        _checkDeviation(tokenIndex, oldRate, rate);

        _rates[tokenIndex] = rate;
        _lastUpdated[tokenIndex] = block.timestamp;

        emit RateUpdated(tokenIndex, oldRate, rate, block.timestamp);
    }

    /// @notice Set exchange rates for all 3 tokens at once
    /// @param rates Array of 3 exchange rates in 18 decimals (each must be > 0)
    function setRates(uint256[3] calldata rates) external onlyRole(RATE_UPDATER_ROLE) {
        for (uint256 i = 0; i < 3; i++) {
            if (rates[i] == 0) revert InvalidRate();

            uint256 oldRate = _rates[i];
            _checkDeviation(i, oldRate, rates[i]);

            _rates[i] = rates[i];
            _lastUpdated[i] = block.timestamp;

            emit RateUpdated(i, oldRate, rates[i], block.timestamp);
        }
    }

    // ================================================================
    // === View Functions ===
    // ================================================================

    /// @inheritdoc IFXPriceOracle
    function getRate(uint256 tokenIndex) external view override whenNotPaused returns (uint256) {
        if (tokenIndex >= 3) revert InvalidTokenIndex();
        if (_isStale(tokenIndex)) revert StaleRate(tokenIndex);
        return _rates[tokenIndex];
    }

    /// @inheritdoc IFXPriceOracle
    function getRates() external view override whenNotPaused returns (uint256[3] memory) {
        for (uint256 i = 0; i < 3; i++) {
            if (_isStale(i)) revert StaleRate(i);
        }
        return _rates;
    }

    /// @inheritdoc IFXPriceOracle
    function isStale(uint256 tokenIndex) external view returns (bool) {
        if (tokenIndex >= 3) revert InvalidTokenIndex();
        return _isStale(tokenIndex);
    }

    /// @inheritdoc IFXPriceOracle
    function lastUpdated(uint256 tokenIndex) external view returns (uint256) {
        if (tokenIndex >= 3) revert InvalidTokenIndex();
        return _lastUpdated[tokenIndex];
    }

    // ================================================================
    // === Admin Functions (DEFAULT_ADMIN_ROLE) ===
    // ================================================================

    /// @notice Pause the oracle, preventing getRate/getRates from being called
    function pause() external onlyRole(DEFAULT_ADMIN_ROLE) {
        _pause();
    }

    /// @notice Unpause the oracle, resuming normal operation
    function unpause() external onlyRole(DEFAULT_ADMIN_ROLE) {
        _unpause();
    }

    /// @notice Update the heartbeat interval
    /// @param newHeartbeat New heartbeat interval in seconds (must be > 0)
    function setHeartbeat(uint256 newHeartbeat) external onlyRole(DEFAULT_ADMIN_ROLE) {
        if (newHeartbeat == 0) revert InvalidHeartbeat();
        uint256 oldHeartbeat = heartbeat;
        heartbeat = newHeartbeat;
        emit HeartbeatUpdated(oldHeartbeat, newHeartbeat);
    }

    /// @notice Update the maximum deviation threshold
    /// @param newMaxDeviation New max deviation in basis points (must be > 0 and <= 10000)
    function setMaxDeviation(uint256 newMaxDeviation) external onlyRole(DEFAULT_ADMIN_ROLE) {
        if (newMaxDeviation == 0 || newMaxDeviation > 10_000) revert InvalidMaxDeviation();
        uint256 oldMaxDeviation = maxDeviation;
        maxDeviation = newMaxDeviation;
        emit MaxDeviationUpdated(oldMaxDeviation, newMaxDeviation);
    }

    // ================================================================
    // === Internal Functions ===
    // ================================================================

    /// @dev Check whether a token's rate is stale (exceeds heartbeat)
    /// @param tokenIndex The index of the token
    /// @return True if the rate is stale
    function _isStale(uint256 tokenIndex) internal view returns (bool) {
        if (_lastUpdated[tokenIndex] == 0) return false;
        return block.timestamp - _lastUpdated[tokenIndex] > heartbeat;
    }

    /// @dev Check that rate deviation is within the allowed maxDeviation threshold
    /// @param tokenIndex The index of the token (used in revert data)
    /// @param oldRate The previous rate
    /// @param newRate The proposed new rate
    function _checkDeviation(uint256 tokenIndex, uint256 oldRate, uint256 newRate) internal view {
        if (oldRate == 0) return; // First setting is exempt
        uint256 deviation;
        if (newRate > oldRate) {
            deviation = (newRate - oldRate) * 10_000 / oldRate;
        } else {
            deviation = (oldRate - newRate) * 10_000 / oldRate;
        }
        if (deviation > maxDeviation) {
            revert CircuitBreakerTripped(tokenIndex, oldRate, newRate, deviation);
        }
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.4.0) (access/AccessControl.sol)

pragma solidity ^0.8.20;

import {IAccessControl} from "./IAccessControl.sol";
import {Context} from "../utils/Context.sol";
import {IERC165, ERC165} from "../utils/introspection/ERC165.sol";

/**
 * @dev Contract module that allows children to implement role-based access
 * control mechanisms. This is a lightweight version that doesn't allow enumerating role
 * members except through off-chain means by accessing the contract event logs. Some
 * applications may benefit from on-chain enumerability, for those cases see
 * {AccessControlEnumerable}.
 *
 * Roles are referred to by their `bytes32` identifier. These should be exposed
 * in the external API and be unique. The best way to achieve this is by
 * using `public constant` hash digests:
 *
 * ```solidity
 * bytes32 public constant MY_ROLE = keccak256("MY_ROLE");
 * ```
 *
 * Roles can be used to represent a set of permissions. To restrict access to a
 * function call, use {hasRole}:
 *
 * ```solidity
 * function foo() public {
 *     require(hasRole(MY_ROLE, msg.sender));
 *     ...
 * }
 * ```
 *
 * Roles can be granted and revoked dynamically via the {grantRole} and
 * {revokeRole} functions. Each role has an associated admin role, and only
 * accounts that have a role's admin role can call {grantRole} and {revokeRole}.
 *
 * By default, the admin role for all roles is `DEFAULT_ADMIN_ROLE`, which means
 * that only accounts with this role will be able to grant or revoke other
 * roles. More complex role relationships can be created by using
 * {_setRoleAdmin}.
 *
 * WARNING: The `DEFAULT_ADMIN_ROLE` is also its own admin: it has permission to
 * grant and revoke this role. Extra precautions should be taken to secure
 * accounts that have been granted it. We recommend using {AccessControlDefaultAdminRules}
 * to enforce additional security measures for this role.
 */
abstract contract AccessControl is Context, IAccessControl, ERC165 {
    struct RoleData {
        mapping(address account => bool) hasRole;
        bytes32 adminRole;
    }

    mapping(bytes32 role => RoleData) private _roles;

    bytes32 public constant DEFAULT_ADMIN_ROLE = 0x00;

    /**
     * @dev Modifier that checks that an account has a specific role. Reverts
     * with an {AccessControlUnauthorizedAccount} error including the required role.
     */
    modifier onlyRole(bytes32 role) {
        _checkRole(role);
        _;
    }

    /// @inheritdoc IERC165
    function supportsInterface(bytes4 interfaceId) public view virtual override returns (bool) {
        return interfaceId == type(IAccessControl).interfaceId || super.supportsInterface(interfaceId);
    }

    /**
     * @dev Returns `true` if `account` has been granted `role`.
     */
    function hasRole(bytes32 role, address account) public view virtual returns (bool) {
        return _roles[role].hasRole[account];
    }

    /**
     * @dev Reverts with an {AccessControlUnauthorizedAccount} error if `_msgSender()`
     * is missing `role`. Overriding this function changes the behavior of the {onlyRole} modifier.
     */
    function _checkRole(bytes32 role) internal view virtual {
        _checkRole(role, _msgSender());
    }

    /**
     * @dev Reverts with an {AccessControlUnauthorizedAccount} error if `account`
     * is missing `role`.
     */
    function _checkRole(bytes32 role, address account) internal view virtual {
        if (!hasRole(role, account)) {
            revert AccessControlUnauthorizedAccount(account, role);
        }
    }

    /**
     * @dev Returns the admin role that controls `role`. See {grantRole} and
     * {revokeRole}.
     *
     * To change a role's admin, use {_setRoleAdmin}.
     */
    function getRoleAdmin(bytes32 role) public view virtual returns (bytes32) {
        return _roles[role].adminRole;
    }

    /**
     * @dev Grants `role` to `account`.
     *
     * If `account` had not been already granted `role`, emits a {RoleGranted}
     * event.
     *
     * Requirements:
     *
     * - the caller must have ``role``'s admin role.
     *
     * May emit a {RoleGranted} event.
     */
    function grantRole(bytes32 role, address account) public virtual onlyRole(getRoleAdmin(role)) {
        _grantRole(role, account);
    }

    /**
     * @dev Revokes `role` from `account`.
     *
     * If `account` had been granted `role`, emits a {RoleRevoked} event.
     *
     * Requirements:
     *
     * - the caller must have ``role``'s admin role.
     *
     * May emit a {RoleRevoked} event.
     */
    function revokeRole(bytes32 role, address account) public virtual onlyRole(getRoleAdmin(role)) {
        _revokeRole(role, account);
    }

    /**
     * @dev Revokes `role` from the calling account.
     *
     * Roles are often managed via {grantRole} and {revokeRole}: this function's
     * purpose is to provide a mechanism for accounts to lose their privileges
     * if they are compromised (such as when a trusted device is misplaced).
     *
     * If the calling account had been revoked `role`, emits a {RoleRevoked}
     * event.
     *
     * Requirements:
     *
     * - the caller must be `callerConfirmation`.
     *
     * May emit a {RoleRevoked} event.
     */
    function renounceRole(bytes32 role, address callerConfirmation) public virtual {
        if (callerConfirmation != _msgSender()) {
            revert AccessControlBadConfirmation();
        }

        _revokeRole(role, callerConfirmation);
    }

    /**
     * @dev Sets `adminRole` as ``role``'s admin role.
     *
     * Emits a {RoleAdminChanged} event.
     */
    function _setRoleAdmin(bytes32 role, bytes32 adminRole) internal virtual {
        bytes32 previousAdminRole = getRoleAdmin(role);
        _roles[role].adminRole = adminRole;
        emit RoleAdminChanged(role, previousAdminRole, adminRole);
    }

    /**
     * @dev Attempts to grant `role` to `account` and returns a boolean indicating if `role` was granted.
     *
     * Internal function without access restriction.
     *
     * May emit a {RoleGranted} event.
     */
    function _grantRole(bytes32 role, address account) internal virtual returns (bool) {
        if (!hasRole(role, account)) {
            _roles[role].hasRole[account] = true;
            emit RoleGranted(role, account, _msgSender());
            return true;
        } else {
            return false;
        }
    }

    /**
     * @dev Attempts to revoke `role` from `account` and returns a boolean indicating if `role` was revoked.
     *
     * Internal function without access restriction.
     *
     * May emit a {RoleRevoked} event.
     */
    function _revokeRole(bytes32 role, address account) internal virtual returns (bool) {
        if (hasRole(role, account)) {
            _roles[role].hasRole[account] = false;
            emit RoleRevoked(role, account, _msgSender());
            return true;
        } else {
            return false;
        }
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.3.0) (utils/Pausable.sol)

pragma solidity ^0.8.20;

import {Context} from "../utils/Context.sol";

/**
 * @dev Contract module which allows children to implement an emergency stop
 * mechanism that can be triggered by an authorized account.
 *
 * This module is used through inheritance. It will make available the
 * modifiers `whenNotPaused` and `whenPaused`, which can be applied to
 * the functions of your contract. Note that they will not be pausable by
 * simply including this module, only once the modifiers are put in place.
 */
abstract contract Pausable is Context {
    bool private _paused;

    /**
     * @dev Emitted when the pause is triggered by `account`.
     */
    event Paused(address account);

    /**
     * @dev Emitted when the pause is lifted by `account`.
     */
    event Unpaused(address account);

    /**
     * @dev The operation failed because the contract is paused.
     */
    error EnforcedPause();

    /**
     * @dev The operation failed because the contract is not paused.
     */
    error ExpectedPause();

    /**
     * @dev Modifier to make a function callable only when the contract is not paused.
     *
     * Requirements:
     *
     * - The contract must not be paused.
     */
    modifier whenNotPaused() {
        _requireNotPaused();
        _;
    }

    /**
     * @dev Modifier to make a function callable only when the contract is paused.
     *
     * Requirements:
     *
     * - The contract must be paused.
     */
    modifier whenPaused() {
        _requirePaused();
        _;
    }

    /**
     * @dev Returns true if the contract is paused, and false otherwise.
     */
    function paused() public view virtual returns (bool) {
        return _paused;
    }

    /**
     * @dev Throws if the contract is paused.
     */
    function _requireNotPaused() internal view virtual {
        if (paused()) {
            revert EnforcedPause();
        }
    }

    /**
     * @dev Throws if the contract is not paused.
     */
    function _requirePaused() internal view virtual {
        if (!paused()) {
            revert ExpectedPause();
        }
    }

    /**
     * @dev Triggers stopped state.
     *
     * Requirements:
     *
     * - The contract must not be paused.
     */
    function _pause() internal virtual whenNotPaused {
        _paused = true;
        emit Paused(_msgSender());
    }

    /**
     * @dev Returns to normal state.
     *
     * Requirements:
     *
     * - The contract must be paused.
     */
    function _unpause() internal virtual whenPaused {
        _paused = false;
        emit Unpaused(_msgSender());
    }
}

// SPDX-License-Identifier: MIT
pragma solidity 0.8.28;

/// @title IFXPriceOracle - FX Price Oracle Interface
/// @notice Provides exchange rates for multi-currency stablecoin pool normalization
interface IFXPriceOracle {
    // Existing errors
    /// @notice Thrown when a rate of zero is provided
    error InvalidRate();

    /// @notice Thrown when token index is out of bounds (>= 3)
    error InvalidTokenIndex();

    // Phase 2 errors
    /// @notice Thrown when a rate is stale (exceeds heartbeat)
    /// @param tokenIndex The index of the stale token
    error StaleRate(uint256 tokenIndex);

    /// @notice Thrown when heartbeat value is zero
    error InvalidHeartbeat();

    /// @notice Thrown when max deviation value is zero or exceeds 100%
    error InvalidMaxDeviation();

    /// @notice Thrown when rate deviation exceeds maxDeviation threshold
    /// @param tokenIndex The index of the token
    /// @param oldRate The previous exchange rate
    /// @param newRate The attempted new exchange rate
    /// @param deviation The calculated deviation in basis points (10000 = 100%)
    error CircuitBreakerTripped(uint256 tokenIndex, uint256 oldRate, uint256 newRate, uint256 deviation);

    // Updated event with timestamp
    /// @notice Emitted when a token's exchange rate is updated
    /// @param tokenIndex The index of the token whose rate changed
    /// @param oldRate The previous exchange rate
    /// @param newRate The new exchange rate
    /// @param timestamp The block timestamp of the update
    event RateUpdated(uint256 indexed tokenIndex, uint256 oldRate, uint256 newRate, uint256 timestamp);

    // Phase 2 events
    /// @notice Emitted when the heartbeat interval is updated
    /// @param oldHeartbeat The previous heartbeat value
    /// @param newHeartbeat The new heartbeat value
    event HeartbeatUpdated(uint256 oldHeartbeat, uint256 newHeartbeat);

    /// @notice Emitted when the max deviation threshold is updated
    /// @param oldMaxDeviation The previous max deviation value
    /// @param newMaxDeviation The new max deviation value
    event MaxDeviationUpdated(uint256 oldMaxDeviation, uint256 newMaxDeviation);

    // Existing functions
    /// @notice Returns the exchange rate for a specific token
    /// @param tokenIndex The index of the token (0-2)
    /// @return The exchange rate in 18 decimals
    function getRate(uint256 tokenIndex) external view returns (uint256);

    /// @notice Returns exchange rates for all 3 tokens
    /// @return An array of 3 exchange rates in 18 decimals
    function getRates() external view returns (uint256[3] memory);

    // Phase 2 functions
    /// @notice Returns whether a token's rate is stale (exceeds heartbeat)
    /// @param tokenIndex The index of the token (0-2)
    /// @return True if the rate is stale
    function isStale(uint256 tokenIndex) external view returns (bool);

    /// @notice Returns the last update timestamp for a token's rate
    /// @param tokenIndex The index of the token (0-2)
    /// @return The block timestamp of the last rate update
    function lastUpdated(uint256 tokenIndex) external view returns (uint256);
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.4.0) (access/IAccessControl.sol)

pragma solidity >=0.8.4;

/**
 * @dev External interface of AccessControl declared to support ERC-165 detection.
 */
interface IAccessControl {
    /**
     * @dev The `account` is missing a role.
     */
    error AccessControlUnauthorizedAccount(address account, bytes32 neededRole);

    /**
     * @dev The caller of a function is not the expected one.
     *
     * NOTE: Don't confuse with {AccessControlUnauthorizedAccount}.
     */
    error AccessControlBadConfirmation();

    /**
     * @dev Emitted when `newAdminRole` is set as ``role``'s admin role, replacing `previousAdminRole`
     *
     * `DEFAULT_ADMIN_ROLE` is the starting admin for all roles, despite
     * {RoleAdminChanged} not being emitted to signal this.
     */
    event RoleAdminChanged(bytes32 indexed role, bytes32 indexed previousAdminRole, bytes32 indexed newAdminRole);

    /**
     * @dev Emitted when `account` is granted `role`.
     *
     * `sender` is the account that originated the contract call. This account bears the admin role (for the granted role).
     * Expected in cases where the role was granted using the internal {AccessControl-_grantRole}.
     */
    event RoleGranted(bytes32 indexed role, address indexed account, address indexed sender);

    /**
     * @dev Emitted when `account` is revoked `role`.
     *
     * `sender` is the account that originated the contract call:
     *   - if using `revokeRole`, it is the admin role bearer
     *   - if using `renounceRole`, it is the role bearer (i.e. `account`)
     */
    event RoleRevoked(bytes32 indexed role, address indexed account, address indexed sender);

    /**
     * @dev Returns `true` if `account` has been granted `role`.
     */
    function hasRole(bytes32 role, address account) external view returns (bool);

    /**
     * @dev Returns the admin role that controls `role`. See {grantRole} and
     * {revokeRole}.
     *
     * To change a role's admin, use {AccessControl-_setRoleAdmin}.
     */
    function getRoleAdmin(bytes32 role) external view returns (bytes32);

    /**
     * @dev Grants `role` to `account`.
     *
     * If `account` had not been already granted `role`, emits a {RoleGranted}
     * event.
     *
     * Requirements:
     *
     * - the caller must have ``role``'s admin role.
     */
    function grantRole(bytes32 role, address account) external;

    /**
     * @dev Revokes `role` from `account`.
     *
     * If `account` had been granted `role`, emits a {RoleRevoked} event.
     *
     * Requirements:
     *
     * - the caller must have ``role``'s admin role.
     */
    function revokeRole(bytes32 role, address account) external;

    /**
     * @dev Revokes `role` from the calling account.
     *
     * Roles are often managed via {grantRole} and {revokeRole}: this function's
     * purpose is to provide a mechanism for accounts to lose their privileges
     * if they are compromised (such as when a trusted device is misplaced).
     *
     * If the calling account had been granted `role`, emits a {RoleRevoked}
     * event.
     *
     * Requirements:
     *
     * - the caller must be `callerConfirmation`.
     */
    function renounceRole(bytes32 role, address callerConfirmation) external;
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.1) (utils/Context.sol)

pragma solidity ^0.8.20;

/**
 * @dev Provides information about the current execution context, including the
 * sender of the transaction and its data. While these are generally available
 * via msg.sender and msg.data, they should not be accessed in such a direct
 * manner, since when dealing with meta-transactions the account sending and
 * paying for execution may not be the actual sender (as far as an application
 * is concerned).
 *
 * This contract is only required for intermediate, library-like contracts.
 */
abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }

    function _msgData() internal view virtual returns (bytes calldata) {
        return msg.data;
    }

    function _contextSuffixLength() internal view virtual returns (uint256) {
        return 0;
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.4.0) (utils/introspection/ERC165.sol)

pragma solidity ^0.8.20;

import {IERC165} from "./IERC165.sol";

/**
 * @dev Implementation of the {IERC165} interface.
 *
 * Contracts that want to implement ERC-165 should inherit from this contract and override {supportsInterface} to check
 * for the additional interface id that will be supported. For example:
 *
 * ```solidity
 * function supportsInterface(bytes4 interfaceId) public view virtual override returns (bool) {
 *     return interfaceId == type(MyInterface).interfaceId || super.supportsInterface(interfaceId);
 * }
 * ```
 */
abstract contract ERC165 is IERC165 {
    /// @inheritdoc IERC165
    function supportsInterface(bytes4 interfaceId) public view virtual returns (bool) {
        return interfaceId == type(IERC165).interfaceId;
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.4.0) (utils/introspection/IERC165.sol)

pragma solidity >=0.4.16;

/**
 * @dev Interface of the ERC-165 standard, as defined in the
 * https://eips.ethereum.org/EIPS/eip-165[ERC].
 *
 * Implementers can declare support of contract interfaces, which can then be
 * queried by others ({ERC165Checker}).
 *
 * For an implementation, see {ERC165}.
 */
interface IERC165 {
    /**
     * @dev Returns true if this contract implements the interface defined by
     * `interfaceId`. See the corresponding
     * https://eips.ethereum.org/EIPS/eip-165#how-interfaces-are-identified[ERC section]
     * to learn more about how these ids are created.
     *
     * This function call must use less than 30 000 gas.
     */
    function supportsInterface(bytes4 interfaceId) external view returns (bool);
}

{
  "remappings": [
    "@openzeppelin/=lib/openzeppelin-contracts/",
    "erc4626-tests/=lib/openzeppelin-contracts/lib/erc4626-tests/",
    "forge-std/=lib/forge-std/src/",
    "halmos-cheatcodes/=lib/openzeppelin-contracts/lib/halmos-cheatcodes/src/",
    "openzeppelin-contracts/=lib/openzeppelin-contracts/"
  ],
  "optimizer": {
    "enabled": true,
    "runs": 200
  },
  "metadata": {
    "useLiteralContent": false,
    "bytecodeHash": "ipfs",
    "appendCBOR": true
  },
  "outputSelection": {
    "*": {
      "*": [
        "evm.bytecode",
        "evm.deployedBytecode",
        "devdoc",
        "userdoc",
        "metadata",
        "abi"
      ]
    }
  },
  "evmVersion": "prague",
  "viaIR": false
}

[{"inputs":[{"internalType":"address","name":"initialAdmin","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[],"name":"AccessControlBadConfirmation","type":"error"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"bytes32","name":"neededRole","type":"bytes32"}],"name":"AccessControlUnauthorizedAccount","type":"error"},{"inputs":[{"internalType":"uint256","name":"tokenIndex","type":"uint256"},{"internalType":"uint256","name":"oldRate","type":"uint256"},{"internalType":"uint256","name":"newRate","type":"uint256"},{"internalType":"uint256","name":"deviation","type":"uint256"}],"name":"CircuitBreakerTripped","type":"error"},{"inputs":[],"name":"EnforcedPause","type":"error"},{"inputs":[],"name":"ExpectedPause","type":"error"},{"inputs":[],"name":"InvalidHeartbeat","type":"error"},{"inputs":[],"name":"InvalidMaxDeviation","type":"error"},{"inputs":[],"name":"InvalidRate","type":"error"},{"inputs":[],"name":"InvalidTokenIndex","type":"error"},{"inputs":[{"internalType":"uint256","name":"tokenIndex","type":"uint256"}],"name":"StaleRate","type":"error"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"oldHeartbeat","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"newHeartbeat","type":"uint256"}],"name":"HeartbeatUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"oldMaxDeviation","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"newMaxDeviation","type":"uint256"}],"name":"MaxDeviationUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Paused","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"tokenIndex","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"oldRate","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"newRate","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"timestamp","type":"uint256"}],"name":"RateUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"role","type":"bytes32"},{"indexed":true,"internalType":"bytes32","name":"previousAdminRole","type":"bytes32"},{"indexed":true,"internalType":"bytes32","name":"newAdminRole","type":"bytes32"}],"name":"RoleAdminChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"role","type":"bytes32"},{"indexed":true,"internalType":"address","name":"account","type":"address"},{"indexed":true,"internalType":"address","name":"sender","type":"address"}],"name":"RoleGranted","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"role","type":"bytes32"},{"indexed":true,"internalType":"address","name":"account","type":"address"},{"indexed":true,"internalType":"address","name":"sender","type":"address"}],"name":"RoleRevoked","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Unpaused","type":"event"},{"inputs":[],"name":"DEFAULT_ADMIN_ROLE","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"RATE_UPDATER_ROLE","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenIndex","type":"uint256"}],"name":"getRate","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getRates","outputs":[{"internalType":"uint256[3]","name":"","type":"uint256[3]"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"role","type":"bytes32"}],"name":"getRoleAdmin","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"role","type":"bytes32"},{"internalType":"address","name":"account","type":"address"}],"name":"grantRole","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"role","type":"bytes32"},{"internalType":"address","name":"account","type":"address"}],"name":"hasRole","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"heartbeat","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenIndex","type":"uint256"}],"name":"isStale","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenIndex","type":"uint256"}],"name":"lastUpdated","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"maxDeviation","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"pause","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"paused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"role","type":"bytes32"},{"internalType":"address","name":"callerConfirmation","type":"address"}],"name":"renounceRole","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"role","type":"bytes32"},{"internalType":"address","name":"account","type":"address"}],"name":"revokeRole","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"newHeartbeat","type":"uint256"}],"name":"setHeartbeat","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"newMaxDeviation","type":"uint256"}],"name":"setMaxDeviation","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenIndex","type":"uint256"},{"internalType":"uint256","name":"rate","type":"uint256"}],"name":"setRate","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256[3]","name":"rates","type":"uint256[3]"}],"name":"setRates","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes4","name":"interfaceId","type":"bytes4"}],"name":"supportsInterface","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"unpause","outputs":[],"stateMutability":"nonpayable","type":"function"}]

6080604052611c206008556101f460095534801561001b575f5ffd5b50604051610e44380380610e4483398101604081905261003a916100f4565b6100445f8261004b565b5050610121565b5f828152602081815260408083206001600160a01b038516845290915281205460ff166100eb575f838152602081815260408083206001600160a01b03861684529091529020805460ff191660011790556100a33390565b6001600160a01b0316826001600160a01b0316847f2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d60405160405180910390a45060016100ee565b505f5b92915050565b5f60208284031215610104575f5ffd5b81516001600160a01b038116811461011a575f5ffd5b9392505050565b610d168061012e5f395ff3fe608060405234801561000f575f5ffd5b5060043610610132575f3560e01c806357764094116100b45780639accab55116100795780639accab5514610269578063a217fddf1461027e578063a624a1df14610285578063d29dba9114610298578063d547741f146102ab578063dddbc049146102be575f5ffd5b8063577640941461021d578063593e1471146102305780635c975abb146102435780638456cb591461024e57806391d1485414610256575f5ffd5b80632f2ff15d116100fa5780632f2ff15d146101d157806336568abe146101e65780633defb962146101f95780633f4ba83a1461020257806346df2ccb1461020a575f5ffd5b806301ffc9a71461013657806321d26d751461015e578063248a9ca31461019357806324a29522146101b55780632a1bab73146101c8575b5f5ffd5b610149610144366004610b7c565b6102d1565b60405190151581526020015b60405180910390f35b6101857fdd35c6ca7643a0c47d5f41ad013ad746ed60a503609ddce9787a26d5702bf2db81565b604051908152602001610155565b6101856101a1366004610baa565b5f9081526020819052604090206001015490565b6101856101c3366004610baa565b610307565b61018560095481565b6101e46101df366004610bc1565b610344565b005b6101e46101f4366004610bc1565b61036e565b61018560085481565b6101e46103a6565b6101e4610218366004610bfa565b6103bb565b61018561022b366004610baa565b6104bd565b6101e461023e366004610c1a565b610529565b60015460ff16610149565b6101e4610672565b610149610264366004610bc1565b610684565b6102716106ac565b6040516101559190610c3f565b6101855f81565b610149610293366004610baa565b61072d565b6101e46102a6366004610baa565b610758565b6101e46102b9366004610bc1565b6107c9565b6101e46102cc366004610baa565b6107ed565b5f6001600160e01b03198216637965db0b60e01b148061030157506301ffc9a760e01b6001600160e01b03198316145b92915050565b5f600382106103295760405163609f982f60e01b815260040160405180910390fd5b6005826003811061033c5761033c610c6f565b015492915050565b5f8281526020819052604090206001015461035e81610861565b610368838361086b565b50505050565b6001600160a01b03811633146103975760405163334bd91960e11b815260040160405180910390fd5b6103a182826108fa565b505050565b5f6103b081610861565b6103b8610963565b50565b7fdd35c6ca7643a0c47d5f41ad013ad746ed60a503609ddce9787a26d5702bf2db6103e581610861565b600383106104065760405163609f982f60e01b815260040160405180910390fd5b815f0361042657604051636a43f8d160e01b815260040160405180910390fd5b5f6002846003811061043a5761043a610c6f565b015490506104498482856109b5565b826002856003811061045d5761045d610c6f565b0155426005856003811061047357610473610c6f565b015560408051828152602081018590524281830152905185917fdd8196f9280a887c2cda9ceaa0c9f147ee5931086cfa28738c70c45ce383f1cb919081900360600190a250505050565b5f6104c6610a51565b600382106104e75760405163609f982f60e01b815260040160405180910390fd5b6104f082610a77565b1561051657604051631c4914c960e31b8152600481018390526024015b60405180910390fd5b6002826003811061033c5761033c610c6f565b7fdd35c6ca7643a0c47d5f41ad013ad746ed60a503609ddce9787a26d5702bf2db61055381610861565b5f5b60038110156103a15782816003811061057057610570610c6f565b60200201355f0361059457604051636a43f8d160e01b815260040160405180910390fd5b5f600282600381106105a8576105a8610c6f565b015490506105cd82828685600381106105c3576105c3610c6f565b60200201356109b5565b8382600381106105df576105df610c6f565b6020020135600283600381106105f7576105f7610c6f565b0155426005836003811061060d5761060d610c6f565b0155817fdd8196f9280a887c2cda9ceaa0c9f147ee5931086cfa28738c70c45ce383f1cb8286836003811061064457610644610c6f565b604080519384526020918202929092013590830152429082015260600160405180910390a250600101610555565b5f61067c81610861565b6103b8610ac3565b5f918252602082815260408084206001600160a01b0393909316845291905290205460ff1690565b6106b4610b5e565b6106bc610a51565b5f5b60038110156106f9576106d081610a77565b156106f157604051631c4914c960e31b81526004810182905260240161050d565b6001016106be565b506040805160608101918290529060029060039082845b815481526020019060010190808311610710575050505050905090565b5f6003821061074f5760405163609f982f60e01b815260040160405180910390fd5b61030182610a77565b5f61076281610861565b815f0361078257604051638f1825c960e01b815260040160405180910390fd5b600880549083905560408051828152602081018590527fe452a27d3b098a57cdda646c96c15e5e8e1ba64ee911f09e4af4036611fe679291015b60405180910390a1505050565b5f828152602081905260409020600101546107e381610861565b61036883836108fa565b5f6107f781610861565b811580610805575061271082115b1561082357604051635ff2f9e760e01b815260040160405180910390fd5b600980549083905560408051828152602081018590527fea7b0359048504e79474eaaa05294b49265fc4e7b0a0c3737aaa22412e90f16e91016107bc565b6103b88133610afe565b5f6108768383610684565b6108f3575f838152602081815260408083206001600160a01b03861684529091529020805460ff191660011790556108ab3390565b6001600160a01b0316826001600160a01b0316847f2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d60405160405180910390a4506001610301565b505f610301565b5f6109058383610684565b156108f3575f838152602081815260408083206001600160a01b0386168085529252808320805460ff1916905551339286917ff6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b9190a4506001610301565b61096b610b3b565b6001805460ff191690557f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa335b6040516001600160a01b03909116815260200160405180910390a1565b815f036109c157505050565b5f828211156109f257826109d58184610c97565b6109e190612710610caa565b6109eb9190610cc1565b9050610a16565b826109fd8382610c97565b610a0990612710610caa565b610a139190610cc1565b90505b600954811115610368576040516321e6217760e21b81526004810185905260248101849052604481018390526064810182905260840161050d565b60015460ff1615610a755760405163d93c066560e01b815260040160405180910390fd5b565b5f60058260038110610a8b57610a8b610c6f565b01545f03610a9a57505f919050565b60085460058360038110610ab057610ab0610c6f565b0154610abc9042610c97565b1192915050565b610acb610a51565b6001805460ff1916811790557f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25833610998565b610b088282610684565b610b375760405163e2517d3f60e01b81526001600160a01b03821660048201526024810183905260440161050d565b5050565b60015460ff16610a7557604051638dfc202b60e01b815260040160405180910390fd5b60405180606001604052806003906020820280368337509192915050565b5f60208284031215610b8c575f5ffd5b81356001600160e01b031981168114610ba3575f5ffd5b9392505050565b5f60208284031215610bba575f5ffd5b5035919050565b5f5f60408385031215610bd2575f5ffd5b8235915060208301356001600160a01b0381168114610bef575f5ffd5b809150509250929050565b5f5f60408385031215610c0b575f5ffd5b50508035926020909101359150565b5f60608284031215610c2a575f5ffd5b82606083011115610c39575f5ffd5b50919050565b6060810181835f5b6003811015610c66578151835260209283019290910190600101610c47565b50505092915050565b634e487b7160e01b5f52603260045260245ffd5b634e487b7160e01b5f52601160045260245ffd5b8181038181111561030157610301610c83565b808202811582820484141761030157610301610c83565b5f82610cdb57634e487b7160e01b5f52601260045260245ffd5b50049056fea2646970667358221220cc19eee0f2cfe7d5c479de205b494df58dcdde2b7036575d877b461ecdd6d0ee64736f6c634300081c00330000000000000000000000005dce2324d68a481a2385205283082b1392678ae6

0x608060405234801561000f575f5ffd5b5060043610610132575f3560e01c806357764094116100b45780639accab55116100795780639accab5514610269578063a217fddf1461027e578063a624a1df14610285578063d29dba9114610298578063d547741f146102ab578063dddbc049146102be575f5ffd5b8063577640941461021d578063593e1471146102305780635c975abb146102435780638456cb591461024e57806391d1485414610256575f5ffd5b80632f2ff15d116100fa5780632f2ff15d146101d157806336568abe146101e65780633defb962146101f95780633f4ba83a1461020257806346df2ccb1461020a575f5ffd5b806301ffc9a71461013657806321d26d751461015e578063248a9ca31461019357806324a29522146101b55780632a1bab73146101c8575b5f5ffd5b610149610144366004610b7c565b6102d1565b60405190151581526020015b60405180910390f35b6101857fdd35c6ca7643a0c47d5f41ad013ad746ed60a503609ddce9787a26d5702bf2db81565b604051908152602001610155565b6101856101a1366004610baa565b5f9081526020819052604090206001015490565b6101856101c3366004610baa565b610307565b61018560095481565b6101e46101df366004610bc1565b610344565b005b6101e46101f4366004610bc1565b61036e565b61018560085481565b6101e46103a6565b6101e4610218366004610bfa565b6103bb565b61018561022b366004610baa565b6104bd565b6101e461023e366004610c1a565b610529565b60015460ff16610149565b6101e4610672565b610149610264366004610bc1565b610684565b6102716106ac565b6040516101559190610c3f565b6101855f81565b610149610293366004610baa565b61072d565b6101e46102a6366004610baa565b610758565b6101e46102b9366004610bc1565b6107c9565b6101e46102cc366004610baa565b6107ed565b5f6001600160e01b03198216637965db0b60e01b148061030157506301ffc9a760e01b6001600160e01b03198316145b92915050565b5f600382106103295760405163609f982f60e01b815260040160405180910390fd5b6005826003811061033c5761033c610c6f565b015492915050565b5f8281526020819052604090206001015461035e81610861565b610368838361086b565b50505050565b6001600160a01b03811633146103975760405163334bd91960e11b815260040160405180910390fd5b6103a182826108fa565b505050565b5f6103b081610861565b6103b8610963565b50565b7fdd35c6ca7643a0c47d5f41ad013ad746ed60a503609ddce9787a26d5702bf2db6103e581610861565b600383106104065760405163609f982f60e01b815260040160405180910390fd5b815f0361042657604051636a43f8d160e01b815260040160405180910390fd5b5f6002846003811061043a5761043a610c6f565b015490506104498482856109b5565b826002856003811061045d5761045d610c6f565b0155426005856003811061047357610473610c6f565b015560408051828152602081018590524281830152905185917fdd8196f9280a887c2cda9ceaa0c9f147ee5931086cfa28738c70c45ce383f1cb919081900360600190a250505050565b5f6104c6610a51565b600382106104e75760405163609f982f60e01b815260040160405180910390fd5b6104f082610a77565b1561051657604051631c4914c960e31b8152600481018390526024015b60405180910390fd5b6002826003811061033c5761033c610c6f565b7fdd35c6ca7643a0c47d5f41ad013ad746ed60a503609ddce9787a26d5702bf2db61055381610861565b5f5b60038110156103a15782816003811061057057610570610c6f565b60200201355f0361059457604051636a43f8d160e01b815260040160405180910390fd5b5f600282600381106105a8576105a8610c6f565b015490506105cd82828685600381106105c3576105c3610c6f565b60200201356109b5565b8382600381106105df576105df610c6f565b6020020135600283600381106105f7576105f7610c6f565b0155426005836003811061060d5761060d610c6f565b0155817fdd8196f9280a887c2cda9ceaa0c9f147ee5931086cfa28738c70c45ce383f1cb8286836003811061064457610644610c6f565b604080519384526020918202929092013590830152429082015260600160405180910390a250600101610555565b5f61067c81610861565b6103b8610ac3565b5f918252602082815260408084206001600160a01b0393909316845291905290205460ff1690565b6106b4610b5e565b6106bc610a51565b5f5b60038110156106f9576106d081610a77565b156106f157604051631c4914c960e31b81526004810182905260240161050d565b6001016106be565b506040805160608101918290529060029060039082845b815481526020019060010190808311610710575050505050905090565b5f6003821061074f5760405163609f982f60e01b815260040160405180910390fd5b61030182610a77565b5f61076281610861565b815f0361078257604051638f1825c960e01b815260040160405180910390fd5b600880549083905560408051828152602081018590527fe452a27d3b098a57cdda646c96c15e5e8e1ba64ee911f09e4af4036611fe679291015b60405180910390a1505050565b5f828152602081905260409020600101546107e381610861565b61036883836108fa565b5f6107f781610861565b811580610805575061271082115b1561082357604051635ff2f9e760e01b815260040160405180910390fd5b600980549083905560408051828152602081018590527fea7b0359048504e79474eaaa05294b49265fc4e7b0a0c3737aaa22412e90f16e91016107bc565b6103b88133610afe565b5f6108768383610684565b6108f3575f838152602081815260408083206001600160a01b03861684529091529020805460ff191660011790556108ab3390565b6001600160a01b0316826001600160a01b0316847f2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d60405160405180910390a4506001610301565b505f610301565b5f6109058383610684565b156108f3575f838152602081815260408083206001600160a01b0386168085529252808320805460ff1916905551339286917ff6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b9190a4506001610301565b61096b610b3b565b6001805460ff191690557f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa335b6040516001600160a01b03909116815260200160405180910390a1565b815f036109c157505050565b5f828211156109f257826109d58184610c97565b6109e190612710610caa565b6109eb9190610cc1565b9050610a16565b826109fd8382610c97565b610a0990612710610caa565b610a139190610cc1565b90505b600954811115610368576040516321e6217760e21b81526004810185905260248101849052604481018390526064810182905260840161050d565b60015460ff1615610a755760405163d93c066560e01b815260040160405180910390fd5b565b5f60058260038110610a8b57610a8b610c6f565b01545f03610a9a57505f919050565b60085460058360038110610ab057610ab0610c6f565b0154610abc9042610c97565b1192915050565b610acb610a51565b6001805460ff1916811790557f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25833610998565b610b088282610684565b610b375760405163e2517d3f60e01b81526001600160a01b03821660048201526024810183905260440161050d565b5050565b60015460ff16610a7557604051638dfc202b60e01b815260040160405180910390fd5b60405180606001604052806003906020820280368337509192915050565b5f60208284031215610b8c575f5ffd5b81356001600160e01b031981168114610ba3575f5ffd5b9392505050565b5f60208284031215610bba575f5ffd5b5035919050565b5f5f60408385031215610bd2575f5ffd5b8235915060208301356001600160a01b0381168114610bef575f5ffd5b809150509250929050565b5f5f60408385031215610c0b575f5ffd5b50508035926020909101359150565b5f60608284031215610c2a575f5ffd5b82606083011115610c39575f5ffd5b50919050565b6060810181835f5b6003811015610c66578151835260209283019290910190600101610c47565b50505092915050565b634e487b7160e01b5f52603260045260245ffd5b634e487b7160e01b5f52601160045260245ffd5b8181038181111561030157610301610c83565b808202811582820484141761030157610301610c83565b5f82610cdb57634e487b7160e01b5f52601260045260245ffd5b50049056fea2646970667358221220cc19eee0f2cfe7d5c479de205b494df58dcdde2b7036575d877b461ecdd6d0ee64736f6c634300081c0033

0000000000000000000000005dce2324d68a481a2385205283082b1392678ae6

-----Decoded View---------------
Arg [0] : initialAdmin (address): 0x5DCe2324d68a481A2385205283082b1392678AE6

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 0000000000000000000000005dce2324d68a481a2385205283082b1392678ae6