highLogic errorEVM-Solidity
Karak: Slashing `NativeVault` will lead to locked ETH for the users
- Payout
- $0
- Protocol
- Karak
- Disclosed
- Oct 7, 2024
- Source
- code4rena
Karak's NativeVault restaking contract double-counts slashed ETH against a node owner's shares because the node balance snapshot is captured after `_transferToSlashStore()` has already drawn down the node's ETH balance. When a slashed staker exits fully, final …
Similar reports
- No close matches yet.
References
- https://github.com/code-423n4/2024-07-karak-findings/issues/102
- https://github.com/code-423n4/2024-07-karak-findings
This report is already public and closed. Coin Buggie never publishes active or unpatched vulnerability data.