Q: Shall slashOperator revert if the operator has already been slashed?

[dantaik]

https://github.com/NethermindEth/Taiko-Preconf-AVS/blob/c0f168762c6044b4c6d90681f6a7e7f40398043b/SmartContracts/src/avs/PreconfServiceManager.sol#L66

As of now, the slashOperator will revert if the operator has been slashed, see below.

 /// @dev This not completely functional until Eigenlayer decides the logic of their Slasher.
    function slashOperator(address operator) external onlyPreconfTaskManager {
        if (slasher.isOperatorSlashed(operator)) {
            revert OperatorAlreadySlashed();
        }
        slasher.slashOperator(operator);
    }

Shall we tolerant this condition and have something like:

 /// @dev This not completely functional until Eigenlayer decides the logic of their Slasher.
    function slashOperator(address operator) external onlyPreconfTaskManager {
        if (!slasher.isOperatorSlashed(operator)) {
            slasher.slashOperator(operator);
        }
    }

[AnshuJalan]

Since this is provisional we haven't fixated on how exactly we want this to eventually be. A large part of the decision here will be based on whether Eigenlayer or the unified-registry allows slashing part of the stake instead of the entire stake. In that case, this function would change significantly.