code-423n4 / 2024-09-karak-mitigation-findings

0 stars 0 forks source link

ADD-01 MitigationConfirmed #31

Open c4-bot-8 opened 2 months ago

c4-bot-8 commented 2 months ago

Lines of code

Vulnerability details

C4 issue

[ADD-01]: packages/contracts/src/NativeVault.sol L446 + node.withdrawableCreditedNodeETH -= slashedWithdrawable;

Comments

I think that this fixing is a part of fixing H-01.

Mitigation

ADD-01 added node.withdrawableCreditedNodeETH -= slashedWithdrawable; at NativeVault.sol#L446.

I confirm that the mitigation has resolved the original issue.

Conclusion

LGTM

c4-judge commented 2 months ago

MiloTruck marked the issue as satisfactory