ETH Price: $2,533.54 (-1.19%)

Transaction Decoder

Block:
19290423 at Feb-23-2024 12:55:11 PM +UTC
Transaction Fee:
0.001108235700873716 ETH $2.81
Gas Used:
31,118 Gas / 35.613975862 Gwei

Account State Difference:

  Address   Before After State Difference Code
0x0aE101c0...960BF681F 0 Eth0.233732339185205728 Eth0.233732339185205728
5.802840860406864402 Eth
Nonce: 513089
5.568000285520784958 Eth
Nonce: 513090
0.234840574886079444

Execution Trace

ETH 0.233732339185205728 0x0ae101c0b325e1a7bdb20bcb2bd4e9c960bf681f.CALL( )
  • UpgradeableBeacon.STATICCALL( )
  • ETH 0.233732339185205728 EtherFiNode.DELEGATECALL( )
    File 1 of 2: UpgradeableBeacon
    // SPDX-License-Identifier: MIT
    // OpenZeppelin Contracts v4.4.1 (proxy/beacon/UpgradeableBeacon.sol)
    pragma solidity ^0.8.0;
    import "./IBeacon.sol";
    import "../../access/Ownable.sol";
    import "../../utils/Address.sol";
    /**
     * @dev This contract is used in conjunction with one or more instances of {BeaconProxy} to determine their
     * implementation contract, which is where they will delegate all function calls.
     *
     * An owner is able to change the implementation the beacon points to, thus upgrading the proxies that use this beacon.
     */
    contract UpgradeableBeacon is IBeacon, Ownable {
        address private _implementation;
        /**
         * @dev Emitted when the implementation returned by the beacon is changed.
         */
        event Upgraded(address indexed implementation);
        /**
         * @dev Sets the address of the initial implementation, and the deployer account as the owner who can upgrade the
         * beacon.
         */
        constructor(address implementation_) {
            _setImplementation(implementation_);
        }
        /**
         * @dev Returns the current implementation address.
         */
        function implementation() public view virtual override returns (address) {
            return _implementation;
        }
        /**
         * @dev Upgrades the beacon to a new implementation.
         *
         * Emits an {Upgraded} event.
         *
         * Requirements:
         *
         * - msg.sender must be the owner of the contract.
         * - `newImplementation` must be a contract.
         */
        function upgradeTo(address newImplementation) public virtual onlyOwner {
            _setImplementation(newImplementation);
            emit Upgraded(newImplementation);
        }
        /**
         * @dev Sets the implementation contract address for this beacon
         *
         * Requirements:
         *
         * - `newImplementation` must be a contract.
         */
        function _setImplementation(address newImplementation) private {
            require(Address.isContract(newImplementation), "UpgradeableBeacon: implementation is not a contract");
            _implementation = newImplementation;
        }
    }
    // SPDX-License-Identifier: MIT
    // OpenZeppelin Contracts v4.4.1 (proxy/beacon/IBeacon.sol)
    pragma solidity ^0.8.0;
    /**
     * @dev This is the interface that {BeaconProxy} expects of its beacon.
     */
    interface IBeacon {
        /**
         * @dev Must return an address that can be used as a delegate call target.
         *
         * {BeaconProxy} will check that this address is a contract.
         */
        function implementation() external view returns (address);
    }
    // SPDX-License-Identifier: MIT
    // OpenZeppelin Contracts (last updated v4.7.0) (access/Ownable.sol)
    pragma solidity ^0.8.0;
    import "../utils/Context.sol";
    /**
     * @dev Contract module which provides a basic access control mechanism, where
     * there is an account (an owner) that can be granted exclusive access to
     * specific functions.
     *
     * By default, the owner account will be the one that deploys the contract. This
     * can later be changed with {transferOwnership}.
     *
     * This module is used through inheritance. It will make available the modifier
     * `onlyOwner`, which can be applied to your functions to restrict their use to
     * the owner.
     */
    abstract contract Ownable is Context {
        address private _owner;
        event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);
        /**
         * @dev Initializes the contract setting the deployer as the initial owner.
         */
        constructor() {
            _transferOwnership(_msgSender());
        }
        /**
         * @dev Throws if called by any account other than the owner.
         */
        modifier onlyOwner() {
            _checkOwner();
            _;
        }
        /**
         * @dev Returns the address of the current owner.
         */
        function owner() public view virtual returns (address) {
            return _owner;
        }
        /**
         * @dev Throws if the sender is not the owner.
         */
        function _checkOwner() internal view virtual {
            require(owner() == _msgSender(), "Ownable: caller is not the owner");
        }
        /**
         * @dev Leaves the contract without owner. It will not be possible to call
         * `onlyOwner` functions anymore. Can only be called by the current owner.
         *
         * NOTE: Renouncing ownership will leave the contract without an owner,
         * thereby removing any functionality that is only available to the owner.
         */
        function renounceOwnership() public virtual onlyOwner {
            _transferOwnership(address(0));
        }
        /**
         * @dev Transfers ownership of the contract to a new account (`newOwner`).
         * Can only be called by the current owner.
         */
        function transferOwnership(address newOwner) public virtual onlyOwner {
            require(newOwner != address(0), "Ownable: new owner is the zero address");
            _transferOwnership(newOwner);
        }
        /**
         * @dev Transfers ownership of the contract to a new account (`newOwner`).
         * Internal function without access restriction.
         */
        function _transferOwnership(address newOwner) internal virtual {
            address oldOwner = _owner;
            _owner = newOwner;
            emit OwnershipTransferred(oldOwner, newOwner);
        }
    }
    // SPDX-License-Identifier: MIT
    // OpenZeppelin Contracts (last updated v4.8.0) (utils/Address.sol)
    pragma solidity ^0.8.1;
    /**
     * @dev Collection of functions related to the address type
     */
    library Address {
        /**
         * @dev Returns true if `account` is a contract.
         *
         * [IMPORTANT]
         * ====
         * It is unsafe to assume that an address for which this function returns
         * false is an externally-owned account (EOA) and not a contract.
         *
         * Among others, `isContract` will return false for the following
         * types of addresses:
         *
         *  - an externally-owned account
         *  - a contract in construction
         *  - an address where a contract will be created
         *  - an address where a contract lived, but was destroyed
         * ====
         *
         * [IMPORTANT]
         * ====
         * You shouldn't rely on `isContract` to protect against flash loan attacks!
         *
         * Preventing calls from contracts is highly discouraged. It breaks composability, breaks support for smart wallets
         * like Gnosis Safe, and does not provide security since it can be circumvented by calling from a contract
         * constructor.
         * ====
         */
        function isContract(address account) internal view returns (bool) {
            // This method relies on extcodesize/address.code.length, which returns 0
            // for contracts in construction, since the code is only stored at the end
            // of the constructor execution.
            return account.code.length > 0;
        }
        /**
         * @dev Replacement for Solidity's `transfer`: sends `amount` wei to
         * `recipient`, forwarding all available gas and reverting on errors.
         *
         * https://eips.ethereum.org/EIPS/eip-1884[EIP1884] increases the gas cost
         * of certain opcodes, possibly making contracts go over the 2300 gas limit
         * imposed by `transfer`, making them unable to receive funds via
         * `transfer`. {sendValue} removes this limitation.
         *
         * https://diligence.consensys.net/posts/2019/09/stop-using-soliditys-transfer-now/[Learn more].
         *
         * IMPORTANT: because control is transferred to `recipient`, care must be
         * taken to not create reentrancy vulnerabilities. Consider using
         * {ReentrancyGuard} or the
         * https://solidity.readthedocs.io/en/v0.5.11/security-considerations.html#use-the-checks-effects-interactions-pattern[checks-effects-interactions pattern].
         */
        function sendValue(address payable recipient, uint256 amount) internal {
            require(address(this).balance >= amount, "Address: insufficient balance");
            (bool success, ) = recipient.call{value: amount}("");
            require(success, "Address: unable to send value, recipient may have reverted");
        }
        /**
         * @dev Performs a Solidity function call using a low level `call`. A
         * plain `call` is an unsafe replacement for a function call: use this
         * function instead.
         *
         * If `target` reverts with a revert reason, it is bubbled up by this
         * function (like regular Solidity function calls).
         *
         * Returns the raw returned data. To convert to the expected return value,
         * use https://solidity.readthedocs.io/en/latest/units-and-global-variables.html?highlight=abi.decode#abi-encoding-and-decoding-functions[`abi.decode`].
         *
         * Requirements:
         *
         * - `target` must be a contract.
         * - calling `target` with `data` must not revert.
         *
         * _Available since v3.1._
         */
        function functionCall(address target, bytes memory data) internal returns (bytes memory) {
            return functionCallWithValue(target, data, 0, "Address: low-level call failed");
        }
        /**
         * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`], but with
         * `errorMessage` as a fallback revert reason when `target` reverts.
         *
         * _Available since v3.1._
         */
        function functionCall(
            address target,
            bytes memory data,
            string memory errorMessage
        ) internal returns (bytes memory) {
            return functionCallWithValue(target, data, 0, errorMessage);
        }
        /**
         * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
         * but also transferring `value` wei to `target`.
         *
         * Requirements:
         *
         * - the calling contract must have an ETH balance of at least `value`.
         * - the called Solidity function must be `payable`.
         *
         * _Available since v3.1._
         */
        function functionCallWithValue(
            address target,
            bytes memory data,
            uint256 value
        ) internal returns (bytes memory) {
            return functionCallWithValue(target, data, value, "Address: low-level call with value failed");
        }
        /**
         * @dev Same as {xref-Address-functionCallWithValue-address-bytes-uint256-}[`functionCallWithValue`], but
         * with `errorMessage` as a fallback revert reason when `target` reverts.
         *
         * _Available since v3.1._
         */
        function functionCallWithValue(
            address target,
            bytes memory data,
            uint256 value,
            string memory errorMessage
        ) internal returns (bytes memory) {
            require(address(this).balance >= value, "Address: insufficient balance for call");
            (bool success, bytes memory returndata) = target.call{value: value}(data);
            return verifyCallResultFromTarget(target, success, returndata, errorMessage);
        }
        /**
         * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
         * but performing a static call.
         *
         * _Available since v3.3._
         */
        function functionStaticCall(address target, bytes memory data) internal view returns (bytes memory) {
            return functionStaticCall(target, data, "Address: low-level static call failed");
        }
        /**
         * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
         * but performing a static call.
         *
         * _Available since v3.3._
         */
        function functionStaticCall(
            address target,
            bytes memory data,
            string memory errorMessage
        ) internal view returns (bytes memory) {
            (bool success, bytes memory returndata) = target.staticcall(data);
            return verifyCallResultFromTarget(target, success, returndata, errorMessage);
        }
        /**
         * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
         * but performing a delegate call.
         *
         * _Available since v3.4._
         */
        function functionDelegateCall(address target, bytes memory data) internal returns (bytes memory) {
            return functionDelegateCall(target, data, "Address: low-level delegate call failed");
        }
        /**
         * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
         * but performing a delegate call.
         *
         * _Available since v3.4._
         */
        function functionDelegateCall(
            address target,
            bytes memory data,
            string memory errorMessage
        ) internal returns (bytes memory) {
            (bool success, bytes memory returndata) = target.delegatecall(data);
            return verifyCallResultFromTarget(target, success, returndata, errorMessage);
        }
        /**
         * @dev Tool to verify that a low level call to smart-contract was successful, and revert (either by bubbling
         * the revert reason or using the provided one) in case of unsuccessful call or if target was not a contract.
         *
         * _Available since v4.8._
         */
        function verifyCallResultFromTarget(
            address target,
            bool success,
            bytes memory returndata,
            string memory errorMessage
        ) internal view returns (bytes memory) {
            if (success) {
                if (returndata.length == 0) {
                    // only check isContract if the call was successful and the return data is empty
                    // otherwise we already know that it was a contract
                    require(isContract(target), "Address: call to non-contract");
                }
                return returndata;
            } else {
                _revert(returndata, errorMessage);
            }
        }
        /**
         * @dev Tool to verify that a low level call was successful, and revert if it wasn't, either by bubbling the
         * revert reason or using the provided one.
         *
         * _Available since v4.3._
         */
        function verifyCallResult(
            bool success,
            bytes memory returndata,
            string memory errorMessage
        ) internal pure returns (bytes memory) {
            if (success) {
                return returndata;
            } else {
                _revert(returndata, errorMessage);
            }
        }
        function _revert(bytes memory returndata, string memory errorMessage) private pure {
            // Look for revert reason and bubble it up if present
            if (returndata.length > 0) {
                // The easiest way to bubble the revert reason is using memory via assembly
                /// @solidity memory-safe-assembly
                assembly {
                    let returndata_size := mload(returndata)
                    revert(add(32, returndata), returndata_size)
                }
            } else {
                revert(errorMessage);
            }
        }
    }
    // SPDX-License-Identifier: MIT
    // OpenZeppelin Contracts v4.4.1 (utils/Context.sol)
    pragma solidity ^0.8.0;
    /**
     * @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;
        }
    }
    

    File 2 of 2: EtherFiNode
    // SPDX-License-Identifier: MIT
    pragma solidity 0.8.13;
    import "./interfaces/IEtherFiNode.sol";
    import "./interfaces/IEtherFiNodesManager.sol";
    import "@openzeppelin/contracts/utils/math/Math.sol";
    import "@openzeppelin/contracts/proxy/beacon/IBeacon.sol";
    import "@eigenlayer/contracts/interfaces/IEigenPodManager.sol";
    import "@eigenlayer/contracts/interfaces/IDelayedWithdrawalRouter.sol";
    contract EtherFiNode is IEtherFiNode {
        address public etherFiNodesManager;
        uint256 public DEPRECATED_localRevenueIndex;
        uint256 public DEPRECATED_vestedAuctionRewards;
        string public ipfsHashForEncryptedValidatorKey;
        uint32 public exitRequestTimestamp;
        uint32 public exitTimestamp;
        uint32 public stakingStartTimestamp;
        VALIDATOR_PHASE public phase;
        uint32 public restakingObservedExitBlock; 
        address public eigenPod;
        bool public isRestakingEnabled;
        //--------------------------------------------------------------------------------------
        //----------------------------------  CONSTRUCTOR   ------------------------------------
        //--------------------------------------------------------------------------------------
        /// @custom:oz-upgrades-unsafe-allow constructor
        constructor() {
            stakingStartTimestamp = type(uint32).max;
        }
        /// @notice Based on the sources where they come from, the staking rewards are split into
        ///  - those from the execution layer: transaction fees and MEV
        ///  - those from the consensus layer: staking rewards for attesting the state of the chain, 
        ///    proposing a new block, or being selected in a validator sync committee
        ///  To receive the rewards from the execution layer, it should have 'receive()' function.
        receive() external payable {}
        /// @dev called once immediately after creating a new instance of a EtheriNode beacon proxy
        function initialize(address _etherFiNodesManager) external {
            require(phase == VALIDATOR_PHASE.NOT_INITIALIZED, "already initialized");
            require(etherFiNodesManager == address(0), "already initialized");
            require(_etherFiNodesManager != address(0), "No zero addresses");
            etherFiNodesManager = _etherFiNodesManager;
            _setPhase(VALIDATOR_PHASE.READY_FOR_DEPOSIT);
        }
        /// @dev record a succesfull deposit. The stake can still be cancelled until the validator is formally registered
        function recordStakingStart(bool _enableRestaking) external onlyEtherFiNodeManagerContract {
            require(stakingStartTimestamp == 0, "already recorded");
            stakingStartTimestamp = uint32(block.timestamp);
            if (_enableRestaking) {
                isRestakingEnabled = true;
                createEigenPod(); // NOOP if already exists
            }
            _setPhase(VALIDATOR_PHASE.STAKE_DEPOSITED);
        }
        /// @dev reset this validator safe so it can be used again in the withdrawal safe pool
        function resetWithdrawalSafe() external onlyEtherFiNodeManagerContract {
            require(phase == VALIDATOR_PHASE.CANCELLED || phase == VALIDATOR_PHASE.FULLY_WITHDRAWN, "withdrawal safe still in use");
            ipfsHashForEncryptedValidatorKey = "";
            exitRequestTimestamp = 0;
            exitTimestamp = 0;
            stakingStartTimestamp = 0;
            _setPhase(VALIDATOR_PHASE.READY_FOR_DEPOSIT);
            restakingObservedExitBlock = 0;
            isRestakingEnabled = false;
        }
        //--------------------------------------------------------------------------------------
        //-------------------------------------  SETTER   --------------------------------------
        //--------------------------------------------------------------------------------------
        /// @notice Set the validator phase
        /// @param _phase the new phase
        function setPhase(VALIDATOR_PHASE _phase) external onlyEtherFiNodeManagerContract {
            _setPhase(_phase);
        }
        function _setPhase(VALIDATOR_PHASE _phase) internal {
            _validatePhaseTransition(_phase);
            phase = _phase;
        }
        /// @notice Set the deposit data
        /// @param _ipfsHash the deposit data
        function setIpfsHashForEncryptedValidatorKey(
            string calldata _ipfsHash
        ) external onlyEtherFiNodeManagerContract {
            ipfsHashForEncryptedValidatorKey = _ipfsHash;
        }
        /// @notice Sets the exit request timestamp
        /// @dev Called when a TNFT holder submits an exit request
        function setExitRequestTimestamp(uint32 _timestamp) external onlyEtherFiNodeManagerContract {
            exitRequestTimestamp = _timestamp;
        }
        /// @notice Set the validators phase to exited
        /// @param _exitTimestamp the time the exit was complete
        function markExited(uint32 _exitTimestamp) external onlyEtherFiNodeManagerContract {
            require(_exitTimestamp <= block.timestamp, "Invalid exit timestamp");
            _setPhase(VALIDATOR_PHASE.EXITED);
            exitTimestamp = _exitTimestamp;
            if (isRestakingEnabled) {
                // eigenLayer bookeeping
                // we need to mark a block from which we know all beaconchain eth has been moved to the eigenPod
                // so that we can properly calculate exit payouts and ensure queued withdrawals have been resolved
                // (eigenLayer withdrawals are tied to blocknumber instead of timestamp)
                restakingObservedExitBlock = uint32(block.number);
                queueRestakedWithdrawal();
            }
        }
        /// @notice Set the validators phase to BEING_SLASHED
        function markBeingSlashed() external onlyEtherFiNodeManagerContract {
            _setPhase(VALIDATOR_PHASE.BEING_SLASHED);
        }
        /// @dev unused by protocol. Simplifies test setup
        function setIsRestakingEnabled(bool _enabled) external onlyEtherFiNodeManagerContract {
            isRestakingEnabled = _enabled;
        }
        //--------------------------------------------------------------------------------------
        //----------------------------  STATE-CHANGING FUNCTIONS  ------------------------------
        //--------------------------------------------------------------------------------------
        /// @notice Sends funds to the rewards manager
        /// @param _amount The value calculated in the etherfi node manager to send to the rewards manager
        function moveRewardsToManager(
            uint256 _amount
        ) external onlyEtherFiNodeManagerContract {
            (bool sent, ) = payable(etherFiNodesManager).call{value: _amount}("");
            require(sent, "Failed to send Ether");
        }
        /// @dev transfer funds from the withdrawal safe to the 4 associated parties (bNFT, tNFT, treasury, nodeOperator)
        function withdrawFunds(
            address _treasury,
            uint256 _treasuryAmount,
            address _operator,
            uint256 _operatorAmount,
            address _tnftHolder,
            uint256 _tnftAmount,
            address _bnftHolder,
            uint256 _bnftAmount
        ) external onlyEtherFiNodeManagerContract {
            // the recipients of the funds must be able to receive the fund
            // For example, if it is a smart contract, 
            // they should implement either receive() or fallback() properly
            // It's designed to prevent malicious actors from pausing the withdrawals
            bool sent;
            (sent, ) = payable(_operator).call{value: _operatorAmount, gas: 10000}("");
            _treasuryAmount += (!sent) ? _operatorAmount : 0;
            (sent, ) = payable(_bnftHolder).call{value: _bnftAmount, gas: 10000}("");
            _treasuryAmount += (!sent) ? _bnftAmount : 0;
            (sent, ) = payable(_tnftHolder).call{value: _tnftAmount, gas: 12000}(""); // to support 'receive' of LP
            _treasuryAmount += (!sent) ? _tnftAmount : 0;
            (sent, ) = _treasury.call{value: _treasuryAmount, gas: 2300}("");
            require(sent, "Failed to send Ether");
        }
        //--------------------------------------------------------------------------------------
        //--------------------------------------  GETTER  --------------------------------------
        //--------------------------------------------------------------------------------------
        /// @notice Fetch the accrued staking rewards payouts to (toNodeOperator, toTnft, toBnft, toTreasury)
        /// @param _balance the balance
        /// @param _splits the splits for the staking rewards
        /// @param _scale the scale = SUM(_splits)
        ///
        /// @return toNodeOperator  the payout to the Node Operator
        /// @return toTnft          the payout to the T-NFT holder
        /// @return toBnft          the payout to the B-NFT holder
        /// @return toTreasury      the payout to the Treasury
        function getStakingRewardsPayouts(
            uint256 _balance,
            IEtherFiNodesManager.RewardsSplit memory _splits,
            uint256 _scale
        )
            public
            view
            returns (
                uint256 toNodeOperator,
                uint256 toTnft,
                uint256 toBnft,
                uint256 toTreasury
            )
        {
            uint256 rewards;
            // If (Staking Principal + Staking Rewards >= 32 ether), the validator is running in a normal state
            // Else, the validator is getting slashed
            if (_balance >= 32 ether) {
                rewards = _balance - 32 ether;
            } else {
                // Without the Oracle, the exact staking rewards cannot be computed
                // Assume that there is no staking rewards.
                return (0, 0, 0, 0);
            }
            (
                uint256 operator,
                uint256 tnft,
                uint256 bnft,
                uint256 treasury
            ) = calculatePayouts(rewards, _splits, _scale);
            // If there was the exit request from the T-NFT holder,
            // but the B-NFT holder did not serve it by sending the voluntary exit message for more than 14 days
            // it incentivize's the node operator to do so instead
            // by
            //  - not sharing the staking rewards anymore with the node operator (see the below logic)
            //  - sharing the non-exit penalty with the node operator instead (~ 0.2 eth)
            if (exitRequestTimestamp > 0) {
                uint256 daysPassedSinceExitRequest = _getDaysPassedSince(
                    exitRequestTimestamp,
                    uint32(block.timestamp)
                );
                if (daysPassedSinceExitRequest >= 14) {
                    treasury += operator;
                    operator = 0;
                }
            }
            return (operator, tnft, bnft, treasury);
        }
        /// @notice Compute the non exit penalty for the b-nft holder
        /// @param _tNftExitRequestTimestamp the timestamp when the T-NFT holder asked the B-NFT holder to exit the node
        /// @param _bNftExitRequestTimestamp the timestamp when the B-NFT holder submitted the exit request to the beacon network
        function getNonExitPenalty(
            uint32 _tNftExitRequestTimestamp, 
            uint32 _bNftExitRequestTimestamp
        ) public view returns (uint256) {
            if (_tNftExitRequestTimestamp == 0) {
                return 0;
            }
            uint128 _principal = IEtherFiNodesManager(etherFiNodesManager).nonExitPenaltyPrincipal();
            uint64 _dailyPenalty = IEtherFiNodesManager(etherFiNodesManager).nonExitPenaltyDailyRate();
            uint256 daysElapsed = _getDaysPassedSince(
                _tNftExitRequestTimestamp,
                _bNftExitRequestTimestamp
            );
            // full penalty
            if (daysElapsed > 365) {
                return _principal;
            }
            uint256 remaining = _principal;
            while (daysElapsed > 0) {
                uint256 exponent = Math.min(7, daysElapsed);
                remaining = (remaining * (10000 - uint256(_dailyPenalty)) ** exponent) / (10000 ** exponent);
                daysElapsed -= Math.min(7, daysElapsed);
            }
            return _principal - remaining;
        }
        /// @notice total balance of this withdrawal safe in the execution layer split into its component parts. Includes restaked funds
        /// @dev funds can be split across
        ///   1. the withdrawal safe
        ///   2. the EigenPod (eigenLayer)
        ///   3. the delayedWithdrawalRouter (eigenLayer)
        function splitBalanceInExecutionLayer() public view returns (uint256 _withdrawalSafe, uint256 _eigenPod, uint256 _delayedWithdrawalRouter) {
            _withdrawalSafe = address(this).balance;
            if (isRestakingEnabled) {
                _eigenPod = eigenPod.balance;
                IDelayedWithdrawalRouter delayedWithdrawalRouter = IDelayedWithdrawalRouter(IEtherFiNodesManager(etherFiNodesManager).delayedWithdrawalRouter());
                IDelayedWithdrawalRouter.DelayedWithdrawal[] memory delayedWithdrawals = delayedWithdrawalRouter.getUserDelayedWithdrawals(address(this));
                for (uint256 x = 0; x < delayedWithdrawals.length; x++) {
                    _delayedWithdrawalRouter += delayedWithdrawals[x].amount;
                }
            }
            return (_withdrawalSafe, _eigenPod, _delayedWithdrawalRouter);
        }
        /// @notice total balance (wei) of this safe currently in the execution layer. Includes restaked funds
        function totalBalanceInExecutionLayer() public view returns (uint256) {
            (uint256 _safe, uint256 _pod, uint256 _router) = splitBalanceInExecutionLayer();
            return _safe + _pod + _router;
        }
        /// @notice balance (wei) of this safe that could be immediately withdrawn.
        ///         This only differs from the balance in the safe in the case of restaked validators
        ///         because some funds might not be withdrawable yet do to eigenlayer's queued withdrawal system
        function withdrawableBalanceInExecutionLayer() public view returns (uint256) {
            uint256 safeBalance = address(this).balance;
            uint256 claimableBalance = 0;
            if (isRestakingEnabled) {
                IDelayedWithdrawalRouter delayedWithdrawalRouter = IDelayedWithdrawalRouter(IEtherFiNodesManager(etherFiNodesManager).delayedWithdrawalRouter());
                IDelayedWithdrawalRouter.DelayedWithdrawal[] memory claimableWithdrawals = delayedWithdrawalRouter.getClaimableUserDelayedWithdrawals(address(this));
                for (uint256 x = 0; x < claimableWithdrawals.length; x++) {
                    claimableBalance += claimableWithdrawals[x].amount;
                }
            }
            return safeBalance + claimableBalance;
        }
        /// @notice Given
        ///         - the current balance of the validator in Consensus Layer
        ///         - the current balance of the ether fi node,
        ///         Compute the TVLs for {node operator, t-nft holder, b-nft holder, treasury}
        /// @param _beaconBalance the balance of the validator in Consensus Layer
        /// @param _executionBalance the balance of the validator in Execution Layer
        /// @param _SRsplits the splits for the Staking Rewards
        /// @param _scale the scale
        ///
        /// @return toNodeOperator  the payout to the Node Operator
        /// @return toTnft          the payout to the T-NFT holder
        /// @return toBnft          `the payout to the B-NFT holder
        /// @return toTreasury      the payout to the Treasury
        function calculateTVL(
            uint256 _beaconBalance,
            uint256 _executionBalance,
            IEtherFiNodesManager.RewardsSplit memory _SRsplits,
            uint256 _scale
        ) public view returns (uint256 toNodeOperator, uint256 toTnft, uint256 toBnft, uint256 toTreasury) {
            uint256 balance = _beaconBalance + _executionBalance;
            // Compute the payouts for the rewards = (staking rewards)
            // the protocol rewards must be paid off already in 'processNodeExit'
            uint256[] memory payouts = new uint256[](4); // (toNodeOperator, toTnft, toBnft, toTreasury)
            (payouts[0], payouts[1], payouts[2], payouts[3]) = getStakingRewardsPayouts(balance, _SRsplits, _scale);
            uint256 principal = balance - (payouts[0] + payouts[1] + payouts[2] + payouts[3]);
            // Compute the payouts for the principals to {B, T}-NFTs
            {
                (uint256 toBnftPrincipal, uint256 toTnftPrincipal) = calculatePrincipals(principal);
                payouts[1] += toTnftPrincipal;
                payouts[2] += toBnftPrincipal;
            }
            // Apply the non-exit penalty to the B-NFT
            {
                uint256 bnftNonExitPenalty = getNonExitPenalty(exitRequestTimestamp, exitTimestamp);
                uint256 appliedPenalty = Math.min(payouts[2], bnftNonExitPenalty);
                payouts[2] -= appliedPenalty;
                // While the NonExitPenalty keeps growing till 1 ether,
                //  the incentive to the node operator stops growing at 0.2 ether
                //  the rest goes to the treasury
                // - Cap the incentive to the operator under 0.2 ether.
                if (appliedPenalty > 0.2 ether) {
                    payouts[0] += 0.2 ether;
                    payouts[3] += appliedPenalty - 0.2 ether;
                } else {
                    payouts[0] += appliedPenalty;
                }
            }
            require(payouts[0] + payouts[1] + payouts[2] + payouts[3] == balance, "Incorrect Amount");
            return (payouts[0], payouts[1], payouts[2], payouts[3]);
        }
        /// @notice Calculates values for payouts based on certain parameters
        /// @param _totalAmount The total amount to split
        /// @param _splits The splits for the staking rewards
        /// @param _scale The scale = SUM(_splits)
        ///
        /// @return toNodeOperator  the payout to the Node Operator
        /// @return toTnft          the payout to the T-NFT holder
        /// @return toBnft          the payout to the B-NFT holder
        /// @return toTreasury      the payout to the Treasury
        function calculatePayouts(
            uint256 _totalAmount,
            IEtherFiNodesManager.RewardsSplit memory _splits,
            uint256 _scale
        ) public pure returns (uint256 toNodeOperator, uint256 toTnft, uint256 toBnft, uint256 toTreasury) {
            require(
                _splits.nodeOperator +
                    _splits.tnft +
                    _splits.bnft +
                    _splits.treasury ==
                    _scale,
                "Incorrect Splits"
            );
            toNodeOperator = (_totalAmount * _splits.nodeOperator) / _scale;
            toTnft = (_totalAmount * _splits.tnft) / _scale;
            toBnft = (_totalAmount * _splits.bnft) / _scale;
            toTreasury = _totalAmount - (toBnft + toTnft + toNodeOperator);
            return (toNodeOperator, toTnft, toBnft, toTreasury);
        }
        /// @notice Calculate the principal for the T-NFT and B-NFT holders based on the balance
        /// @param _balance The balance of the node
        /// @return toBnftPrincipal the principal for the B-NFT holder
        /// @return toTnftPrincipal the principal for the T-NFT holder
        function calculatePrincipals(
            uint256 _balance
        ) public pure returns (uint256 , uint256) {
            require(_balance <= 32 ether, "the total principal must be lower than 32 ether");
            uint256 toBnftPrincipal;
            uint256 toTnftPrincipal;
            if (_balance > 31.5 ether) {
                // 31.5 ether < balance <= 32 ether
                toBnftPrincipal = _balance - 30 ether;
            } else if (_balance > 26 ether) {
                // 26 ether < balance <= 31.5 ether
                toBnftPrincipal = 1.5 ether;
            } else if (_balance > 25.5 ether) {
                // 25.5 ether < balance <= 26 ether
                toBnftPrincipal = 1.5 ether - (26 ether - _balance);
            } else if (_balance > 16 ether) {
                // 16 ether <= balance <= 25.5 ether
                toBnftPrincipal = 1 ether;
            } else {
                // balance < 16 ether
                // The T-NFT and B-NFT holder's principals decrease 
                // starting from 15 ether and 1 ether respectively.
                toBnftPrincipal = 625 * _balance / 10_000;
            }
            toTnftPrincipal = _balance - toBnftPrincipal;
            return (toBnftPrincipal, toTnftPrincipal);
        }
        //--------------------------------------------------------------------------------------
        //-------------------------------  INTERNAL FUNCTIONS  ---------------------------------
        //--------------------------------------------------------------------------------------
        function _validatePhaseTransition(VALIDATOR_PHASE _newPhase) internal view returns (bool) {
            VALIDATOR_PHASE currentPhase = phase;
            bool pass = true;
            // Transition rules
            if (currentPhase == VALIDATOR_PHASE.NOT_INITIALIZED) {
                pass = (_newPhase == VALIDATOR_PHASE.READY_FOR_DEPOSIT);
            } else if (currentPhase == VALIDATOR_PHASE.READY_FOR_DEPOSIT) {
                pass = (_newPhase == VALIDATOR_PHASE.STAKE_DEPOSITED);
            } else if (currentPhase == VALIDATOR_PHASE.STAKE_DEPOSITED) {
                pass = (_newPhase == VALIDATOR_PHASE.LIVE || _newPhase == VALIDATOR_PHASE.CANCELLED || _newPhase == VALIDATOR_PHASE.WAITING_FOR_APPROVAL);
            } else if (currentPhase == VALIDATOR_PHASE.WAITING_FOR_APPROVAL) {
                pass = (_newPhase == VALIDATOR_PHASE.LIVE || _newPhase == VALIDATOR_PHASE.CANCELLED);
            } else if (currentPhase == VALIDATOR_PHASE.LIVE) {
                pass = (_newPhase == VALIDATOR_PHASE.EXITED || _newPhase == VALIDATOR_PHASE.BEING_SLASHED || _newPhase == VALIDATOR_PHASE.EVICTED);
            } else if (currentPhase == VALIDATOR_PHASE.BEING_SLASHED) {
                pass = (_newPhase == VALIDATOR_PHASE.EXITED);
            } else if (currentPhase == VALIDATOR_PHASE.EXITED) {
                pass = (_newPhase == VALIDATOR_PHASE.FULLY_WITHDRAWN);
            } else if (currentPhase == VALIDATOR_PHASE.CANCELLED) {
                pass = (_newPhase == VALIDATOR_PHASE.READY_FOR_DEPOSIT);
            } else if (currentPhase == VALIDATOR_PHASE.FULLY_WITHDRAWN) {
                pass = (_newPhase == VALIDATOR_PHASE.READY_FOR_DEPOSIT);
            } else {
                pass = false;
            }
            require(pass, "Invalid phase transition");
            return pass;
        }
        function _getDaysPassedSince(
            uint32 _startTimestamp,
            uint32 _endTimestamp
        ) public pure returns (uint256) {
            if (_endTimestamp <= _startTimestamp) {
                return 0;
            }
            uint256 timeElapsed = _endTimestamp - _startTimestamp;
            return uint256(timeElapsed / (24 * 3_600));
        }
        /// @dev implementation address for beacon proxy.
        ///      https://docs.openzeppelin.com/contracts/3.x/api/proxy#beacon
        function implementation() external view returns (address) {
            bytes32 slot = bytes32(uint256(keccak256('eip1967.proxy.beacon')) - 1);
            address implementationVariable;
            assembly {
                implementationVariable := sload(slot)
            }
            IBeacon beacon = IBeacon(implementationVariable);
            return beacon.implementation();
        }
        //--------------------------------------------------------------------------------------
        //-----------------------------------  RESTAKING  --------------------------------------
        //--------------------------------------------------------------------------------------
        event EigenPodCreated(address indexed nodeAddress, address indexed podAddress);
        /// @notice create a new eigenPod associated with this withdrawal safe
        /// @dev to take advantage of restaking via eigenlayer the validator associated with this
        ///      withdrawal safe must set their withdrawalCredentials to point to this eigenPod
        ///      and not to the withdrawal safe itself
        function createEigenPod() public {
            if (eigenPod != address(0x0)) return; // already have pod
            IEigenPodManager eigenPodManager = IEigenPodManager(IEtherFiNodesManager(etherFiNodesManager).eigenPodManager());
            eigenPodManager.createPod();
            eigenPod = address(eigenPodManager.getPod(address(this)));
            emit EigenPodCreated(address(this), eigenPod);
        }
        // Check that all withdrawals initiated before the observed exit of the node have been claimed.
        // This check ignores withdrawals queued after the observed exit of a node to prevent a denial of serviec
        // in which an attacker keeps sending small amounts of eth to the eigenPod and queuing more withdrawals
        //
        // We don't need to worry about unbounded array length because anyone can call claimQueuedWithdrawals()
        // with a variable number of withdrawals to process if the queue ever became to large.
        // This function can go away once we have a proof based withdrawal system.
        function hasOutstandingEigenLayerWithdrawals() external view returns (bool) {
            IDelayedWithdrawalRouter delayedWithdrawalRouter = IDelayedWithdrawalRouter(IEtherFiNodesManager(etherFiNodesManager).delayedWithdrawalRouter());
            IDelayedWithdrawalRouter.DelayedWithdrawal[] memory unclaimedWithdrawals = delayedWithdrawalRouter.getUserDelayedWithdrawals(address(this));
            for (uint256 i = 0; i < unclaimedWithdrawals.length; i++) {
                if (unclaimedWithdrawals[i].blockCreated <= restakingObservedExitBlock) {
                    // unclaimed withdrawal from before oracle observed exit
                    return true;
                }
            }
            return false;
        }
        /// @notice Queue a withdrawal of the current balance of the eigenPod to this withdrawalSafe.
        /// @dev You must call claimQueuedWithdrawals at a later time once the time required by EigenLayer's
        ///     DelayedWithdrawalRouter has elapsed. Once queued the funds live in the DelayedWithdrawalRouter
        function queueRestakedWithdrawal() public {
            if (!isRestakingEnabled) return;
            // EigenLayer has not enabled "true" restaking yet so we use this temporary mechanism
            IEigenPod(eigenPod).withdrawBeforeRestaking();
        }
        /// @notice claim queued withdrawals from the EigenPod to this withdrawal safe.
        /// @param maxNumWithdrawals maximum number of queued withdrawals to claim in this tx.
        /// @dev usually you will want to call with "maxNumWithdrawals == unclaimedWithdrawals.length
        ///      but if this queue grows too large to process in your target tx you can pass less
        function claimQueuedWithdrawals(uint256 maxNumWithdrawals) public {
            if (!isRestakingEnabled) return;
            // only claim if we have active unclaimed withdrawals
            IDelayedWithdrawalRouter delayedWithdrawalRouter = IDelayedWithdrawalRouter(IEtherFiNodesManager(etherFiNodesManager).delayedWithdrawalRouter());
            if (delayedWithdrawalRouter.getUserDelayedWithdrawals(address(this)).length > 0) {
                delayedWithdrawalRouter.claimDelayedWithdrawals(address(this), maxNumWithdrawals);
            }
        }
        //--------------------------------------------------------------------------------------
        //-----------------------------------  MODIFIERS  --------------------------------------
        //--------------------------------------------------------------------------------------
        modifier onlyEtherFiNodeManagerContract() {
            require(
                msg.sender == etherFiNodesManager,
                "Only EtherFiNodeManager Contract"
            );
            _;
        }
    }
    // SPDX-License-Identifier: MIT
    pragma solidity 0.8.13;
    import "./IEtherFiNodesManager.sol";
    interface IEtherFiNode {
        // State Transition Diagram for StateMachine contract:
        //
        //      NOT_INITIALIZED
        //              |
        //      READY_FOR_DEPOSIT
        //              ↓
        //      STAKE_DEPOSITED
        //           /      \\
        //          /        \\
        //         ↓          ↓
        //         LIVE    CANCELLED
        //         |  \\ \\ 
        //         |   \\ \\
        //         |   ↓  --> EVICTED
        //         |  BEING_SLASHED
        //         |    /
        //         |   /
        //         ↓  ↓
        //         EXITED
        //           |
        //           ↓
        //      FULLY_WITHDRAWN
        // Transitions are only allowed as directed above.
        // For instance, a transition from STAKE_DEPOSITED to either LIVE or CANCELLED is allowed,
        // but a transition from STAKE_DEPOSITED to NOT_INITIALIZED, BEING_SLASHED, or EXITED is not.
        //
        // All phase transitions should be made through the setPhase function,
        // which validates transitions based on these rules.
        //
        // Fully_WITHDRAWN or CANCELLED nodes can be recycled via resetWithdrawalSafe()
        enum VALIDATOR_PHASE {
            NOT_INITIALIZED,
            STAKE_DEPOSITED,
            LIVE,
            EXITED,
            FULLY_WITHDRAWN,
            CANCELLED,
            BEING_SLASHED,
            EVICTED,
            WAITING_FOR_APPROVAL,
            READY_FOR_DEPOSIT
        }
        // VIEW functions
        function calculateTVL(uint256 _beaconBalance, uint256 _executionBalance, IEtherFiNodesManager.RewardsSplit memory _SRsplits, uint256 _scale) external view returns (uint256, uint256, uint256, uint256);
        function eigenPod() external view returns (address);
        function exitRequestTimestamp() external view returns (uint32);
        function exitTimestamp() external view returns (uint32);
        function getNonExitPenalty(uint32 _tNftExitRequestTimestamp, uint32 _bNftExitRequestTimestamp) external view returns (uint256);
        function getStakingRewardsPayouts(uint256 _beaconBalance, IEtherFiNodesManager.RewardsSplit memory _splits, uint256 _scale) external view returns (uint256, uint256, uint256, uint256);
        function ipfsHashForEncryptedValidatorKey() external view returns (string memory);
        function phase() external view returns (VALIDATOR_PHASE);
        function stakingStartTimestamp() external view returns (uint32);
        // Non-VIEW functions
        function claimQueuedWithdrawals(uint256 maxNumWithdrawals) external;
        function createEigenPod() external;
        function hasOutstandingEigenLayerWithdrawals() external view returns (bool);
        function isRestakingEnabled() external view returns (bool);
        function markExited(uint32 _exitTimestamp) external;
        function markBeingSlashed() external;
        function moveRewardsToManager(uint256 _amount) external;
        function queueRestakedWithdrawal() external;
        function recordStakingStart(bool _enableRestaking) external;
        function resetWithdrawalSafe() external;
        function setExitRequestTimestamp(uint32 _timestamp) external;
        function setIpfsHashForEncryptedValidatorKey(string calldata _ipfs) external;
        function setIsRestakingEnabled(bool _enabled) external;
        function setPhase(VALIDATOR_PHASE _phase) external;
        function splitBalanceInExecutionLayer() external view returns (uint256 _withdrawalSafe, uint256 _eigenPod, uint256 _delayedWithdrawalRouter);
        function totalBalanceInExecutionLayer() external view returns (uint256);
        function withdrawableBalanceInExecutionLayer() external view returns (uint256);
        function withdrawFunds(
            address _treasury,
            uint256 _treasuryAmount,
            address _operator,
            uint256 _operatorAmount,
            address _tnftHolder,
            uint256 _tnftAmount,
            address _bnftHolder,
            uint256 _bnftAmount
        ) external;
    }
    // SPDX-License-Identifier: MIT
    pragma solidity 0.8.13;
    import "./IEtherFiNode.sol";
    import "@eigenlayer/contracts/interfaces/IEigenPodManager.sol";
    import "@eigenlayer/contracts/interfaces/IDelayedWithdrawalRouter.sol";
    interface IEtherFiNodesManager {
        struct RewardsSplit {
            uint64 treasury;
            uint64 nodeOperator;
            uint64 tnft;
            uint64 bnft;
        }
        enum ValidatorRecipientType {
            TNFTHOLDER,
            BNFTHOLDER,
            TREASURY,
            OPERATOR
        }
        // VIEW functions
        function calculateTVL(uint256 _validatorId, uint256 _beaconBalance) external view returns (uint256, uint256, uint256, uint256);
        function calculateWithdrawableTVL(uint256 _validatorId, uint256 _beaconBalance) external view returns (uint256, uint256, uint256, uint256);
        function delayedWithdrawalRouter() external view returns (IDelayedWithdrawalRouter);
        function eigenPodManager() external view returns (IEigenPodManager);
        function generateWithdrawalCredentials(address _address) external view returns (bytes memory);
        function getFullWithdrawalPayouts(uint256 _validatorId) external view returns (uint256, uint256, uint256, uint256);
        function getNonExitPenalty(uint256 _validatorId) external view returns (uint256);
        function getRewardsPayouts(uint256 _validatorId, uint256 _beaconBalance) external view returns (uint256, uint256, uint256, uint256);
        function getWithdrawalCredentials(uint256 _validatorId) external view returns (bytes memory);
        function ipfsHashForEncryptedValidatorKey(uint256 _validatorId) external view returns (string memory);
        function isEvicted(uint256 _validatorId) external view returns (bool);
        function isExited(uint256 _validatorId) external view returns (bool);
        function isExitRequested(uint256 _validatorId) external view returns (bool);
        function isFullyWithdrawn(uint256 _validatorId) external view returns (bool);
        function nonExitPenaltyDailyRate() external view returns (uint64);
        function nonExitPenaltyPrincipal() external view returns (uint64);
        function numberOfValidators() external view returns (uint64);
        function phase(uint256 _validatorId) external view returns (IEtherFiNode.VALIDATOR_PHASE phase);
        // Non-VIEW functions
        function initialize(
            address _treasuryContract,
            address _auctionContract,
            address _stakingManagerContract,
            address _tnftContract,
            address _bnftContract
        ) external;
        function batchQueueRestakedWithdrawal(uint256[] calldata _validatorIds) external;
        function batchSendExitRequest(uint256[] calldata _validatorIds) external;
        function fullWithdrawBatch(uint256[] calldata _validatorIds) external;
        function fullWithdraw(uint256 _validatorId) external;
        function getUnusedWithdrawalSafesLength() external view returns (uint256);
        function incrementNumberOfValidators(uint64 _count) external;
        function markBeingSlashed(uint256[] calldata _validatorIds) external;
        function partialWithdrawBatch(uint256[] calldata _validatorIds) external;
        function partialWithdraw(uint256 _validatorId) external;
        function processNodeExit(uint256[] calldata _validatorIds, uint32[] calldata _exitTimestamp) external;
        function registerEtherFiNode(uint256 _validatorId, bool _enableRestaking) external returns (address);
        function sendExitRequest(uint256 _validatorId) external;
        function setEtherFiNodeIpfsHashForEncryptedValidatorKey(uint256 _validatorId, string calldata _ipfs) external;
        function setEtherFiNodePhase(uint256 _validatorId, IEtherFiNode.VALIDATOR_PHASE _phase) external;
        function setNonExitPenaltyDailyRate(uint64 _nonExitPenaltyDailyRate) external;
        function setNonExitPenaltyPrincipal(uint64 _nonExitPenaltyPrincipal) external;
        function setStakingRewardsSplit(uint64 _treasury, uint64 _nodeOperator, uint64 _tnft, uint64 _bnf) external;
        function unregisterEtherFiNode(uint256 _validatorId) external;
        function updateAdmin(address _address, bool _isAdmin) external;
        function admins(address _address) external view returns (bool);
        function pauseContract() external;
        function unPauseContract() external;
        function treasuryContract() external view returns (address);
        function maxEigenlayerWithdrawals() external view returns (uint8);
    }
    // SPDX-License-Identifier: MIT
    // OpenZeppelin Contracts (last updated v4.8.0) (utils/math/Math.sol)
    pragma solidity ^0.8.0;
    /**
     * @dev Standard math utilities missing in the Solidity language.
     */
    library Math {
        enum Rounding {
            Down, // Toward negative infinity
            Up, // Toward infinity
            Zero // Toward zero
        }
        /**
         * @dev Returns the largest of two numbers.
         */
        function max(uint256 a, uint256 b) internal pure returns (uint256) {
            return a > b ? a : b;
        }
        /**
         * @dev Returns the smallest of two numbers.
         */
        function min(uint256 a, uint256 b) internal pure returns (uint256) {
            return a < b ? a : b;
        }
        /**
         * @dev Returns the average of two numbers. The result is rounded towards
         * zero.
         */
        function average(uint256 a, uint256 b) internal pure returns (uint256) {
            // (a + b) / 2 can overflow.
            return (a & b) + (a ^ b) / 2;
        }
        /**
         * @dev Returns the ceiling of the division of two numbers.
         *
         * This differs from standard division with `/` in that it rounds up instead
         * of rounding down.
         */
        function ceilDiv(uint256 a, uint256 b) internal pure returns (uint256) {
            // (a + b - 1) / b can overflow on addition, so we distribute.
            return a == 0 ? 0 : (a - 1) / b + 1;
        }
        /**
         * @notice Calculates floor(x * y / denominator) with full precision. Throws if result overflows a uint256 or denominator == 0
         * @dev Original credit to Remco Bloemen under MIT license (https://xn--2-umb.com/21/muldiv)
         * with further edits by Uniswap Labs also under MIT license.
         */
        function mulDiv(
            uint256 x,
            uint256 y,
            uint256 denominator
        ) internal pure returns (uint256 result) {
            unchecked {
                // 512-bit multiply [prod1 prod0] = x * y. Compute the product mod 2^256 and mod 2^256 - 1, then use
                // use the Chinese Remainder Theorem to reconstruct the 512 bit result. The result is stored in two 256
                // variables such that product = prod1 * 2^256 + prod0.
                uint256 prod0; // Least significant 256 bits of the product
                uint256 prod1; // Most significant 256 bits of the product
                assembly {
                    let mm := mulmod(x, y, not(0))
                    prod0 := mul(x, y)
                    prod1 := sub(sub(mm, prod0), lt(mm, prod0))
                }
                // Handle non-overflow cases, 256 by 256 division.
                if (prod1 == 0) {
                    return prod0 / denominator;
                }
                // Make sure the result is less than 2^256. Also prevents denominator == 0.
                require(denominator > prod1);
                ///////////////////////////////////////////////
                // 512 by 256 division.
                ///////////////////////////////////////////////
                // Make division exact by subtracting the remainder from [prod1 prod0].
                uint256 remainder;
                assembly {
                    // Compute remainder using mulmod.
                    remainder := mulmod(x, y, denominator)
                    // Subtract 256 bit number from 512 bit number.
                    prod1 := sub(prod1, gt(remainder, prod0))
                    prod0 := sub(prod0, remainder)
                }
                // Factor powers of two out of denominator and compute largest power of two divisor of denominator. Always >= 1.
                // See https://cs.stackexchange.com/q/138556/92363.
                // Does not overflow because the denominator cannot be zero at this stage in the function.
                uint256 twos = denominator & (~denominator + 1);
                assembly {
                    // Divide denominator by twos.
                    denominator := div(denominator, twos)
                    // Divide [prod1 prod0] by twos.
                    prod0 := div(prod0, twos)
                    // Flip twos such that it is 2^256 / twos. If twos is zero, then it becomes one.
                    twos := add(div(sub(0, twos), twos), 1)
                }
                // Shift in bits from prod1 into prod0.
                prod0 |= prod1 * twos;
                // Invert denominator mod 2^256. Now that denominator is an odd number, it has an inverse modulo 2^256 such
                // that denominator * inv = 1 mod 2^256. Compute the inverse by starting with a seed that is correct for
                // four bits. That is, denominator * inv = 1 mod 2^4.
                uint256 inverse = (3 * denominator) ^ 2;
                // Use the Newton-Raphson iteration to improve the precision. Thanks to Hensel's lifting lemma, this also works
                // in modular arithmetic, doubling the correct bits in each step.
                inverse *= 2 - denominator * inverse; // inverse mod 2^8
                inverse *= 2 - denominator * inverse; // inverse mod 2^16
                inverse *= 2 - denominator * inverse; // inverse mod 2^32
                inverse *= 2 - denominator * inverse; // inverse mod 2^64
                inverse *= 2 - denominator * inverse; // inverse mod 2^128
                inverse *= 2 - denominator * inverse; // inverse mod 2^256
                // Because the division is now exact we can divide by multiplying with the modular inverse of denominator.
                // This will give us the correct result modulo 2^256. Since the preconditions guarantee that the outcome is
                // less than 2^256, this is the final result. We don't need to compute the high bits of the result and prod1
                // is no longer required.
                result = prod0 * inverse;
                return result;
            }
        }
        /**
         * @notice Calculates x * y / denominator with full precision, following the selected rounding direction.
         */
        function mulDiv(
            uint256 x,
            uint256 y,
            uint256 denominator,
            Rounding rounding
        ) internal pure returns (uint256) {
            uint256 result = mulDiv(x, y, denominator);
            if (rounding == Rounding.Up && mulmod(x, y, denominator) > 0) {
                result += 1;
            }
            return result;
        }
        /**
         * @dev Returns the square root of a number. If the number is not a perfect square, the value is rounded down.
         *
         * Inspired by Henry S. Warren, Jr.'s "Hacker's Delight" (Chapter 11).
         */
        function sqrt(uint256 a) internal pure returns (uint256) {
            if (a == 0) {
                return 0;
            }
            // For our first guess, we get the biggest power of 2 which is smaller than the square root of the target.
            //
            // We know that the "msb" (most significant bit) of our target number `a` is a power of 2 such that we have
            // `msb(a) <= a < 2*msb(a)`. This value can be written `msb(a)=2**k` with `k=log2(a)`.
            //
            // This can be rewritten `2**log2(a) <= a < 2**(log2(a) + 1)`
            // → `sqrt(2**k) <= sqrt(a) < sqrt(2**(k+1))`
            // → `2**(k/2) <= sqrt(a) < 2**((k+1)/2) <= 2**(k/2 + 1)`
            //
            // Consequently, `2**(log2(a) / 2)` is a good first approximation of `sqrt(a)` with at least 1 correct bit.
            uint256 result = 1 << (log2(a) >> 1);
            // At this point `result` is an estimation with one bit of precision. We know the true value is a uint128,
            // since it is the square root of a uint256. Newton's method converges quadratically (precision doubles at
            // every iteration). We thus need at most 7 iteration to turn our partial result with one bit of precision
            // into the expected uint128 result.
            unchecked {
                result = (result + a / result) >> 1;
                result = (result + a / result) >> 1;
                result = (result + a / result) >> 1;
                result = (result + a / result) >> 1;
                result = (result + a / result) >> 1;
                result = (result + a / result) >> 1;
                result = (result + a / result) >> 1;
                return min(result, a / result);
            }
        }
        /**
         * @notice Calculates sqrt(a), following the selected rounding direction.
         */
        function sqrt(uint256 a, Rounding rounding) internal pure returns (uint256) {
            unchecked {
                uint256 result = sqrt(a);
                return result + (rounding == Rounding.Up && result * result < a ? 1 : 0);
            }
        }
        /**
         * @dev Return the log in base 2, rounded down, of a positive value.
         * Returns 0 if given 0.
         */
        function log2(uint256 value) internal pure returns (uint256) {
            uint256 result = 0;
            unchecked {
                if (value >> 128 > 0) {
                    value >>= 128;
                    result += 128;
                }
                if (value >> 64 > 0) {
                    value >>= 64;
                    result += 64;
                }
                if (value >> 32 > 0) {
                    value >>= 32;
                    result += 32;
                }
                if (value >> 16 > 0) {
                    value >>= 16;
                    result += 16;
                }
                if (value >> 8 > 0) {
                    value >>= 8;
                    result += 8;
                }
                if (value >> 4 > 0) {
                    value >>= 4;
                    result += 4;
                }
                if (value >> 2 > 0) {
                    value >>= 2;
                    result += 2;
                }
                if (value >> 1 > 0) {
                    result += 1;
                }
            }
            return result;
        }
        /**
         * @dev Return the log in base 2, following the selected rounding direction, of a positive value.
         * Returns 0 if given 0.
         */
        function log2(uint256 value, Rounding rounding) internal pure returns (uint256) {
            unchecked {
                uint256 result = log2(value);
                return result + (rounding == Rounding.Up && 1 << result < value ? 1 : 0);
            }
        }
        /**
         * @dev Return the log in base 10, rounded down, of a positive value.
         * Returns 0 if given 0.
         */
        function log10(uint256 value) internal pure returns (uint256) {
            uint256 result = 0;
            unchecked {
                if (value >= 10**64) {
                    value /= 10**64;
                    result += 64;
                }
                if (value >= 10**32) {
                    value /= 10**32;
                    result += 32;
                }
                if (value >= 10**16) {
                    value /= 10**16;
                    result += 16;
                }
                if (value >= 10**8) {
                    value /= 10**8;
                    result += 8;
                }
                if (value >= 10**4) {
                    value /= 10**4;
                    result += 4;
                }
                if (value >= 10**2) {
                    value /= 10**2;
                    result += 2;
                }
                if (value >= 10**1) {
                    result += 1;
                }
            }
            return result;
        }
        /**
         * @dev Return the log in base 10, following the selected rounding direction, of a positive value.
         * Returns 0 if given 0.
         */
        function log10(uint256 value, Rounding rounding) internal pure returns (uint256) {
            unchecked {
                uint256 result = log10(value);
                return result + (rounding == Rounding.Up && 10**result < value ? 1 : 0);
            }
        }
        /**
         * @dev Return the log in base 256, rounded down, of a positive value.
         * Returns 0 if given 0.
         *
         * Adding one to the result gives the number of pairs of hex symbols needed to represent `value` as a hex string.
         */
        function log256(uint256 value) internal pure returns (uint256) {
            uint256 result = 0;
            unchecked {
                if (value >> 128 > 0) {
                    value >>= 128;
                    result += 16;
                }
                if (value >> 64 > 0) {
                    value >>= 64;
                    result += 8;
                }
                if (value >> 32 > 0) {
                    value >>= 32;
                    result += 4;
                }
                if (value >> 16 > 0) {
                    value >>= 16;
                    result += 2;
                }
                if (value >> 8 > 0) {
                    result += 1;
                }
            }
            return result;
        }
        /**
         * @dev Return the log in base 10, following the selected rounding direction, of a positive value.
         * Returns 0 if given 0.
         */
        function log256(uint256 value, Rounding rounding) internal pure returns (uint256) {
            unchecked {
                uint256 result = log256(value);
                return result + (rounding == Rounding.Up && 1 << (result * 8) < value ? 1 : 0);
            }
        }
    }
    // SPDX-License-Identifier: MIT
    // OpenZeppelin Contracts v4.4.1 (proxy/beacon/IBeacon.sol)
    pragma solidity ^0.8.0;
    /**
     * @dev This is the interface that {BeaconProxy} expects of its beacon.
     */
    interface IBeacon {
        /**
         * @dev Must return an address that can be used as a delegate call target.
         *
         * {BeaconProxy} will check that this address is a contract.
         */
        function implementation() external view returns (address);
    }
    // SPDX-License-Identifier: BUSL-1.1
    pragma solidity >=0.5.0;
    import "@openzeppelin/contracts/proxy/beacon/IBeacon.sol";
    import "./IETHPOSDeposit.sol";
    import "./IStrategyManager.sol";
    import "./IEigenPod.sol";
    import "./IBeaconChainOracle.sol";
    import "./IPausable.sol";
    import "./ISlasher.sol";
    import "./IStrategy.sol";
    /**
     * @title Interface for factory that creates and manages solo staking pods that have their withdrawal credentials pointed to EigenLayer.
     * @author Layr Labs, Inc.
     * @notice Terms of Service: https://docs.eigenlayer.xyz/overview/terms-of-service
     */
    interface IEigenPodManager is IPausable {
        /**
         * Struct type used to specify an existing queued withdrawal. Rather than storing the entire struct, only a hash is stored.
         * In functions that operate on existing queued withdrawals -- e.g. `startQueuedWithdrawalWaitingPeriod` or `completeQueuedWithdrawal`,
         * the data is resubmitted and the hash of the submitted data is computed by `calculateWithdrawalRoot` and checked against the
         * stored hash in order to confirm the integrity of the submitted data.
         */
        struct BeaconChainQueuedWithdrawal {
            // @notice Number of "beacon chain ETH" virtual shares in the withdrawal.
            uint256 shares;
            // @notice Owner of the EigenPod who initiated the withdrawal.
            address podOwner;
            // @notice Nonce of the podOwner when the withdrawal was queued. Used to help ensure uniqueness of the hash of the withdrawal.
            uint96 nonce;
            // @notice Block number at which the withdrawal was initiated.
            uint32 withdrawalStartBlock;
            // @notice The operator to which the podOwner was delegated in EigenLayer when the withdrawal was created.
            address delegatedAddress;
            // @notice The address that can complete the withdrawal and receive the withdrawn funds.
            address withdrawer;
        }
        /**
         * @notice Struct used to track a pod owner's "undelegation limbo" status and associated variables.
         * @dev Undelegation limbo is a mode which a staker can enter into, in which they remove their virtual "beacon chain ETH shares" from EigenLayer's delegation
         * system but do not necessarily withdraw the associated ETH from EigenLayer itself. This mode allows users who have restaked native ETH a route via
         * which they can undelegate from an operator without needing to exit any of their validators from the Consensus Layer.
         */
        struct UndelegationLimboStatus {
            // @notice Whether or not the pod owner is in the "undelegation limbo" mode.
            bool active;
            // @notice The block at which the pod owner entered "undelegation limbo". Should be zero if `podOwnerIsInUndelegationLimbo` is marked as 'false'
            uint32 startBlock;
            // @notice The address which the pod owner was delegated to at the time that they entered "undelegation limbo".
            address delegatedAddress;
        }
        /// @notice Emitted to notify the update of the beaconChainOracle address
        event BeaconOracleUpdated(address indexed newOracleAddress);
        /// @notice Emitted to notify the deployment of an EigenPod
        event PodDeployed(address indexed eigenPod, address indexed podOwner);
        /// @notice Emitted to notify a deposit of beacon chain ETH recorded in the strategy manager
        event BeaconChainETHDeposited(address indexed podOwner, uint256 amount);
        /// @notice Emitted when `maxPods` value is updated from `previousValue` to `newValue`
        event MaxPodsUpdated(uint256 previousValue, uint256 newValue);
        /// @notice Emitted when a withdrawal of beacon chain ETH is queued
        event BeaconChainETHWithdrawalQueued(
            address indexed podOwner,
            uint256 shares,
            uint96 nonce,
            address delegatedAddress,
            address withdrawer,
            bytes32 withdrawalRoot
        );
        /// @notice Emitted when a withdrawal of beacon chain ETH is completed
        event BeaconChainETHWithdrawalCompleted(
            address indexed podOwner,
            uint256 shares,
            uint96 nonce,
            address delegatedAddress,
            address withdrawer,
            bytes32 withdrawalRoot
        );
        // @notice Emitted when `podOwner` enters the "undelegation limbo" mode
        event UndelegationLimboEntered(address indexed podOwner);
        // @notice Emitted when `podOwner` exits the "undelegation limbo" mode
        event UndelegationLimboExited(address indexed podOwner);
        /**
         * @notice Creates an EigenPod for the sender.
         * @dev Function will revert if the `msg.sender` already has an EigenPod.
         */
        function createPod() external;
        /**
         * @notice Stakes for a new beacon chain validator on the sender's EigenPod.
         * Also creates an EigenPod for the sender if they don't have one already.
         * @param pubkey The 48 bytes public key of the beacon chain validator.
         * @param signature The validator's signature of the deposit data.
         * @param depositDataRoot The root/hash of the deposit data for the validator's deposit.
         */
        function stake(bytes calldata pubkey, bytes calldata signature, bytes32 depositDataRoot) external payable;
        /**
         * @notice Deposits/Restakes beacon chain ETH in EigenLayer on behalf of the owner of an EigenPod.
         * @param podOwner The owner of the pod whose balance must be deposited.
         * @param amount The amount of ETH to 'deposit' (i.e. be credited to the podOwner).
         * @dev Callable only by the podOwner's EigenPod contract.
         */
        function restakeBeaconChainETH(address podOwner, uint256 amount) external;
        /**
         * @notice Records an update in beacon chain strategy shares in the strategy manager
         * @param podOwner is the pod owner whose shares are to be updated,
         * @param sharesDelta is the change in podOwner's beaconChainETHStrategy shares
         * @dev Callable only by the podOwner's EigenPod contract.
         */
        function recordBeaconChainETHBalanceUpdate(address podOwner, int256 sharesDelta) external;
        /**
         * @notice Called by a podOwner to queue a withdrawal of some (or all) of their virtual beacon chain ETH shares.
         * @param amountWei The amount of ETH to withdraw.
         * @param withdrawer The address that can complete the withdrawal and receive the withdrawn funds.
         */
        function queueWithdrawal(uint256 amountWei, address withdrawer) external returns (bytes32);
        /**
         * @notice Completes an existing BeaconChainQueuedWithdrawal by sending the ETH to the 'withdrawer'
         * @param queuedWithdrawal is the queued withdrawal to be completed
         * @param middlewareTimesIndex is the index in the operator that the staker who triggered the withdrawal was delegated to's middleware times array
         */
        function completeQueuedWithdrawal(
            BeaconChainQueuedWithdrawal memory queuedWithdrawal,
            uint256 middlewareTimesIndex
        ) external;
        /**
         * @notice forces the podOwner into the "undelegation limbo" mode, and returns the number of virtual 'beacon chain ETH shares'
         * that the podOwner has, which were entered into undelegation limbo.
         * @param podOwner is the staker to be forced into undelegation limbo
         * @param delegatedTo is the operator the staker is currently delegated to
         * @dev This function can only be called by the DelegationManager contract
         */
        function forceIntoUndelegationLimbo(
            address podOwner,
            address delegatedTo
        ) external returns (uint256 sharesRemovedFromDelegation);
        /**
         * @notice Updates the oracle contract that provides the beacon chain state root
         * @param newBeaconChainOracle is the new oracle contract being pointed to
         * @dev Callable only by the owner of this contract (i.e. governance)
         */
        function updateBeaconChainOracle(IBeaconChainOracle newBeaconChainOracle) external;
        /// @notice Returns the address of the `podOwner`'s EigenPod if it has been deployed.
        function ownerToPod(address podOwner) external view returns (IEigenPod);
        /// @notice Returns the address of the `podOwner`'s EigenPod (whether it is deployed yet or not).
        function getPod(address podOwner) external view returns (IEigenPod);
        /// @notice The ETH2 Deposit Contract
        function ethPOS() external view returns (IETHPOSDeposit);
        /// @notice Beacon proxy to which the EigenPods point
        function eigenPodBeacon() external view returns (IBeacon);
        /// @notice Oracle contract that provides updates to the beacon chain's state
        function beaconChainOracle() external view returns (IBeaconChainOracle);
        /// @notice Returns the beacon block root at `timestamp`. Reverts if the Beacon block root at `timestamp` has not yet been finalized.
        function getBlockRootAtTimestamp(uint64 timestamp) external view returns (bytes32);
        /// @notice EigenLayer's StrategyManager contract
        function strategyManager() external view returns (IStrategyManager);
        /// @notice EigenLayer's Slasher contract
        function slasher() external view returns (ISlasher);
        function hasPod(address podOwner) external view returns (bool);
        /// @notice returns shares of provided podOwner
        function podOwnerShares(address podOwner) external returns (uint256);
        /// @notice returns canonical, virtual beaconChainETH strategy
        function beaconChainETHStrategy() external view returns (IStrategy);
        /// @notice Returns the keccak256 hash of `queuedWithdrawal`.
        function calculateWithdrawalRoot(
            BeaconChainQueuedWithdrawal memory queuedWithdrawal
        ) external pure returns (bytes32);
        /**
         * @notice Returns 'false' if `staker` has removed all of their beacon chain ETH "shares" from delegation, either by queuing a
         * withdrawal for them OR by going into "undelegation limbo", and 'true' otherwise
         */
        function podOwnerHasActiveShares(address staker) external view returns (bool);
        // @notice Getter function for the internal `_podOwnerUndelegationLimboStatus` mapping.
        function podOwnerUndelegationLimboStatus(address podOwner) external view returns (UndelegationLimboStatus memory);
        // @notice Getter function for `_podOwnerUndelegationLimboStatus.undelegationLimboActive`.
        function isInUndelegationLimbo(address podOwner) external view returns (bool);
    }
    // SPDX-License-Identifier: BUSL-1.1
    pragma solidity >=0.5.0;
    interface IDelayedWithdrawalRouter {
        // struct used to pack data into a single storage slot
        struct DelayedWithdrawal {
            uint224 amount;
            uint32 blockCreated;
        }
        // struct used to store a single users delayedWithdrawal data
        struct UserDelayedWithdrawals {
            uint256 delayedWithdrawalsCompleted;
            DelayedWithdrawal[] delayedWithdrawals;
        }
         /// @notice event for delayedWithdrawal creation
        event DelayedWithdrawalCreated(address podOwner, address recipient, uint256 amount, uint256 index);
        /// @notice event for the claiming of delayedWithdrawals
        event DelayedWithdrawalsClaimed(address recipient, uint256 amountClaimed, uint256 delayedWithdrawalsCompleted);
        /// @notice Emitted when the `withdrawalDelayBlocks` variable is modified from `previousValue` to `newValue`.
        event WithdrawalDelayBlocksSet(uint256 previousValue, uint256 newValue);
        /**
         * @notice Creates an delayed withdrawal for `msg.value` to the `recipient`.
         * @dev Only callable by the `podOwner`'s EigenPod contract.
         */
        function createDelayedWithdrawal(address podOwner, address recipient) external payable;
        /**
         * @notice Called in order to withdraw delayed withdrawals made to the `recipient` that have passed the `withdrawalDelayBlocks` period.
         * @param recipient The address to claim delayedWithdrawals for.
         * @param maxNumberOfWithdrawalsToClaim Used to limit the maximum number of withdrawals to loop through claiming.
         */
        function claimDelayedWithdrawals(address recipient, uint256 maxNumberOfWithdrawalsToClaim) external;
        /**
         * @notice Called in order to withdraw delayed withdrawals made to the caller that have passed the `withdrawalDelayBlocks` period.
         * @param maxNumberOfWithdrawalsToClaim Used to limit the maximum number of withdrawals to loop through claiming.
         */
        function claimDelayedWithdrawals(uint256 maxNumberOfWithdrawalsToClaim) external;
        /// @notice Owner-only function for modifying the value of the `withdrawalDelayBlocks` variable.
        function setWithdrawalDelayBlocks(uint256 newValue) external;
        /// @notice Getter function for the mapping `_userWithdrawals`
        function userWithdrawals(address user) external view returns (UserDelayedWithdrawals memory);
        /// @notice Getter function to get all delayedWithdrawals of the `user`
        function getUserDelayedWithdrawals(address user) external view returns (DelayedWithdrawal[] memory);
        /// @notice Getter function to get all delayedWithdrawals that are currently claimable by the `user`
        function getClaimableUserDelayedWithdrawals(address user) external view returns (DelayedWithdrawal[] memory);
        /// @notice Getter function for fetching the delayedWithdrawal at the `index`th entry from the `_userWithdrawals[user].delayedWithdrawals` array
        function userDelayedWithdrawalByIndex(address user, uint256 index) external view returns (DelayedWithdrawal memory);
        /// @notice Getter function for fetching the length of the delayedWithdrawals array of a specific user
        function userWithdrawalsLength(address user) external view returns (uint256);
        /// @notice Convenience function for checking whether or not the delayedWithdrawal at the `index`th entry from the `_userWithdrawals[user].delayedWithdrawals` array is currently claimable
        function canClaimDelayedWithdrawal(address user, uint256 index) external view returns (bool);
        /**
         * @notice Delay enforced by this contract for completing any delayedWithdrawal. Measured in blocks, and adjustable by this contract's owner,
         * up to a maximum of `MAX_WITHDRAWAL_DELAY_BLOCKS`. Minimum value is 0 (i.e. no delay enforced).
         */
        function withdrawalDelayBlocks() external view returns (uint256);
    }
    // ┏━━━┓━┏┓━┏┓━━┏━━━┓━━┏━━━┓━━━━┏━━━┓━━━━━━━━━━━━━━━━━━━┏┓━━━━━┏━━━┓━━━━━━━━━┏┓━━━━━━━━━━━━━━┏┓━
    // ┃┏━━┛┏┛┗┓┃┃━━┃┏━┓┃━━┃┏━┓┃━━━━┗┓┏┓┃━━━━━━━━━━━━━━━━━━┏┛┗┓━━━━┃┏━┓┃━━━━━━━━┏┛┗┓━━━━━━━━━━━━┏┛┗┓
    // ┃┗━━┓┗┓┏┛┃┗━┓┗┛┏┛┃━━┃┃━┃┃━━━━━┃┃┃┃┏━━┓┏━━┓┏━━┓┏━━┓┏┓┗┓┏┛━━━━┃┃━┗┛┏━━┓┏━┓━┗┓┏┛┏━┓┏━━┓━┏━━┓┗┓┏┛
    // ┃┏━━┛━┃┃━┃┏┓┃┏━┛┏┛━━┃┃━┃┃━━━━━┃┃┃┃┃┏┓┃┃┏┓┃┃┏┓┃┃━━┫┣┫━┃┃━━━━━┃┃━┏┓┃┏┓┃┃┏┓┓━┃┃━┃┏┛┗━┓┃━┃┏━┛━┃┃━
    // ┃┗━━┓━┃┗┓┃┃┃┃┃┃┗━┓┏┓┃┗━┛┃━━━━┏┛┗┛┃┃┃━┫┃┗┛┃┃┗┛┃┣━━┃┃┃━┃┗┓━━━━┃┗━┛┃┃┗┛┃┃┃┃┃━┃┗┓┃┃━┃┗┛┗┓┃┗━┓━┃┗┓
    // ┗━━━┛━┗━┛┗┛┗┛┗━━━┛┗┛┗━━━┛━━━━┗━━━┛┗━━┛┃┏━┛┗━━┛┗━━┛┗┛━┗━┛━━━━┗━━━┛┗━━┛┗┛┗┛━┗━┛┗┛━┗━━━┛┗━━┛━┗━┛
    // ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┃┃━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
    // ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┗┛━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
    // SPDX-License-Identifier: CC0-1.0
    pragma solidity >=0.5.0;
    // This interface is designed to be compatible with the Vyper version.
    /// @notice This is the Ethereum 2.0 deposit contract interface.
    /// For more information see the Phase 0 specification under https://github.com/ethereum/eth2.0-specs
    interface IETHPOSDeposit {
        /// @notice A processed deposit event.
        event DepositEvent(bytes pubkey, bytes withdrawal_credentials, bytes amount, bytes signature, bytes index);
        /// @notice Submit a Phase 0 DepositData object.
        /// @param pubkey A BLS12-381 public key.
        /// @param withdrawal_credentials Commitment to a public key for withdrawals.
        /// @param signature A BLS12-381 signature.
        /// @param deposit_data_root The SHA-256 hash of the SSZ-encoded DepositData object.
        /// Used as a protection against malformed input.
        function deposit(
            bytes calldata pubkey,
            bytes calldata withdrawal_credentials,
            bytes calldata signature,
            bytes32 deposit_data_root
        ) external payable;
        /// @notice Query the current deposit root hash.
        /// @return The deposit root hash.
        function get_deposit_root() external view returns (bytes32);
        /// @notice Query the current deposit count.
        /// @return The deposit count encoded as a little endian 64-bit number.
        function get_deposit_count() external view returns (bytes memory);
    }
    // SPDX-License-Identifier: BUSL-1.1
    pragma solidity >=0.5.0;
    import "./IStrategy.sol";
    import "./ISlasher.sol";
    import "./IDelegationManager.sol";
    import "./IEigenPodManager.sol";
    /**
     * @title Interface for the primary entrypoint for funds into EigenLayer.
     * @author Layr Labs, Inc.
     * @notice Terms of Service: https://docs.eigenlayer.xyz/overview/terms-of-service
     * @notice See the `StrategyManager` contract itself for implementation details.
     */
    interface IStrategyManager {
        // packed struct for queued withdrawals; helps deal with stack-too-deep errors
        struct WithdrawerAndNonce {
            address withdrawer;
            uint96 nonce;
        }
        /**
         * Struct type used to specify an existing queued withdrawal. Rather than storing the entire struct, only a hash is stored.
         * In functions that operate on existing queued withdrawals -- e.g. `startQueuedWithdrawalWaitingPeriod` or `completeQueuedWithdrawal`,
         * the data is resubmitted and the hash of the submitted data is computed by `calculateWithdrawalRoot` and checked against the
         * stored hash in order to confirm the integrity of the submitted data.
         */
        struct QueuedWithdrawal {
            IStrategy[] strategies;
            uint256[] shares;
            address depositor;
            WithdrawerAndNonce withdrawerAndNonce;
            uint32 withdrawalStartBlock;
            address delegatedAddress;
        }
        /**
         * @notice Emitted when a new deposit occurs on behalf of `depositor`.
         * @param depositor Is the staker who is depositing funds into EigenLayer.
         * @param strategy Is the strategy that `depositor` has deposited into.
         * @param token Is the token that `depositor` deposited.
         * @param shares Is the number of new shares `depositor` has been granted in `strategy`.
         */
        event Deposit(address depositor, IERC20 token, IStrategy strategy, uint256 shares);
        /**
         * @notice Emitted when a new withdrawal occurs on behalf of `depositor`.
         * @param depositor Is the staker who is queuing a withdrawal from EigenLayer.
         * @param nonce Is the withdrawal's unique identifier (to the depositor).
         * @param strategy Is the strategy that `depositor` has queued to withdraw from.
         * @param shares Is the number of shares `depositor` has queued to withdraw.
         */
        event ShareWithdrawalQueued(address depositor, uint96 nonce, IStrategy strategy, uint256 shares);
        /**
         * @notice Emitted when a new withdrawal is queued by `depositor`.
         * @param depositor Is the staker who is withdrawing funds from EigenLayer.
         * @param nonce Is the withdrawal's unique identifier (to the depositor).
         * @param withdrawer Is the party specified by `staker` who will be able to complete the queued withdrawal and receive the withdrawn funds.
         * @param delegatedAddress Is the party who the `staker` was delegated to at the time of creating the queued withdrawal
         * @param withdrawalRoot Is a hash of the input data for the withdrawal.
         */
        event WithdrawalQueued(
            address depositor,
            uint96 nonce,
            address withdrawer,
            address delegatedAddress,
            bytes32 withdrawalRoot
        );
        /// @notice Emitted when a queued withdrawal is completed
        event WithdrawalCompleted(
            address indexed depositor,
            uint96 nonce,
            address indexed withdrawer,
            bytes32 withdrawalRoot
        );
        /// @notice Emitted when the `strategyWhitelister` is changed
        event StrategyWhitelisterChanged(address previousAddress, address newAddress);
        /// @notice Emitted when a strategy is added to the approved list of strategies for deposit
        event StrategyAddedToDepositWhitelist(IStrategy strategy);
        /// @notice Emitted when a strategy is removed from the approved list of strategies for deposit
        event StrategyRemovedFromDepositWhitelist(IStrategy strategy);
        /// @notice Emitted when the `withdrawalDelayBlocks` variable is modified from `previousValue` to `newValue`.
        event WithdrawalDelayBlocksSet(uint256 previousValue, uint256 newValue);
        /**
         * @notice Deposits `amount` of `token` into the specified `strategy`, with the resultant shares credited to `msg.sender`
         * @param strategy is the specified strategy where deposit is to be made,
         * @param token is the denomination in which the deposit is to be made,
         * @param amount is the amount of token to be deposited in the strategy by the depositor
         * @return shares The amount of new shares in the `strategy` created as part of the action.
         * @dev The `msg.sender` must have previously approved this contract to transfer at least `amount` of `token` on their behalf.
         * @dev Cannot be called by an address that is 'frozen' (this function will revert if the `msg.sender` is frozen).
         *
         * WARNING: Depositing tokens that allow reentrancy (eg. ERC-777) into a strategy is not recommended.  This can lead to attack vectors
         *          where the token balance and corresponding strategy shares are not in sync upon reentrancy.
         */
        function depositIntoStrategy(IStrategy strategy, IERC20 token, uint256 amount) external returns (uint256 shares);
        /**
         * @notice Used for depositing an asset into the specified strategy with the resultant shares credited to `staker`,
         * who must sign off on the action.
         * Note that the assets are transferred out/from the `msg.sender`, not from the `staker`; this function is explicitly designed
         * purely to help one address deposit 'for' another.
         * @param strategy is the specified strategy where deposit is to be made,
         * @param token is the denomination in which the deposit is to be made,
         * @param amount is the amount of token to be deposited in the strategy by the depositor
         * @param staker the staker that the deposited assets will be credited to
         * @param expiry the timestamp at which the signature expires
         * @param signature is a valid signature from the `staker`. either an ECDSA signature if the `staker` is an EOA, or data to forward
         * following EIP-1271 if the `staker` is a contract
         * @return shares The amount of new shares in the `strategy` created as part of the action.
         * @dev The `msg.sender` must have previously approved this contract to transfer at least `amount` of `token` on their behalf.
         * @dev A signature is required for this function to eliminate the possibility of griefing attacks, specifically those
         * targeting stakers who may be attempting to undelegate.
         * @dev Cannot be called on behalf of a staker that is 'frozen' (this function will revert if the `staker` is frozen).
         *
         *  WARNING: Depositing tokens that allow reentrancy (eg. ERC-777) into a strategy is not recommended.  This can lead to attack vectors
         *          where the token balance and corresponding strategy shares are not in sync upon reentrancy
         */
        function depositIntoStrategyWithSignature(
            IStrategy strategy,
            IERC20 token,
            uint256 amount,
            address staker,
            uint256 expiry,
            bytes memory signature
        ) external returns (uint256 shares);
        /// @notice Returns the current shares of `user` in `strategy`
        function stakerStrategyShares(address user, IStrategy strategy) external view returns (uint256 shares);
        /**
         * @notice Get all details on the depositor's deposits and corresponding shares
         * @return (depositor's strategies, shares in these strategies)
         */
        function getDeposits(address depositor) external view returns (IStrategy[] memory, uint256[] memory);
        /// @notice Simple getter function that returns `stakerStrategyList[staker].length`.
        function stakerStrategyListLength(address staker) external view returns (uint256);
        /**
         * @notice Called by a staker to queue a withdrawal of the given amount of `shares` from each of the respective given `strategies`.
         * @dev Stakers will complete their withdrawal by calling the 'completeQueuedWithdrawal' function.
         * User shares are decreased in this function, but the total number of shares in each strategy remains the same.
         * The total number of shares is decremented in the 'completeQueuedWithdrawal' function instead, which is where
         * the funds are actually sent to the user through use of the strategies' 'withdrawal' function. This ensures
         * that the value per share reported by each strategy will remain consistent, and that the shares will continue
         * to accrue gains during the enforced withdrawal waiting period.
         * @param strategyIndexes is a list of the indices in `stakerStrategyList[msg.sender]` that correspond to the strategies
         * for which `msg.sender` is withdrawing 100% of their shares
         * @param strategies The Strategies to withdraw from
         * @param shares The amount of shares to withdraw from each of the respective Strategies in the `strategies` array
         * @param withdrawer The address that can complete the withdrawal and will receive any withdrawn funds or shares upon completing the withdrawal
         * @return The 'withdrawalRoot' of the newly created Queued Withdrawal
         * @dev Strategies are removed from `stakerStrategyList` by swapping the last entry with the entry to be removed, then
         * popping off the last entry in `stakerStrategyList`. The simplest way to calculate the correct `strategyIndexes` to input
         * is to order the strategies *for which `msg.sender` is withdrawing 100% of their shares* from highest index in
         * `stakerStrategyList` to lowest index
         */
        function queueWithdrawal(
            uint256[] calldata strategyIndexes,
            IStrategy[] calldata strategies,
            uint256[] calldata shares,
            address withdrawer
        ) external returns (bytes32);
        /**
         * @notice Used to complete the specified `queuedWithdrawal`. The function caller must match `queuedWithdrawal.withdrawer`
         * @param queuedWithdrawal The QueuedWithdrawal to complete.
         * @param tokens Array in which the i-th entry specifies the `token` input to the 'withdraw' function of the i-th Strategy in the `strategies` array
         * of the `queuedWithdrawal`. This input can be provided with zero length if `receiveAsTokens` is set to 'false' (since in that case, this input will be unused)
         * @param middlewareTimesIndex is the index in the operator that the staker who triggered the withdrawal was delegated to's middleware times array
         * @param receiveAsTokens If true, the shares specified in the queued withdrawal will be withdrawn from the specified strategies themselves
         * and sent to the caller, through calls to `queuedWithdrawal.strategies[i].withdraw`. If false, then the shares in the specified strategies
         * will simply be transferred to the caller directly.
         * @dev middlewareTimesIndex should be calculated off chain before calling this function by finding the first index that satisfies `slasher.canWithdraw`
         */
        function completeQueuedWithdrawal(
            QueuedWithdrawal calldata queuedWithdrawal,
            IERC20[] calldata tokens,
            uint256 middlewareTimesIndex,
            bool receiveAsTokens
        ) external;
        /**
         * @notice Used to complete the specified `queuedWithdrawals`. The function caller must match `queuedWithdrawals[...].withdrawer`
         * @param queuedWithdrawals The QueuedWithdrawals to complete.
         * @param tokens Array of tokens for each QueuedWithdrawal. See `completeQueuedWithdrawal` for the usage of a single array.
         * @param middlewareTimesIndexes One index to reference per QueuedWithdrawal. See `completeQueuedWithdrawal` for the usage of a single index.
         * @param receiveAsTokens If true, the shares specified in the queued withdrawal will be withdrawn from the specified strategies themselves
         * and sent to the caller, through calls to `queuedWithdrawal.strategies[i].withdraw`. If false, then the shares in the specified strategies
         * will simply be transferred to the caller directly.
         * @dev Array-ified version of `completeQueuedWithdrawal`
         * @dev middlewareTimesIndex should be calculated off chain before calling this function by finding the first index that satisfies `slasher.canWithdraw`
         */
        function completeQueuedWithdrawals(
            QueuedWithdrawal[] calldata queuedWithdrawals,
            IERC20[][] calldata tokens,
            uint256[] calldata middlewareTimesIndexes,
            bool[] calldata receiveAsTokens
        ) external;
        /**
         * @notice Called by the DelegationManager as part of the forced undelegation of the @param staker from their delegated operator.
         * This function queues a withdrawal of all of the `staker`'s shares in EigenLayer to the staker themself, and then undelegates the staker.
         * The staker will consequently be able to complete this withdrawal by calling the `completeQueuedWithdrawal` function.
         * @param staker The staker to force-undelegate.
         * @dev Returns: an array of strategies withdrawn from, the shares withdrawn from each strategy, and the root of the newly queued withdrawal.
         */
        function forceTotalWithdrawal(address staker) external returns (IStrategy[] memory, uint256[] memory, bytes32);
        /**
         * @notice Owner-only function that adds the provided Strategies to the 'whitelist' of strategies that stakers can deposit into
         * @param strategiesToWhitelist Strategies that will be added to the `strategyIsWhitelistedForDeposit` mapping (if they aren't in it already)
         */
        function addStrategiesToDepositWhitelist(IStrategy[] calldata strategiesToWhitelist) external;
        /**
         * @notice Owner-only function that removes the provided Strategies from the 'whitelist' of strategies that stakers can deposit into
         * @param strategiesToRemoveFromWhitelist Strategies that will be removed to the `strategyIsWhitelistedForDeposit` mapping (if they are in it)
         */
        function removeStrategiesFromDepositWhitelist(IStrategy[] calldata strategiesToRemoveFromWhitelist) external;
        /// @notice Returns the keccak256 hash of `queuedWithdrawal`.
        function calculateWithdrawalRoot(QueuedWithdrawal memory queuedWithdrawal) external pure returns (bytes32);
        /// @notice Returns the single, central Delegation contract of EigenLayer
        function delegation() external view returns (IDelegationManager);
        /// @notice Returns the single, central Slasher contract of EigenLayer
        function slasher() external view returns (ISlasher);
        /// @notice Returns the EigenPodManager contract of EigenLayer
        function eigenPodManager() external view returns (IEigenPodManager);
        /// @notice Returns the number of blocks that must pass between the time a withdrawal is queued and the time it can be completed
        function withdrawalDelayBlocks() external view returns (uint256);
        /// @notice Mapping: staker => cumulative number of queued withdrawals they have ever initiated. only increments (doesn't decrement)
        function numWithdrawalsQueued(address staker) external view returns (uint256);
    }
    // SPDX-License-Identifier: BUSL-1.1
    pragma solidity >=0.5.0;
    import "../libraries/BeaconChainProofs.sol";
    import "./IEigenPodManager.sol";
    import "./IBeaconChainOracle.sol";
    import "@openzeppelin/contracts/token/ERC20/IERC20.sol";
    /**
     * @title The implementation contract used for restaking beacon chain ETH on EigenLayer
     * @author Layr Labs, Inc.
     * @notice Terms of Service: https://docs.eigenlayer.xyz/overview/terms-of-service
     * @notice The main functionalities are:
     * - creating new ETH validators with their withdrawal credentials pointed to this contract
     * - proving from beacon chain state roots that withdrawal credentials are pointed to this contract
     * - proving from beacon chain state roots the balances of ETH validators with their withdrawal credentials
     *   pointed to this contract
     * - updating aggregate balances in the EigenPodManager
     * - withdrawing eth when withdrawals are initiated
     * @dev Note that all beacon chain balances are stored as gwei within the beacon chain datastructures. We choose
     *   to account balances in terms of gwei in the EigenPod contract and convert to wei when making calls to other contracts
     */
    interface IEigenPod {
        enum VALIDATOR_STATUS {
            INACTIVE, // doesnt exist
            ACTIVE, // staked on ethpos and withdrawal credentials are pointed to the EigenPod
            WITHDRAWN // withdrawn from the Beacon Chain
        }
        struct ValidatorInfo {
            // index of the validator in the beacon chain
            uint64 validatorIndex;
            // amount of beacon chain ETH restaked on EigenLayer in gwei
            uint64 restakedBalanceGwei;
            //timestamp of the validator's most recent balance update
            uint64 mostRecentBalanceUpdateTimestamp;
            // status of the validator
            VALIDATOR_STATUS status;
        }
        /**
         * @notice struct used to store amounts related to proven withdrawals in memory. Used to help
         * manage stack depth and optimize the number of external calls, when batching withdrawal operations.
         */
        struct VerifiedWithdrawal {
            // amount to send to a podOwner from a proven withdrawal
            uint256 amountToSend;
            // difference in shares to be recorded in the eigenPodManager, as a result of the withdrawal
            int256 sharesDelta;
        }
        enum PARTIAL_WITHDRAWAL_CLAIM_STATUS {
            REDEEMED,
            PENDING,
            FAILED
        }
        /// @notice Emitted when an ETH validator stakes via this eigenPod
        event EigenPodStaked(bytes pubkey);
        /// @notice Emitted when an ETH validator's withdrawal credentials are successfully verified to be pointed to this eigenPod
        event ValidatorRestaked(uint40 validatorIndex);
        /// @notice Emitted when an ETH validator's  balance is proven to be updated.  Here newValidatorBalanceGwei
        //  is the validator's balance that is credited on EigenLayer.
        event ValidatorBalanceUpdated(uint40 validatorIndex, uint64 balanceTimestamp, uint64 newValidatorBalanceGwei);
        /// @notice Emitted when an ETH validator is prove to have withdrawn from the beacon chain
        event FullWithdrawalRedeemed(
            uint40 validatorIndex,
            uint64 withdrawalTimestamp,
            address indexed recipient,
            uint64 withdrawalAmountGwei
        );
        /// @notice Emitted when a partial withdrawal claim is successfully redeemed
        event PartialWithdrawalRedeemed(
            uint40 validatorIndex,
            uint64 withdrawalTimestamp,
            address indexed recipient,
            uint64 partialWithdrawalAmountGwei
        );
        /// @notice Emitted when restaked beacon chain ETH is withdrawn from the eigenPod.
        event RestakedBeaconChainETHWithdrawn(address indexed recipient, uint256 amount);
        /// @notice Emitted when podOwner enables restaking
        event RestakingActivated(address indexed podOwner);
        /// @notice Emitted when ETH is received via the `receive` fallback
        event NonBeaconChainETHReceived(uint256 amountReceived);
        /// @notice Emitted when ETH that was previously received via the `receive` fallback is withdrawn
        event NonBeaconChainETHWithdrawn(address indexed recipient, uint256 amountWithdrawn);
        /// @notice The max amount of eth, in gwei, that can be restaked per validator
        function MAX_VALIDATOR_BALANCE_GWEI() external view returns (uint64);
        /// @notice the amount of execution layer ETH in this contract that is staked in EigenLayer (i.e. withdrawn from beaconchain but not EigenLayer),
        function withdrawableRestakedExecutionLayerGwei() external view returns (uint64);
        /// @notice Used to initialize the pointers to contracts crucial to the pod's functionality, in beacon proxy construction from EigenPodManager
        function initialize(address owner) external;
        /// @notice Called by EigenPodManager when the owner wants to create another ETH validator.
        function stake(bytes calldata pubkey, bytes calldata signature, bytes32 depositDataRoot) external payable;
        /**
         * @notice Transfers `amountWei` in ether from this contract to the specified `recipient` address
         * @notice Called by EigenPodManager to withdrawBeaconChainETH that has been added to the EigenPod's balance due to a withdrawal from the beacon chain.
         * @dev Called during withdrawal or slashing.
         * @dev Note that this function is marked as non-reentrant to prevent the recipient calling back into it
         */
        function withdrawRestakedBeaconChainETH(address recipient, uint256 amount) external;
        /// @notice The single EigenPodManager for EigenLayer
        function eigenPodManager() external view returns (IEigenPodManager);
        /// @notice The owner of this EigenPod
        function podOwner() external view returns (address);
        /// @notice an indicator of whether or not the podOwner has ever "fully restaked" by successfully calling `verifyCorrectWithdrawalCredentials`.
        function hasRestaked() external view returns (bool);
        /**
         * @notice The latest timestamp at which the pod owner withdrew the balance of the pod, via calling `withdrawBeforeRestaking`.
         * @dev This variable is only updated when the `withdrawBeforeRestaking` function is called, which can only occur before `hasRestaked` is set to true for this pod.
         * Proofs for this pod are only valid against Beacon Chain state roots corresponding to timestamps after the stored `mostRecentWithdrawalTimestamp`.
         */
        function mostRecentWithdrawalTimestamp() external view returns (uint64);
        /// @notice Returns the validatorInfo struct for the provided pubkeyHash
        function validatorPubkeyHashToInfo(bytes32 validatorPubkeyHash) external view returns (ValidatorInfo memory);
        ///@notice mapping that tracks proven withdrawals
        function provenWithdrawal(bytes32 validatorPubkeyHash, uint64 slot) external view returns (bool);
        /// @notice This returns the status of a given validator
        function validatorStatus(bytes32 pubkeyHash) external view returns (VALIDATOR_STATUS);
        /**
         * @notice This function verifies that the withdrawal credentials of validator(s) owned by the podOwner are pointed to
         * this contract. It also verifies the effective balance  of the validator.  It verifies the provided proof of the ETH validator against the beacon chain state
         * root, marks the validator as 'active' in EigenLayer, and credits the restaked ETH in Eigenlayer.
         * @param oracleTimestamp is the Beacon Chain timestamp whose state root the `proof` will be proven against.
         * @param validatorIndices is the list of indices of the validators being proven, refer to consensus specs
         * @param withdrawalCredentialProofs is an array of proofs, where each proof proves each ETH validator's balance and withdrawal credentials
         * against a beacon chain state root
         * @param validatorFields are the fields of the "Validator Container", refer to consensus specs
         * for details: https://github.com/ethereum/consensus-specs/blob/dev/specs/phase0/beacon-chain.md#validator
         */
        function verifyWithdrawalCredentials(
            uint64 oracleTimestamp,
            BeaconChainProofs.StateRootProof calldata stateRootProof,
            uint40[] calldata validatorIndices,
            bytes[] calldata withdrawalCredentialProofs,
            bytes32[][] calldata validatorFields
        )
            external;
        /**
         * @notice This function records an update (either increase or decrease) in the pod's balance in the StrategyManager.  
                   It also verifies a merkle proof of the validator's current beacon chain balance.  
         * @param oracleTimestamp The oracleTimestamp whose state root the `proof` will be proven against.
         *        Must be within `VERIFY_BALANCE_UPDATE_WINDOW_SECONDS` of the current block.
         * @param validatorIndex is the index of the validator being proven, refer to consensus specs 
         * @param balanceUpdateProof is the proof of the validator's balance and validatorFields in the balance tree and the balanceRoot to prove for
         *                                    the StrategyManager in case it must be removed from the list of the podOwner's strategies
         * @param validatorFields are the fields of the "Validator Container", refer to consensus specs
         * @dev For more details on the Beacon Chain spec, see: https://github.com/ethereum/consensus-specs/blob/dev/specs/phase0/beacon-chain.md#validator
         */
        function verifyBalanceUpdate(
            uint64 oracleTimestamp,
            uint40 validatorIndex,
            BeaconChainProofs.StateRootProof calldata stateRootProof,
            BeaconChainProofs.BalanceUpdateProof calldata balanceUpdateProof,
            bytes32[] calldata validatorFields
        ) external;
        /**
         * @notice This function records full and partial withdrawals on behalf of one of the Ethereum validators for this EigenPod
         * @param oracleTimestamp is the timestamp of the oracle slot that the withdrawal is being proven against
         * @param withdrawalProofs is the information needed to check the veracity of the block numbers and withdrawals being proven
         * @param validatorFieldsProofs is the proof of the validator's fields' in the validator tree
         * @param withdrawalFields are the fields of the withdrawals being proven
         * @param validatorFields are the fields of the validators being proven
         */
        function verifyAndProcessWithdrawals(
            uint64 oracleTimestamp,
            BeaconChainProofs.StateRootProof calldata stateRootProof,
            BeaconChainProofs.WithdrawalProof[] calldata withdrawalProofs,
            bytes[] calldata validatorFieldsProofs,
            bytes32[][] calldata validatorFields,
            bytes32[][] calldata withdrawalFields
        ) external;
        /**
         * @notice Called by the pod owner to activate restaking by withdrawing
         * all existing ETH from the pod and preventing further withdrawals via
         * "withdrawBeforeRestaking()"
         */
        function activateRestaking() external;
        /// @notice Called by the pod owner to withdraw the balance of the pod when `hasRestaked` is set to false
        function withdrawBeforeRestaking() external;
        /// @notice called by the eigenPodManager to decrement the withdrawableRestakedExecutionLayerGwei
        /// in the pod, to reflect a queued withdrawal from the beacon chain strategy
        function decrementWithdrawableRestakedExecutionLayerGwei(uint256 amountWei) external;
        /// @notice called by the eigenPodManager to increment the withdrawableRestakedExecutionLayerGwei
        /// in the pod, to reflect a completion of a queued withdrawal as shares
        function incrementWithdrawableRestakedExecutionLayerGwei(uint256 amountWei) external;
        /// @notice Called by the pod owner to withdraw the nonBeaconChainETHBalanceWei
        function withdrawNonBeaconChainETHBalanceWei(address recipient, uint256 amountToWithdraw) external;
        /// @notice called by owner of a pod to remove any ERC20s deposited in the pod
        function recoverTokens(IERC20[] memory tokenList, uint256[] memory amountsToWithdraw, address recipient) external;
    }
    // SPDX-License-Identifier: BUSL-1.1
    pragma solidity >=0.5.0;
    /**
     * @title Interface for the BeaconStateOracle contract.
     * @author Layr Labs, Inc.
     * @notice Terms of Service: https://docs.eigenlayer.xyz/overview/terms-of-service
     */
    interface IBeaconChainOracle {
        /// @notice The block number to state root mapping.
        function timestampToBlockRoot(uint256 timestamp) external view returns (bytes32);
    }
    // SPDX-License-Identifier: BUSL-1.1
    pragma solidity >=0.5.0;
    import "../interfaces/IPauserRegistry.sol";
    /**
     * @title Adds pausability to a contract, with pausing & unpausing controlled by the `pauser` and `unpauser` of a PauserRegistry contract.
     * @author Layr Labs, Inc.
     * @notice Terms of Service: https://docs.eigenlayer.xyz/overview/terms-of-service
     * @notice Contracts that inherit from this contract may define their own `pause` and `unpause` (and/or related) functions.
     * These functions should be permissioned as "onlyPauser" which defers to a `PauserRegistry` for determining access control.
     * @dev Pausability is implemented using a uint256, which allows up to 256 different single bit-flags; each bit can potentially pause different functionality.
     * Inspiration for this was taken from the NearBridge design here https://etherscan.io/address/0x3FEFc5A4B1c02f21cBc8D3613643ba0635b9a873#code.
     * For the `pause` and `unpause` functions we've implemented, if you pause, you can only flip (any number of) switches to on/1 (aka "paused"), and if you unpause,
     * you can only flip (any number of) switches to off/0 (aka "paused").
     * If you want a pauseXYZ function that just flips a single bit / "pausing flag", it will:
     * 1) 'bit-wise and' (aka `&`) a flag with the current paused state (as a uint256)
     * 2) update the paused state to this new value
     * @dev We note as well that we have chosen to identify flags by their *bit index* as opposed to their numerical value, so, e.g. defining `DEPOSITS_PAUSED = 3`
     * indicates specifically that if the *third bit* of `_paused` is flipped -- i.e. it is a '1' -- then deposits should be paused
     */
    interface IPausable {
        /// @notice Emitted when the `pauserRegistry` is set to `newPauserRegistry`.
        event PauserRegistrySet(IPauserRegistry pauserRegistry, IPauserRegistry newPauserRegistry);
        /// @notice Emitted when the pause is triggered by `account`, and changed to `newPausedStatus`.
        event Paused(address indexed account, uint256 newPausedStatus);
        /// @notice Emitted when the pause is lifted by `account`, and changed to `newPausedStatus`.
        event Unpaused(address indexed account, uint256 newPausedStatus);
        
        /// @notice Address of the `PauserRegistry` contract that this contract defers to for determining access control (for pausing).
        function pauserRegistry() external view returns (IPauserRegistry);
        /**
         * @notice This function is used to pause an EigenLayer contract's functionality.
         * It is permissioned to the `pauser` address, which is expected to be a low threshold multisig.
         * @param newPausedStatus represents the new value for `_paused` to take, which means it may flip several bits at once.
         * @dev This function can only pause functionality, and thus cannot 'unflip' any bit in `_paused` from 1 to 0.
         */
        function pause(uint256 newPausedStatus) external;
        /**
         * @notice Alias for `pause(type(uint256).max)`.
         */
        function pauseAll() external;
        /**
         * @notice This function is used to unpause an EigenLayer contract's functionality.
         * It is permissioned to the `unpauser` address, which is expected to be a high threshold multisig or governance contract.
         * @param newPausedStatus represents the new value for `_paused` to take, which means it may flip several bits at once.
         * @dev This function can only unpause functionality, and thus cannot 'flip' any bit in `_paused` from 0 to 1.
         */
        function unpause(uint256 newPausedStatus) external;
        /// @notice Returns the current paused status as a uint256.
        function paused() external view returns (uint256);
        /// @notice Returns 'true' if the `indexed`th bit of `_paused` is 1, and 'false' otherwise
        function paused(uint8 index) external view returns (bool);
        /// @notice Allows the unpauser to set a new pauser registry
        function setPauserRegistry(IPauserRegistry newPauserRegistry) external;
    }
    // SPDX-License-Identifier: BUSL-1.1
    pragma solidity >=0.5.0;
    import "./IStrategyManager.sol";
    import "./IDelegationManager.sol";
    /**
     * @title Interface for the primary 'slashing' contract for EigenLayer.
     * @author Layr Labs, Inc.
     * @notice Terms of Service: https://docs.eigenlayer.xyz/overview/terms-of-service
     * @notice See the `Slasher` contract itself for implementation details.
     */
    interface ISlasher {
        // struct used to store information about the current state of an operator's obligations to middlewares they are serving
        struct MiddlewareTimes {
            // The update block for the middleware whose most recent update was earliest, i.e. the 'stalest' update out of all middlewares the operator is serving
            uint32 stalestUpdateBlock;
            // The latest 'serveUntilBlock' from all of the middleware that the operator is serving
            uint32 latestServeUntilBlock;
        }
        // struct used to store details relevant to a single middleware that an operator has opted-in to serving
        struct MiddlewareDetails {
            // the block at which the contract begins being able to finalize the operator's registration with the service via calling `recordFirstStakeUpdate`
            uint32 registrationMayBeginAtBlock;
            // the block before which the contract is allowed to slash the user
            uint32 contractCanSlashOperatorUntilBlock;
            // the block at which the middleware's view of the operator's stake was most recently updated
            uint32 latestUpdateBlock;
        }
        /// @notice Emitted when a middleware times is added to `operator`'s array.
        event MiddlewareTimesAdded(
            address operator,
            uint256 index,
            uint32 stalestUpdateBlock,
            uint32 latestServeUntilBlock
        );
        /// @notice Emitted when `operator` begins to allow `contractAddress` to slash them.
        event OptedIntoSlashing(address indexed operator, address indexed contractAddress);
        /// @notice Emitted when `contractAddress` signals that it will no longer be able to slash `operator` after the `contractCanSlashOperatorUntilBlock`.
        event SlashingAbilityRevoked(
            address indexed operator,
            address indexed contractAddress,
            uint32 contractCanSlashOperatorUntilBlock
        );
        /**
         * @notice Emitted when `slashingContract` 'freezes' the `slashedOperator`.
         * @dev The `slashingContract` must have permission to slash the `slashedOperator`, i.e. `canSlash(slasherOperator, slashingContract)` must return 'true'.
         */
        event OperatorFrozen(address indexed slashedOperator, address indexed slashingContract);
        /// @notice Emitted when `previouslySlashedAddress` is 'unfrozen', allowing them to again move deposited funds within EigenLayer.
        event FrozenStatusReset(address indexed previouslySlashedAddress);
        /**
         * @notice Gives the `contractAddress` permission to slash the funds of the caller.
         * @dev Typically, this function must be called prior to registering for a middleware.
         */
        function optIntoSlashing(address contractAddress) external;
        /**
         * @notice Used for 'slashing' a certain operator.
         * @param toBeFrozen The operator to be frozen.
         * @dev Technically the operator is 'frozen' (hence the name of this function), and then subject to slashing pending a decision by a human-in-the-loop.
         * @dev The operator must have previously given the caller (which should be a contract) the ability to slash them, through a call to `optIntoSlashing`.
         */
        function freezeOperator(address toBeFrozen) external;
        /**
         * @notice Removes the 'frozen' status from each of the `frozenAddresses`
         * @dev Callable only by the contract owner (i.e. governance).
         */
        function resetFrozenStatus(address[] calldata frozenAddresses) external;
        /**
         * @notice this function is a called by middlewares during an operator's registration to make sure the operator's stake at registration
         *         is slashable until serveUntil
         * @param operator the operator whose stake update is being recorded
         * @param serveUntilBlock the block until which the operator's stake at the current block is slashable
         * @dev adds the middleware's slashing contract to the operator's linked list
         */
        function recordFirstStakeUpdate(address operator, uint32 serveUntilBlock) external;
        /**
         * @notice this function is a called by middlewares during a stake update for an operator (perhaps to free pending withdrawals)
         *         to make sure the operator's stake at updateBlock is slashable until serveUntil
         * @param operator the operator whose stake update is being recorded
         * @param updateBlock the block for which the stake update is being recorded
         * @param serveUntilBlock the block until which the operator's stake at updateBlock is slashable
         * @param insertAfter the element of the operators linked list that the currently updating middleware should be inserted after
         * @dev insertAfter should be calculated offchain before making the transaction that calls this. this is subject to race conditions,
         *      but it is anticipated to be rare and not detrimental.
         */
        function recordStakeUpdate(
            address operator,
            uint32 updateBlock,
            uint32 serveUntilBlock,
            uint256 insertAfter
        ) external;
        /**
         * @notice this function is a called by middlewares during an operator's deregistration to make sure the operator's stake at deregistration
         *         is slashable until serveUntil
         * @param operator the operator whose stake update is being recorded
         * @param serveUntilBlock the block until which the operator's stake at the current block is slashable
         * @dev removes the middleware's slashing contract to the operator's linked list and revokes the middleware's (i.e. caller's) ability to
         * slash `operator` once `serveUntil` is reached
         */
        function recordLastStakeUpdateAndRevokeSlashingAbility(address operator, uint32 serveUntilBlock) external;
        /// @notice The StrategyManager contract of EigenLayer
        function strategyManager() external view returns (IStrategyManager);
        /// @notice The DelegationManager contract of EigenLayer
        function delegation() external view returns (IDelegationManager);
        /**
         * @notice Used to determine whether `staker` is actively 'frozen'. If a staker is frozen, then they are potentially subject to
         * slashing of their funds, and cannot cannot deposit or withdraw from the strategyManager until the slashing process is completed
         * and the staker's status is reset (to 'unfrozen').
         * @param staker The staker of interest.
         * @return Returns 'true' if `staker` themselves has their status set to frozen, OR if the staker is delegated
         * to an operator who has their status set to frozen. Otherwise returns 'false'.
         */
        function isFrozen(address staker) external view returns (bool);
        /// @notice Returns true if `slashingContract` is currently allowed to slash `toBeSlashed`.
        function canSlash(address toBeSlashed, address slashingContract) external view returns (bool);
        /// @notice Returns the block until which `serviceContract` is allowed to slash the `operator`.
        function contractCanSlashOperatorUntilBlock(
            address operator,
            address serviceContract
        ) external view returns (uint32);
        /// @notice Returns the block at which the `serviceContract` last updated its view of the `operator`'s stake
        function latestUpdateBlock(address operator, address serviceContract) external view returns (uint32);
        /// @notice A search routine for finding the correct input value of `insertAfter` to `recordStakeUpdate` / `_updateMiddlewareList`.
        function getCorrectValueForInsertAfter(address operator, uint32 updateBlock) external view returns (uint256);
        /**
         * @notice Returns 'true' if `operator` can currently complete a withdrawal started at the `withdrawalStartBlock`, with `middlewareTimesIndex` used
         * to specify the index of a `MiddlewareTimes` struct in the operator's list (i.e. an index in `operatorToMiddlewareTimes[operator]`). The specified
         * struct is consulted as proof of the `operator`'s ability (or lack thereof) to complete the withdrawal.
         * This function will return 'false' if the operator cannot currently complete a withdrawal started at the `withdrawalStartBlock`, *or* in the event
         * that an incorrect `middlewareTimesIndex` is supplied, even if one or more correct inputs exist.
         * @param operator Either the operator who queued the withdrawal themselves, or if the withdrawing party is a staker who delegated to an operator,
         * this address is the operator *who the staker was delegated to* at the time of the `withdrawalStartBlock`.
         * @param withdrawalStartBlock The block number at which the withdrawal was initiated.
         * @param middlewareTimesIndex Indicates an index in `operatorToMiddlewareTimes[operator]` to consult as proof of the `operator`'s ability to withdraw
         * @dev The correct `middlewareTimesIndex` input should be computable off-chain.
         */
        function canWithdraw(
            address operator,
            uint32 withdrawalStartBlock,
            uint256 middlewareTimesIndex
        ) external returns (bool);
        /**
         * operator =>
         *  [
         *      (
         *          the least recent update block of all of the middlewares it's serving/served,
         *          latest time that the stake bonded at that update needed to serve until
         *      )
         *  ]
         */
        function operatorToMiddlewareTimes(
            address operator,
            uint256 arrayIndex
        ) external view returns (MiddlewareTimes memory);
        /// @notice Getter function for fetching `operatorToMiddlewareTimes[operator].length`
        function middlewareTimesLength(address operator) external view returns (uint256);
        /// @notice Getter function for fetching `operatorToMiddlewareTimes[operator][index].stalestUpdateBlock`.
        function getMiddlewareTimesIndexStalestUpdateBlock(address operator, uint32 index) external view returns (uint32);
        /// @notice Getter function for fetching `operatorToMiddlewareTimes[operator][index].latestServeUntil`.
        function getMiddlewareTimesIndexServeUntilBlock(address operator, uint32 index) external view returns (uint32);
        /// @notice Getter function for fetching `_operatorToWhitelistedContractsByUpdate[operator].size`.
        function operatorWhitelistedContractsLinkedListSize(address operator) external view returns (uint256);
        /// @notice Getter function for fetching a single node in the operator's linked list (`_operatorToWhitelistedContractsByUpdate[operator]`).
        function operatorWhitelistedContractsLinkedListEntry(
            address operator,
            address node
        ) external view returns (bool, uint256, uint256);
    }
    // SPDX-License-Identifier: BUSL-1.1
    pragma solidity >=0.5.0;
    import "@openzeppelin/contracts/token/ERC20/IERC20.sol";
    /**
     * @title Minimal interface for an `Strategy` contract.
     * @author Layr Labs, Inc.
     * @notice Terms of Service: https://docs.eigenlayer.xyz/overview/terms-of-service
     * @notice Custom `Strategy` implementations may expand extensively on this interface.
     */
    interface IStrategy {
        /**
         * @notice Used to deposit tokens into this Strategy
         * @param token is the ERC20 token being deposited
         * @param amount is the amount of token being deposited
         * @dev This function is only callable by the strategyManager contract. It is invoked inside of the strategyManager's
         * `depositIntoStrategy` function, and individual share balances are recorded in the strategyManager as well.
         * @return newShares is the number of new shares issued at the current exchange ratio.
         */
        function deposit(IERC20 token, uint256 amount) external returns (uint256);
        /**
         * @notice Used to withdraw tokens from this Strategy, to the `depositor`'s address
         * @param depositor is the address to receive the withdrawn funds
         * @param token is the ERC20 token being transferred out
         * @param amountShares is the amount of shares being withdrawn
         * @dev This function is only callable by the strategyManager contract. It is invoked inside of the strategyManager's
         * other functions, and individual share balances are recorded in the strategyManager as well.
         */
        function withdraw(address depositor, IERC20 token, uint256 amountShares) external;
        /**
         * @notice Used to convert a number of shares to the equivalent amount of underlying tokens for this strategy.
         * @notice In contrast to `sharesToUnderlyingView`, this function **may** make state modifications
         * @param amountShares is the amount of shares to calculate its conversion into the underlying token
         * @return The amount of underlying tokens corresponding to the input `amountShares`
         * @dev Implementation for these functions in particular may vary significantly for different strategies
         */
        function sharesToUnderlying(uint256 amountShares) external returns (uint256);
        /**
         * @notice Used to convert an amount of underlying tokens to the equivalent amount of shares in this strategy.
         * @notice In contrast to `underlyingToSharesView`, this function **may** make state modifications
         * @param amountUnderlying is the amount of `underlyingToken` to calculate its conversion into strategy shares
         * @return The amount of underlying tokens corresponding to the input `amountShares`
         * @dev Implementation for these functions in particular may vary significantly for different strategies
         */
        function underlyingToShares(uint256 amountUnderlying) external returns (uint256);
        /**
         * @notice convenience function for fetching the current underlying value of all of the `user`'s shares in
         * this strategy. In contrast to `userUnderlyingView`, this function **may** make state modifications
         */
        function userUnderlying(address user) external returns (uint256);
        /**
         * @notice convenience function for fetching the current total shares of `user` in this strategy, by
         * querying the `strategyManager` contract
         */
        function shares(address user) external view returns (uint256);
        /**
         * @notice Used to convert a number of shares to the equivalent amount of underlying tokens for this strategy.
         * @notice In contrast to `sharesToUnderlying`, this function guarantees no state modifications
         * @param amountShares is the amount of shares to calculate its conversion into the underlying token
         * @return The amount of shares corresponding to the input `amountUnderlying`
         * @dev Implementation for these functions in particular may vary significantly for different strategies
         */
        function sharesToUnderlyingView(uint256 amountShares) external view returns (uint256);
        /**
         * @notice Used to convert an amount of underlying tokens to the equivalent amount of shares in this strategy.
         * @notice In contrast to `underlyingToShares`, this function guarantees no state modifications
         * @param amountUnderlying is the amount of `underlyingToken` to calculate its conversion into strategy shares
         * @return The amount of shares corresponding to the input `amountUnderlying`
         * @dev Implementation for these functions in particular may vary significantly for different strategies
         */
        function underlyingToSharesView(uint256 amountUnderlying) external view returns (uint256);
        /**
         * @notice convenience function for fetching the current underlying value of all of the `user`'s shares in
         * this strategy. In contrast to `userUnderlying`, this function guarantees no state modifications
         */
        function userUnderlyingView(address user) external view returns (uint256);
        /// @notice The underlying token for shares in this Strategy
        function underlyingToken() external view returns (IERC20);
        /// @notice The total number of extant shares in this Strategy
        function totalShares() external view returns (uint256);
        /// @notice Returns either a brief string explaining the strategy's goal & purpose, or a link to metadata that explains in more detail.
        function explanation() external view returns (string memory);
    }
    // SPDX-License-Identifier: BUSL-1.1
    pragma solidity >=0.5.0;
    import "./IStrategy.sol";
    /**
     * @title DelegationManager
     * @author Layr Labs, Inc.
     * @notice Terms of Service: https://docs.eigenlayer.xyz/overview/terms-of-service
     * @notice  This is the contract for delegation in EigenLayer. The main functionalities of this contract are
     * - enabling anyone to register as an operator in EigenLayer
     * - allowing operators to specify parameters related to stakers who delegate to them
     * - enabling any staker to delegate its stake to the operator of its choice (a given staker can only delegate to a single operator at a time)
     * - enabling a staker to undelegate its assets from the operator it is delegated to (performed as part of the withdrawal process, initiated through the StrategyManager)
     */
    interface IDelegationManager {
        // @notice Struct used for storing information about a single operator who has registered with EigenLayer
        struct OperatorDetails {
            // @notice address to receive the rewards that the operator earns via serving applications built on EigenLayer.
            address earningsReceiver;
            /**
             * @notice Address to verify signatures when a staker wishes to delegate to the operator, as well as controlling "forced undelegations".
             * @dev Signature verification follows these rules:
             * 1) If this address is left as address(0), then any staker will be free to delegate to the operator, i.e. no signature verification will be performed.
             * 2) If this address is an EOA (i.e. it has no code), then we follow standard ECDSA signature verification for delegations to the operator.
             * 3) If this address is a contract (i.e. it has code) then we forward a call to the contract and verify that it returns the correct EIP-1271 "magic value".
             */
            address delegationApprover;
            /**
             * @notice A minimum delay -- measured in blocks -- enforced between:
             * 1) the operator signalling their intent to register for a service, via calling `Slasher.optIntoSlashing`
             * and
             * 2) the operator completing registration for the service, via the service ultimately calling `Slasher.recordFirstStakeUpdate`
             * @dev note that for a specific operator, this value *cannot decrease*, i.e. if the operator wishes to modify their OperatorDetails,
             * then they are only allowed to either increase this value or keep it the same.
             */
            uint32 stakerOptOutWindowBlocks;
        }
        /**
         * @notice Abstract struct used in calculating an EIP712 signature for a staker to approve that they (the staker themselves) delegate to a specific operator.
         * @dev Used in computing the `STAKER_DELEGATION_TYPEHASH` and as a reference in the computation of the stakerDigestHash in the `delegateToBySignature` function.
         */
        struct StakerDelegation {
            // the staker who is delegating
            address staker;
            // the operator being delegated to
            address operator;
            // the staker's nonce
            uint256 nonce;
            // the expiration timestamp (UTC) of the signature
            uint256 expiry;
        }
        /**
         * @notice Abstract struct used in calculating an EIP712 signature for an operator's delegationApprover to approve that a specific staker delegate to the operator.
         * @dev Used in computing the `DELEGATION_APPROVAL_TYPEHASH` and as a reference in the computation of the approverDigestHash in the `_delegate` function.
         */
        struct DelegationApproval {
            // the staker who is delegating
            address staker;
            // the operator being delegated to
            address operator;
            // the operator's provided salt
            bytes32 salt;
            // the expiration timestamp (UTC) of the signature
            uint256 expiry;
        }
        // @notice Struct that bundles together a signature and an expiration time for the signature. Used primarily for stack management.
        struct SignatureWithExpiry {
            // the signature itself, formatted as a single bytes object
            bytes signature;
            // the expiration timestamp (UTC) of the signature
            uint256 expiry;
        }
        // @notice Emitted when a new operator registers in EigenLayer and provides their OperatorDetails.
        event OperatorRegistered(address indexed operator, OperatorDetails operatorDetails);
        // @notice Emitted when an operator updates their OperatorDetails to @param newOperatorDetails
        event OperatorDetailsModified(address indexed operator, OperatorDetails newOperatorDetails);
        /**
         * @notice Emitted when @param operator indicates that they are updating their MetadataURI string
         * @dev Note that these strings are *never stored in storage* and are instead purely emitted in events for off-chain indexing
         */
        event OperatorMetadataURIUpdated(address indexed operator, string metadataURI);
        /// @notice Emitted whenever an operator's shares are increased for a given strategy. Note that shares is the delta in the operator's shares.
        event OperatorSharesIncreased(address indexed operator, address staker, IStrategy strategy, uint256 shares);
        /// @notice Emitted whenever an operator's shares are decreased for a given strategy. Note that shares is the delta in the operator's shares.
        event OperatorSharesDecreased(address indexed operator, address staker, IStrategy strategy, uint256 shares);
        /// @notice Emitted when @param staker delegates to @param operator.
        event StakerDelegated(address indexed staker, address indexed operator);
        /// @notice Emitted when @param staker undelegates from @param operator.
        event StakerUndelegated(address indexed staker, address indexed operator);
        // @notice Emitted when @param staker is undelegated via a call not originating from the staker themself
        event StakerForceUndelegated(address indexed staker, address indexed operator);
        /**
         * @notice Registers the caller as an operator in EigenLayer.
         * @param registeringOperatorDetails is the `OperatorDetails` for the operator.
         * @param metadataURI is a URI for the operator's metadata, i.e. a link providing more details on the operator.
         *
         * @dev Once an operator is registered, they cannot 'deregister' as an operator, and they will forever be considered "delegated to themself".
         * @dev This function will revert if the caller attempts to set their `earningsReceiver` to address(0).
         * @dev Note that the `metadataURI` is *never stored * and is only emitted in the `OperatorMetadataURIUpdated` event
         */
        function registerAsOperator(
            OperatorDetails calldata registeringOperatorDetails,
            string calldata metadataURI
        ) external;
        /**
         * @notice Updates an operator's stored `OperatorDetails`.
         * @param newOperatorDetails is the updated `OperatorDetails` for the operator, to replace their current OperatorDetails`.
         *
         * @dev The caller must have previously registered as an operator in EigenLayer.
         * @dev This function will revert if the caller attempts to set their `earningsReceiver` to address(0).
         */
        function modifyOperatorDetails(OperatorDetails calldata newOperatorDetails) external;
        /**
         * @notice Called by an operator to emit an `OperatorMetadataURIUpdated` event indicating the information has updated.
         * @param metadataURI The URI for metadata associated with an operator
         */
        function updateOperatorMetadataURI(string calldata metadataURI) external;
        /**
         * @notice Caller delegates their stake to an operator.
         * @param operator The account (`msg.sender`) is delegating its assets to for use in serving applications built on EigenLayer.
         * @param approverSignatureAndExpiry Verifies the operator approves of this delegation
         * @param approverSalt A unique single use value tied to an individual signature.
         * @dev The approverSignatureAndExpiry is used in the event that:
         *          1) the operator's `delegationApprover` address is set to a non-zero value.
         *                  AND
         *          2) neither the operator nor their `delegationApprover` is the `msg.sender`, since in the event that the operator
         *             or their delegationApprover is the `msg.sender`, then approval is assumed.
         * @dev In the event that `approverSignatureAndExpiry` is not checked, its content is ignored entirely; it's recommended to use an empty input
         * in this case to save on complexity + gas costs
         */
        function delegateTo(
            address operator,
            SignatureWithExpiry memory approverSignatureAndExpiry,
            bytes32 approverSalt
        ) external;
        /**
         * @notice Caller delegates a staker's stake to an operator with valid signatures from both parties.
         * @param staker The account delegating stake to an `operator` account
         * @param operator The account (`staker`) is delegating its assets to for use in serving applications built on EigenLayer.
         * @param stakerSignatureAndExpiry Signed data from the staker authorizing delegating stake to an operator
         * @param approverSignatureAndExpiry is a parameter that will be used for verifying that the operator approves of this delegation action in the event that:
         * @param approverSalt Is a salt used to help guarantee signature uniqueness. Each salt can only be used once by a given approver.
         *
         * @dev If `staker` is an EOA, then `stakerSignature` is verified to be a valid ECDSA stakerSignature from `staker`, indicating their intention for this action.
         * @dev If `staker` is a contract, then `stakerSignature` will be checked according to EIP-1271.
         * @dev the operator's `delegationApprover` address is set to a non-zero value.
         * @dev neither the operator nor their `delegationApprover` is the `msg.sender`, since in the event that the operator or their delegationApprover
         * is the `msg.sender`, then approval is assumed.
         * @dev This function will revert if the current `block.timestamp` is equal to or exceeds the expiry
         * @dev In the case that `approverSignatureAndExpiry` is not checked, its content is ignored entirely; it's recommended to use an empty input
         * in this case to save on complexity + gas costs
         */
        function delegateToBySignature(
            address staker,
            address operator,
            SignatureWithExpiry memory stakerSignatureAndExpiry,
            SignatureWithExpiry memory approverSignatureAndExpiry,
            bytes32 approverSalt
        ) external;
        /**
         * @notice Undelegates the staker from the operator who they are delegated to. Puts the staker into the "undelegation limbo" mode of the EigenPodManager
         * and queues a withdrawal of all of the staker's shares in the StrategyManager (to the staker), if necessary.
         * @param staker The account to be undelegated.
         * @return withdrawalRoot The root of the newly queued withdrawal, if a withdrawal was queued. Otherwise just bytes32(0).
         *
         * @dev Reverts if the `staker` is also an operator, since operators are not allowed to undelegate from themselves.
         * @dev Reverts if the caller is not the staker, nor the operator who the staker is delegated to, nor the operator's specified "delegationApprover"
         * @dev Reverts if the `staker` is already undelegated.
         */
        function undelegate(address staker) external returns (bytes32 withdrawalRoot);
        /**
         * @notice Increases a staker's delegated share balance in a strategy.
         * @param staker The address to increase the delegated shares for their operator.
         * @param strategy The strategy in which to increase the delegated shares.
         * @param shares The number of shares to increase.
         *
         * @dev *If the staker is actively delegated*, then increases the `staker`'s delegated shares in `strategy` by `shares`. Otherwise does nothing.
         * @dev Callable only by the StrategyManager.
         */
        function increaseDelegatedShares(address staker, IStrategy strategy, uint256 shares) external;
        /**
         * @notice Decreases a staker's delegated share balance in a strategy.
         * @param staker The address to decrease the delegated shares for their operator.
         * @param strategies An array of strategies to crease the delegated shares.
         * @param shares An array of the number of shares to decrease for a operator and strategy.
         *
         * @dev *If the staker is actively delegated*, then decreases the `staker`'s delegated shares in each entry of `strategies` by its respective `shares[i]`. Otherwise does nothing.
         * @dev Callable only by the StrategyManager or EigenPodManager.
         */
        function decreaseDelegatedShares(
            address staker,
            IStrategy[] calldata strategies,
            uint256[] calldata shares
        ) external;
        /**
         * @notice returns the address of the operator that `staker` is delegated to.
         * @notice Mapping: staker => operator whom the staker is currently delegated to.
         * @dev Note that returning address(0) indicates that the staker is not actively delegated to any operator.
         */
        function delegatedTo(address staker) external view returns (address);
        /**
         * @notice Returns the OperatorDetails struct associated with an `operator`.
         */
        function operatorDetails(address operator) external view returns (OperatorDetails memory);
        /*
         * @notice Returns the earnings receiver address for an operator
         */
        function earningsReceiver(address operator) external view returns (address);
        /**
         * @notice Returns the delegationApprover account for an operator
         */
        function delegationApprover(address operator) external view returns (address);
        /**
         * @notice Returns the stakerOptOutWindowBlocks for an operator
         */
        function stakerOptOutWindowBlocks(address operator) external view returns (uint256);
        /**
         * @notice returns the total number of shares in `strategy` that are delegated to `operator`.
         * @notice Mapping: operator => strategy => total number of shares in the strategy delegated to the operator.
         */
        function operatorShares(address operator, IStrategy strategy) external view returns (uint256);
        /**
         * @notice Returns 'true' if `staker` *is* actively delegated, and 'false' otherwise.
         */
        function isDelegated(address staker) external view returns (bool);
        /**
         * @notice Returns true is an operator has previously registered for delegation.
         */
        function isOperator(address operator) external view returns (bool);
        /// @notice Mapping: staker => number of signed delegation nonces (used in `delegateToBySignature`) from the staker that the contract has already checked
        function stakerNonce(address staker) external view returns (uint256);
        /**
         * @notice Mapping: delegationApprover => 32-byte salt => whether or not the salt has already been used by the delegationApprover.
         * @dev Salts are used in the `delegateTo` and `delegateToBySignature` functions. Note that these functions only process the delegationApprover's
         * signature + the provided salt if the operator being delegated to has specified a nonzero address as their `delegationApprover`.
         */
        function delegationApproverSaltIsSpent(address _delegationApprover, bytes32 salt) external view returns (bool);
        /**
         * @notice Calculates the digestHash for a `staker` to sign to delegate to an `operator`
         * @param staker The signing staker
         * @param operator The operator who is being delegated to
         * @param expiry The desired expiry time of the staker's signature
         */
        function calculateCurrentStakerDelegationDigestHash(
            address staker,
            address operator,
            uint256 expiry
        ) external view returns (bytes32);
        /**
         * @notice Calculates the digest hash to be signed and used in the `delegateToBySignature` function
         * @param staker The signing staker
         * @param _stakerNonce The nonce of the staker. In practice we use the staker's current nonce, stored at `stakerNonce[staker]`
         * @param operator The operator who is being delegated to
         * @param expiry The desired expiry time of the staker's signature
         */
        function calculateStakerDelegationDigestHash(
            address staker,
            uint256 _stakerNonce,
            address operator,
            uint256 expiry
        ) external view returns (bytes32);
        /**
         * @notice Calculates the digest hash to be signed by the operator's delegationApprove and used in the `delegateTo` and `delegateToBySignature` functions.
         * @param staker The account delegating their stake
         * @param operator The account receiving delegated stake
         * @param _delegationApprover the operator's `delegationApprover` who will be signing the delegationHash (in general)
         * @param approverSalt A unique and single use value associated with the approver signature.
         * @param expiry Time after which the approver's signature becomes invalid
         */
        function calculateDelegationApprovalDigestHash(
            address staker,
            address operator,
            address _delegationApprover,
            bytes32 approverSalt,
            uint256 expiry
        ) external view returns (bytes32);
        /// @notice The EIP-712 typehash for the contract's domain
        function DOMAIN_TYPEHASH() external view returns (bytes32);
        /// @notice The EIP-712 typehash for the StakerDelegation struct used by the contract
        function STAKER_DELEGATION_TYPEHASH() external view returns (bytes32);
        /// @notice The EIP-712 typehash for the DelegationApproval struct used by the contract
        function DELEGATION_APPROVAL_TYPEHASH() external view returns (bytes32);
        /**
         * @notice Getter function for the current EIP-712 domain separator for this contract.
         *
         * @dev The domain separator will change in the event of a fork that changes the ChainID.
         * @dev By introducing a domain separator the DApp developers are guaranteed that there can be no signature collision.
         * for more detailed information please read EIP-712.
         */
        function domainSeparator() external view returns (bytes32);
    }
    // SPDX-License-Identifier: BUSL-1.1
    pragma solidity ^0.8.0;
    import "./Merkle.sol";
    import "../libraries/Endian.sol";
    //Utility library for parsing and PHASE0 beacon chain block headers
    //SSZ Spec: https://github.com/ethereum/consensus-specs/blob/dev/ssz/simple-serialize.md#merkleization
    //BeaconBlockHeader Spec: https://github.com/ethereum/consensus-specs/blob/dev/specs/phase0/beacon-chain.md#beaconblockheader
    //BeaconState Spec: https://github.com/ethereum/consensus-specs/blob/dev/specs/phase0/beacon-chain.md#beaconstate
    library BeaconChainProofs {
        // constants are the number of fields and the heights of the different merkle trees used in merkleizing beacon chain containers
        uint256 internal constant NUM_BEACON_BLOCK_HEADER_FIELDS = 5;
        uint256 internal constant BEACON_BLOCK_HEADER_FIELD_TREE_HEIGHT = 3;
        uint256 internal constant NUM_BEACON_BLOCK_BODY_FIELDS = 11;
        uint256 internal constant BEACON_BLOCK_BODY_FIELD_TREE_HEIGHT = 4;
        uint256 internal constant NUM_BEACON_STATE_FIELDS = 21;
        uint256 internal constant BEACON_STATE_FIELD_TREE_HEIGHT = 5;
        uint256 internal constant NUM_ETH1_DATA_FIELDS = 3;
        uint256 internal constant ETH1_DATA_FIELD_TREE_HEIGHT = 2;
        uint256 internal constant NUM_VALIDATOR_FIELDS = 8;
        uint256 internal constant VALIDATOR_FIELD_TREE_HEIGHT = 3;
        uint256 internal constant NUM_EXECUTION_PAYLOAD_HEADER_FIELDS = 15;
        uint256 internal constant EXECUTION_PAYLOAD_HEADER_FIELD_TREE_HEIGHT = 4;
        uint256 internal constant NUM_EXECUTION_PAYLOAD_FIELDS = 15;
        uint256 internal constant EXECUTION_PAYLOAD_FIELD_TREE_HEIGHT = 4;
        // HISTORICAL_ROOTS_LIMIT\t = 2**24, so tree height is 24
        uint256 internal constant HISTORICAL_ROOTS_TREE_HEIGHT = 24;
        // HISTORICAL_BATCH is root of state_roots and block_root, so number of leaves =  2^1
        uint256 internal constant HISTORICAL_BATCH_TREE_HEIGHT = 1;
        // SLOTS_PER_HISTORICAL_ROOT = 2**13, so tree height is 13
        uint256 internal constant STATE_ROOTS_TREE_HEIGHT = 13;
        uint256 internal constant BLOCK_ROOTS_TREE_HEIGHT = 13;
        //HISTORICAL_ROOTS_LIMIT = 2**24, so tree height is 24
        uint256 internal constant HISTORICAL_SUMMARIES_TREE_HEIGHT = 24;
        //Index of block_summary_root in historical_summary container
        uint256 internal constant BLOCK_SUMMARY_ROOT_INDEX = 0;
        uint256 internal constant NUM_WITHDRAWAL_FIELDS = 4;
        // tree height for hash tree of an individual withdrawal container
        uint256 internal constant WITHDRAWAL_FIELD_TREE_HEIGHT = 2;
        uint256 internal constant VALIDATOR_TREE_HEIGHT = 40;
        //refer to the eigenlayer-cli proof library.  Despite being the same dimensions as the validator tree, the balance tree is merkleized differently
        uint256 internal constant BALANCE_TREE_HEIGHT = 38;
        // MAX_WITHDRAWALS_PER_PAYLOAD = 2**4, making tree height = 4
        uint256 internal constant WITHDRAWALS_TREE_HEIGHT = 4;
        //in beacon block body
        uint256 internal constant EXECUTION_PAYLOAD_INDEX = 9;
        // in beacon block header
        uint256 internal constant STATE_ROOT_INDEX = 3;
        uint256 internal constant PROPOSER_INDEX_INDEX = 1;
        uint256 internal constant SLOT_INDEX = 0;
        uint256 internal constant BODY_ROOT_INDEX = 4;
        // in beacon state
        uint256 internal constant STATE_ROOTS_INDEX = 6;
        uint256 internal constant BLOCK_ROOTS_INDEX = 5;
        uint256 internal constant HISTORICAL_ROOTS_INDEX = 7;
        uint256 internal constant ETH_1_ROOT_INDEX = 8;
        uint256 internal constant VALIDATOR_TREE_ROOT_INDEX = 11;
        uint256 internal constant BALANCE_INDEX = 12;
        uint256 internal constant EXECUTION_PAYLOAD_HEADER_INDEX = 24;
        uint256 internal constant HISTORICAL_SUMMARIES_INDEX = 27;
        uint256 internal constant HISTORICAL_BATCH_STATE_ROOT_INDEX = 1;
        uint256 internal constant BEACON_STATE_SLOT_INDEX = 2;
        uint256 internal constant LATEST_BLOCK_HEADER_ROOT_INDEX = 4;
        // in validator
        uint256 internal constant VALIDATOR_PUBKEY_INDEX = 0;
        uint256 internal constant VALIDATOR_WITHDRAWAL_CREDENTIALS_INDEX = 1;
        uint256 internal constant VALIDATOR_BALANCE_INDEX = 2;
        uint256 internal constant VALIDATOR_SLASHED_INDEX = 3;
        uint256 internal constant VALIDATOR_WITHDRAWABLE_EPOCH_INDEX = 7;
        // in execution payload header
        uint256 internal constant TIMESTAMP_INDEX = 9;
        uint256 internal constant WITHDRAWALS_ROOT_INDEX = 14;
        //in execution payload
        uint256 internal constant WITHDRAWALS_INDEX = 14;
        // in withdrawal
        uint256 internal constant WITHDRAWAL_VALIDATOR_INDEX_INDEX = 1;
        uint256 internal constant WITHDRAWAL_VALIDATOR_AMOUNT_INDEX = 3;
        //In historicalBatch
        uint256 internal constant HISTORICALBATCH_STATEROOTS_INDEX = 1;
        //Misc Constants
        uint256 internal constant SLOTS_PER_EPOCH = 32;
        bytes8 internal constant UINT64_MASK = 0xffffffffffffffff;
        /// @notice This struct contains the merkle proofs and leaves needed to verify a partial/full withdrawal
        struct WithdrawalProof {
            bytes withdrawalProof;
            bytes slotProof;
            bytes executionPayloadProof;
            bytes timestampProof;
            bytes historicalSummaryBlockRootProof;
            uint64 blockRootIndex;
            uint64 historicalSummaryIndex;
            uint64 withdrawalIndex;
            bytes32 blockRoot;
            bytes32 slotRoot;
            bytes32 timestampRoot;
            bytes32 executionPayloadRoot;
        }
        /// @notice This struct contains the merkle proofs and leaves needed to verify a balance update
        struct BalanceUpdateProof {
            bytes validatorBalanceProof;
            bytes validatorFieldsProof;
            bytes32 balanceRoot;
        }
        /// @notice This struct contains the root and proof for verifying the state root against the oracle block root
        struct StateRootProof {
            bytes32 beaconStateRoot;
            bytes proof;
        }
        /**
         *
         * @notice This function is parses the balanceRoot to get the uint64 balance of a validator.  During merkleization of the
         * beacon state balance tree, four uint64 values (making 32 bytes) are grouped together and treated as a single leaf in the merkle tree. Thus the
         * validatorIndex mod 4 is used to determine which of the four uint64 values to extract from the balanceRoot.
         * @param validatorIndex is the index of the validator being proven for.
         * @param balanceRoot is the combination of 4 validator balances being proven for.
         * @return The validator's balance, in Gwei
         */
        function getBalanceFromBalanceRoot(uint40 validatorIndex, bytes32 balanceRoot) internal pure returns (uint64) {
            uint256 bitShiftAmount = (validatorIndex % 4) * 64;
            bytes32 validatorBalanceLittleEndian = bytes32((uint256(balanceRoot) << bitShiftAmount));
            uint64 validatorBalance = Endian.fromLittleEndianUint64(validatorBalanceLittleEndian);
            return validatorBalance;
        }
        /**
         * @notice This function verifies merkle proofs of the fields of a certain validator against a beacon chain state root
         * @param validatorIndex the index of the proven validator
         * @param beaconStateRoot is the beacon chain state root to be proven against.
         * @param validatorFieldsProof is the data used in proving the validator's fields
         * @param validatorFields the claimed fields of the validator
         */
        function verifyValidatorFields(
            bytes32 beaconStateRoot,
            bytes32[] calldata validatorFields,
            bytes calldata validatorFieldsProof,
            uint40 validatorIndex
        ) internal view {
            require(
                validatorFields.length == 2 ** VALIDATOR_FIELD_TREE_HEIGHT,
                "BeaconChainProofs.verifyValidatorFields: Validator fields has incorrect length"
            );
            /**
             * Note: the length of the validator merkle proof is BeaconChainProofs.VALIDATOR_TREE_HEIGHT + 1.
             * There is an additional layer added by hashing the root with the length of the validator list
             */
            require(
                validatorFieldsProof.length == 32 * ((VALIDATOR_TREE_HEIGHT + 1) + BEACON_STATE_FIELD_TREE_HEIGHT),
                "BeaconChainProofs.verifyValidatorFields: Proof has incorrect length"
            );
            uint256 index = (VALIDATOR_TREE_ROOT_INDEX << (VALIDATOR_TREE_HEIGHT + 1)) | uint256(validatorIndex);
            // merkleize the validatorFields to get the leaf to prove
            bytes32 validatorRoot = Merkle.merkleizeSha256(validatorFields);
            // verify the proof of the validatorRoot against the beaconStateRoot
            require(
                Merkle.verifyInclusionSha256({
                    proof: validatorFieldsProof,
                    root: beaconStateRoot,
                    leaf: validatorRoot,
                    index: index
                }),
                "BeaconChainProofs.verifyValidatorFields: Invalid merkle proof"
            );
        }
        /**
         * @notice This function verifies merkle proofs of the balance of a certain validator against a beacon chain state root
         * @param validatorIndex the index of the proven validator
         * @param beaconStateRoot is the beacon chain state root to be proven against.
         * @param validatorBalanceProof is the proof of the balance against the beacon chain state root
         * @param balanceRoot is the serialized balance used to prove the balance of the validator (refer to `getBalanceFromBalanceRoot` above for detailed explanation)
         */
        function verifyValidatorBalance(
            bytes32 beaconStateRoot,
            bytes32 balanceRoot,
            bytes calldata validatorBalanceProof,
            uint40 validatorIndex
        ) internal view {
            require(
                validatorBalanceProof.length == 32 * ((BALANCE_TREE_HEIGHT + 1) + BEACON_STATE_FIELD_TREE_HEIGHT),
                "BeaconChainProofs.verifyValidatorBalance: Proof has incorrect length"
            );
            /**
             * the beacon state's balance list is a list of uint64 values, and these are grouped together in 4s when merkleized.
             * Therefore, the index of the balance of a validator is validatorIndex/4
             */
            uint256 balanceIndex = uint256(validatorIndex / 4);
            /**
             * Note: Merkleization of the balance root tree uses MerkleizeWithMixin, i.e., the length of the array is hashed with the root of
             * the array.  Thus we shift the BALANCE_INDEX over by BALANCE_TREE_HEIGHT + 1 and not just BALANCE_TREE_HEIGHT.
             */
            balanceIndex = (BALANCE_INDEX << (BALANCE_TREE_HEIGHT + 1)) | balanceIndex;
            require(
                Merkle.verifyInclusionSha256({
                    proof: validatorBalanceProof,
                    root: beaconStateRoot,
                    leaf: balanceRoot,
                    index: balanceIndex
                }),
                "BeaconChainProofs.verifyValidatorBalance: Invalid merkle proof"
            );
        }
        /**
         * @notice This function verifies the latestBlockHeader against the state root. the latestBlockHeader is
         * a tracked in the beacon state.
         * @param beaconStateRoot is the beacon chain state root to be proven against.
         * @param stateRootProof is the provided merkle proof
         * @param latestBlockRoot is hashtree root of the latest block header in the beacon state
         */
        function verifyStateRootAgainstLatestBlockRoot(
            bytes32 latestBlockRoot,
            bytes32 beaconStateRoot,
            bytes calldata stateRootProof
        ) internal view {
            require(
                stateRootProof.length == 32 * (BEACON_BLOCK_HEADER_FIELD_TREE_HEIGHT),
                "BeaconChainProofs.verifyStateRootAgainstLatestBlockRoot: Proof has incorrect length"
            );
            //Next we verify the slot against the blockRoot
            require(
                Merkle.verifyInclusionSha256({
                    proof: stateRootProof,
                    root: latestBlockRoot,
                    leaf: beaconStateRoot,
                    index: STATE_ROOT_INDEX
                }),
                "BeaconChainProofs.verifyStateRootAgainstLatestBlockRoot: Invalid latest block header root merkle proof"
            );
        }
        /**
         * @notice This function verifies the slot and the withdrawal fields for a given withdrawal
         * @param withdrawalProof is the provided set of merkle proofs
         * @param withdrawalFields is the serialized withdrawal container to be proven
         */
        function verifyWithdrawal(
            bytes32 beaconStateRoot,
            bytes32[] calldata withdrawalFields,
            WithdrawalProof calldata withdrawalProof
        ) internal view {
            require(
                withdrawalFields.length == 2 ** WITHDRAWAL_FIELD_TREE_HEIGHT,
                "BeaconChainProofs.verifyWithdrawal: withdrawalFields has incorrect length"
            );
            require(
                withdrawalProof.blockRootIndex < 2 ** BLOCK_ROOTS_TREE_HEIGHT,
                "BeaconChainProofs.verifyWithdrawal: blockRootIndex is too large"
            );
            require(
                withdrawalProof.withdrawalIndex < 2 ** WITHDRAWALS_TREE_HEIGHT,
                "BeaconChainProofs.verifyWithdrawal: withdrawalIndex is too large"
            );
            require(
                withdrawalProof.withdrawalProof.length ==
                    32 * (EXECUTION_PAYLOAD_HEADER_FIELD_TREE_HEIGHT + WITHDRAWALS_TREE_HEIGHT + 1),
                "BeaconChainProofs.verifyWithdrawal: withdrawalProof has incorrect length"
            );
            require(
                withdrawalProof.executionPayloadProof.length ==
                    32 * (BEACON_BLOCK_HEADER_FIELD_TREE_HEIGHT + BEACON_BLOCK_BODY_FIELD_TREE_HEIGHT),
                "BeaconChainProofs.verifyWithdrawal: executionPayloadProof has incorrect length"
            );
            require(
                withdrawalProof.slotProof.length == 32 * (BEACON_BLOCK_HEADER_FIELD_TREE_HEIGHT),
                "BeaconChainProofs.verifyWithdrawal: slotProof has incorrect length"
            );
            require(
                withdrawalProof.timestampProof.length == 32 * (EXECUTION_PAYLOAD_HEADER_FIELD_TREE_HEIGHT),
                "BeaconChainProofs.verifyWithdrawal: timestampProof has incorrect length"
            );
            require(
                withdrawalProof.historicalSummaryBlockRootProof.length ==
                    32 *
                        (BEACON_STATE_FIELD_TREE_HEIGHT +
                            (HISTORICAL_SUMMARIES_TREE_HEIGHT + 1) +
                            1 +
                            (BLOCK_ROOTS_TREE_HEIGHT)),
                "BeaconChainProofs.verifyWithdrawal: historicalSummaryBlockRootProof has incorrect length"
            );
            /**
             * Note: Here, the "1" in "1 + (BLOCK_ROOTS_TREE_HEIGHT)" signifies that extra step of choosing the "block_root_summary" within the individual
             * "historical_summary". Everywhere else it signifies merkelize_with_mixin, where the length of an array is hashed with the root of the array,
             * but not here.
             */
            uint256 historicalBlockHeaderIndex = (HISTORICAL_SUMMARIES_INDEX <<
                ((HISTORICAL_SUMMARIES_TREE_HEIGHT + 1) + 1 + (BLOCK_ROOTS_TREE_HEIGHT))) |
                (uint256(withdrawalProof.historicalSummaryIndex) << (1 + (BLOCK_ROOTS_TREE_HEIGHT))) |
                (BLOCK_SUMMARY_ROOT_INDEX << (BLOCK_ROOTS_TREE_HEIGHT)) |
                uint256(withdrawalProof.blockRootIndex);
            require(
                Merkle.verifyInclusionSha256({
                    proof: withdrawalProof.historicalSummaryBlockRootProof,
                    root: beaconStateRoot,
                    leaf: withdrawalProof.blockRoot,
                    index: historicalBlockHeaderIndex
                }),
                "BeaconChainProofs.verifyWithdrawal: Invalid historicalsummary merkle proof"
            );
            //Next we verify the slot against the blockRoot
            require(
                Merkle.verifyInclusionSha256({
                    proof: withdrawalProof.slotProof,
                    root: withdrawalProof.blockRoot,
                    leaf: withdrawalProof.slotRoot,
                    index: SLOT_INDEX
                }),
                "BeaconChainProofs.verifyWithdrawal: Invalid slot merkle proof"
            );
            {
                // Next we verify the executionPayloadRoot against the blockRoot
                uint256 executionPayloadIndex = (BODY_ROOT_INDEX << (BEACON_BLOCK_BODY_FIELD_TREE_HEIGHT)) |
                    EXECUTION_PAYLOAD_INDEX;
                require(
                    Merkle.verifyInclusionSha256({
                        proof: withdrawalProof.executionPayloadProof,
                        root: withdrawalProof.blockRoot,
                        leaf: withdrawalProof.executionPayloadRoot,
                        index: executionPayloadIndex
                    }),
                    "BeaconChainProofs.verifyWithdrawal: Invalid executionPayload merkle proof"
                );
            }
            // Next we verify the timestampRoot against the executionPayload root
            require(
                Merkle.verifyInclusionSha256({
                    proof: withdrawalProof.timestampProof,
                    root: withdrawalProof.executionPayloadRoot,
                    leaf: withdrawalProof.timestampRoot,
                    index: TIMESTAMP_INDEX
                }),
                "BeaconChainProofs.verifyWithdrawal: Invalid blockNumber merkle proof"
            );
            {
                /**
                 * Next we verify the withdrawal fields against the blockRoot:
                 * First we compute the withdrawal_index relative to the blockRoot by concatenating the indexes of all the
                 * intermediate root indexes from the bottom of the sub trees (the withdrawal container) to the top, the blockRoot.
                 * Then we calculate merkleize the withdrawalFields container to calculate the the withdrawalRoot.
                 * Finally we verify the withdrawalRoot against the executionPayloadRoot.
                 *
                 *
                 * Note: Merkleization of the withdrawals root tree uses MerkleizeWithMixin, i.e., the length of the array is hashed with the root of
                 * the array.  Thus we shift the WITHDRAWALS_INDEX over by WITHDRAWALS_TREE_HEIGHT + 1 and not just WITHDRAWALS_TREE_HEIGHT.
                 */
                uint256 withdrawalIndex = (WITHDRAWALS_INDEX << (WITHDRAWALS_TREE_HEIGHT + 1)) |
                    uint256(withdrawalProof.withdrawalIndex);
                bytes32 withdrawalRoot = Merkle.merkleizeSha256(withdrawalFields);
                require(
                    Merkle.verifyInclusionSha256({
                        proof: withdrawalProof.withdrawalProof,
                        root: withdrawalProof.executionPayloadRoot,
                        leaf: withdrawalRoot,
                        index: withdrawalIndex
                    }),
                    "BeaconChainProofs.verifyWithdrawal: Invalid withdrawal merkle proof"
                );
            }
        }
        /**
         * @notice This function replicates the ssz hashing of a validator's pubkey, outlined below:
         *  hh := ssz.NewHasher()
         *  hh.PutBytes(validatorPubkey[:])
         *  validatorPubkeyHash := hh.Hash()
         *  hh.Reset()
         */
        function hashValidatorBLSPubkey(bytes memory validatorPubkey) internal pure returns (bytes32 pubkeyHash) {
            require(validatorPubkey.length == 48, "Input should be 48 bytes in length");
            return sha256(abi.encodePacked(validatorPubkey, bytes16(0)));
        }
    }
    // SPDX-License-Identifier: MIT
    // OpenZeppelin Contracts (last updated v4.6.0) (token/ERC20/IERC20.sol)
    pragma solidity ^0.8.0;
    /**
     * @dev Interface of the ERC20 standard as defined in the EIP.
     */
    interface IERC20 {
        /**
         * @dev Emitted when `value` tokens are moved from one account (`from`) to
         * another (`to`).
         *
         * Note that `value` may be zero.
         */
        event Transfer(address indexed from, address indexed to, uint256 value);
        /**
         * @dev Emitted when the allowance of a `spender` for an `owner` is set by
         * a call to {approve}. `value` is the new allowance.
         */
        event Approval(address indexed owner, address indexed spender, uint256 value);
        /**
         * @dev Returns the amount of tokens in existence.
         */
        function totalSupply() external view returns (uint256);
        /**
         * @dev Returns the amount of tokens owned by `account`.
         */
        function balanceOf(address account) external view returns (uint256);
        /**
         * @dev Moves `amount` tokens from the caller's account to `to`.
         *
         * Returns a boolean value indicating whether the operation succeeded.
         *
         * Emits a {Transfer} event.
         */
        function transfer(address to, uint256 amount) external returns (bool);
        /**
         * @dev Returns the remaining number of tokens that `spender` will be
         * allowed to spend on behalf of `owner` through {transferFrom}. This is
         * zero by default.
         *
         * This value changes when {approve} or {transferFrom} are called.
         */
        function allowance(address owner, address spender) external view returns (uint256);
        /**
         * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.
         *
         * Returns a boolean value indicating whether the operation succeeded.
         *
         * IMPORTANT: Beware that changing an allowance with this method brings the risk
         * that someone may use both the old and the new allowance by unfortunate
         * transaction ordering. One possible solution to mitigate this race
         * condition is to first reduce the spender's allowance to 0 and set the
         * desired value afterwards:
         * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
         *
         * Emits an {Approval} event.
         */
        function approve(address spender, uint256 amount) external returns (bool);
        /**
         * @dev Moves `amount` tokens from `from` to `to` using the
         * allowance mechanism. `amount` is then deducted from the caller's
         * allowance.
         *
         * Returns a boolean value indicating whether the operation succeeded.
         *
         * Emits a {Transfer} event.
         */
        function transferFrom(
            address from,
            address to,
            uint256 amount
        ) external returns (bool);
    }
    // SPDX-License-Identifier: BUSL-1.1
    pragma solidity >=0.5.0;
    /**
     * @title Interface for the `PauserRegistry` contract.
     * @author Layr Labs, Inc.
     * @notice Terms of Service: https://docs.eigenlayer.xyz/overview/terms-of-service
     */
    interface IPauserRegistry {
        event PauserStatusChanged(address pauser, bool canPause);
        event UnpauserChanged(address previousUnpauser, address newUnpauser);
        
        /// @notice Mapping of addresses to whether they hold the pauser role.
        function isPauser(address pauser) external view returns (bool);
        /// @notice Unique address that holds the unpauser role. Capable of changing *both* the pauser and unpauser addresses.
        function unpauser() external view returns (address);
    }
    // SPDX-License-Identifier: BUSL-1.1
    // Adapted from OpenZeppelin Contracts (last updated v4.8.0) (utils/cryptography/MerkleProof.sol)
    pragma solidity ^0.8.0;
    /**
     * @dev These functions deal with verification of Merkle Tree proofs.
     *
     * The tree and the proofs can be generated using our
     * https://github.com/OpenZeppelin/merkle-tree[JavaScript library].
     * You will find a quickstart guide in the readme.
     *
     * WARNING: You should avoid using leaf values that are 64 bytes long prior to
     * hashing, or use a hash function other than keccak256 for hashing leaves.
     * This is because the concatenation of a sorted pair of internal nodes in
     * the merkle tree could be reinterpreted as a leaf value.
     * OpenZeppelin's JavaScript library generates merkle trees that are safe
     * against this attack out of the box.
     */
    library Merkle {
        /**
         * @dev Returns the rebuilt hash obtained by traversing a Merkle tree up
         * from `leaf` using `proof`. A `proof` is valid if and only if the rebuilt
         * hash matches the root of the tree. The tree is built assuming `leaf` is
         * the 0 indexed `index`'th leaf from the bottom left of the tree.
         *
         * Note this is for a Merkle tree using the keccak/sha3 hash function
         */
        function verifyInclusionKeccak(
            bytes memory proof,
            bytes32 root,
            bytes32 leaf,
            uint256 index
        ) internal pure returns (bool) {
            return processInclusionProofKeccak(proof, leaf, index) == root;
        }
        /**
         * @dev Returns the rebuilt hash obtained by traversing a Merkle tree up
         * from `leaf` using `proof`. A `proof` is valid if and only if the rebuilt
         * hash matches the root of the tree. The tree is built assuming `leaf` is
         * the 0 indexed `index`'th leaf from the bottom left of the tree.
         *
         * _Available since v4.4._
         *
         * Note this is for a Merkle tree using the keccak/sha3 hash function
         */
        function processInclusionProofKeccak(
            bytes memory proof,
            bytes32 leaf,
            uint256 index
        ) internal pure returns (bytes32) {
            require(
                proof.length != 0 && proof.length % 32 == 0,
                "Merkle.processInclusionProofKeccak: proof length should be a non-zero multiple of 32"
            );
            bytes32 computedHash = leaf;
            for (uint256 i = 32; i <= proof.length; i += 32) {
                if (index % 2 == 0) {
                    // if ith bit of index is 0, then computedHash is a left sibling
                    assembly {
                        mstore(0x00, computedHash)
                        mstore(0x20, mload(add(proof, i)))
                        computedHash := keccak256(0x00, 0x40)
                        index := div(index, 2)
                    }
                } else {
                    // if ith bit of index is 1, then computedHash is a right sibling
                    assembly {
                        mstore(0x00, mload(add(proof, i)))
                        mstore(0x20, computedHash)
                        computedHash := keccak256(0x00, 0x40)
                        index := div(index, 2)
                    }
                }
            }
            return computedHash;
        }
        /**
         * @dev Returns the rebuilt hash obtained by traversing a Merkle tree up
         * from `leaf` using `proof`. A `proof` is valid if and only if the rebuilt
         * hash matches the root of the tree. The tree is built assuming `leaf` is
         * the 0 indexed `index`'th leaf from the bottom left of the tree.
         *
         * Note this is for a Merkle tree using the sha256 hash function
         */
        function verifyInclusionSha256(
            bytes memory proof,
            bytes32 root,
            bytes32 leaf,
            uint256 index
        ) internal view returns (bool) {
            return processInclusionProofSha256(proof, leaf, index) == root;
        }
        /**
         * @dev Returns the rebuilt hash obtained by traversing a Merkle tree up
         * from `leaf` using `proof`. A `proof` is valid if and only if the rebuilt
         * hash matches the root of the tree. The tree is built assuming `leaf` is
         * the 0 indexed `index`'th leaf from the bottom left of the tree.
         *
         * _Available since v4.4._
         *
         * Note this is for a Merkle tree using the sha256 hash function
         */
        function processInclusionProofSha256(
            bytes memory proof,
            bytes32 leaf,
            uint256 index
        ) internal view returns (bytes32) {
            require(
                proof.length != 0 && proof.length % 32 == 0,
                "Merkle.processInclusionProofSha256: proof length should be a non-zero multiple of 32"
            );
            bytes32[1] memory computedHash = [leaf];
            for (uint256 i = 32; i <= proof.length; i += 32) {
                if (index % 2 == 0) {
                    // if ith bit of index is 0, then computedHash is a left sibling
                    assembly {
                        mstore(0x00, mload(computedHash))
                        mstore(0x20, mload(add(proof, i)))
                        if iszero(staticcall(sub(gas(), 2000), 2, 0x00, 0x40, computedHash, 0x20)) {
                            revert(0, 0)
                        }
                        index := div(index, 2)
                    }
                } else {
                    // if ith bit of index is 1, then computedHash is a right sibling
                    assembly {
                        mstore(0x00, mload(add(proof, i)))
                        mstore(0x20, mload(computedHash))
                        if iszero(staticcall(sub(gas(), 2000), 2, 0x00, 0x40, computedHash, 0x20)) {
                            revert(0, 0)
                        }
                        index := div(index, 2)
                    }
                }
            }
            return computedHash[0];
        }
        /**
         @notice this function returns the merkle root of a tree created from a set of leaves using sha256 as its hash function
         @param leaves the leaves of the merkle tree
         @return The computed Merkle root of the tree.
         @dev A pre-condition to this function is that leaves.length is a power of two.  If not, the function will merkleize the inputs incorrectly.
         */
        function merkleizeSha256(bytes32[] memory leaves) internal pure returns (bytes32) {
            //there are half as many nodes in the layer above the leaves
            uint256 numNodesInLayer = leaves.length / 2;
            //create a layer to store the internal nodes
            bytes32[] memory layer = new bytes32[](numNodesInLayer);
            //fill the layer with the pairwise hashes of the leaves
            for (uint i = 0; i < numNodesInLayer; i++) {
                layer[i] = sha256(abi.encodePacked(leaves[2 * i], leaves[2 * i + 1]));
            }
            //the next layer above has half as many nodes
            numNodesInLayer /= 2;
            //while we haven't computed the root
            while (numNodesInLayer != 0) {
                //overwrite the first numNodesInLayer nodes in layer with the pairwise hashes of their children
                for (uint i = 0; i < numNodesInLayer; i++) {
                    layer[i] = sha256(abi.encodePacked(layer[2 * i], layer[2 * i + 1]));
                }
                //the next layer above has half as many nodes
                numNodesInLayer /= 2;
            }
            //the first node in the layer is the root
            return layer[0];
        }
    }
    // SPDX-License-Identifier: BUSL-1.1
    pragma solidity ^0.8.0;
    library Endian {
        /**
         * @notice Converts a little endian-formatted uint64 to a big endian-formatted uint64
         * @param lenum little endian-formatted uint64 input, provided as 'bytes32' type
         * @return n The big endian-formatted uint64
         * @dev Note that the input is formatted as a 'bytes32' type (i.e. 256 bits), but it is immediately truncated to a uint64 (i.e. 64 bits)
         * through a right-shift/shr operation.
         */
        function fromLittleEndianUint64(bytes32 lenum) internal pure returns (uint64 n) {
            // the number needs to be stored in little-endian encoding (ie in bytes 0-8)
            n = uint64(uint256(lenum >> 192));
            return
                (n >> 56) |
                ((0x00FF000000000000 & n) >> 40) |
                ((0x0000FF0000000000 & n) >> 24) |
                ((0x000000FF00000000 & n) >> 8) |
                ((0x00000000FF000000 & n) << 8) |
                ((0x0000000000FF0000 & n) << 24) |
                ((0x000000000000FF00 & n) << 40) |
                ((0x00000000000000FF & n) << 56);
        }
    }