ADD-01 MitigationConfirmed

[c4-bot-3]

Lines of code

Vulnerability details

Lines of code

Vulnerability details

C4 Issue:

H-01: code-423n4/2024-07-karak-findings#102

Comments

This mitigation is a part of a mitigation of H-01. The issue was discovered after implemented recommended audit fixes. Before implementing this mitigation, burnt ETH that was slashed was not subtracted from the node.withdrawableCreditedNodeETH, even though it was swept and not available for withdrawal anymore.

Mitigation

FIX
Now when _burnSlashed() is called and slashed ETH is swept, it is subtracted from the node.withdrawableCreditedNodeETH, so it's no longer available for withdrawal. This change keeps the accounting correct and resolves the issue.

Conclusion

LGTM

[c4-judge]

MiloTruck marked the issue as satisfactory

[c4-judge]

MiloTruck marked the issue as confirmed for report