highLogic errorOther
Kakarot: Missing constraint in `default_dict_copy`
- Payout
- $0
- Protocol
- Kakarot
- Disclosed
- Dec 10, 2024
- Source
- code4rena
Kakarot's CairoZero account implementation creates persistent dictionaries (transient_storage, storage, valid_jumpdests) with default_dict_new but never pairs them with the default_dict_finalize constraint that pins the first entry's prev_value to the intended …
Similar reports
- No close matches yet.
References
- https://github.com/code-423n4/2024-09-kakarot-findings/issues/91
- https://github.com/code-423n4/2024-09-kakarot-findings
This report is already public and closed. Coin Buggie never publishes active or unpatched vulnerability data.