highInteger overflow/underflowOther
Kakarot: Prover can cheat in `felt_to_bytes_little` due to value underflow
- Payout
- $0
- Protocol
- Kakarot
- Disclosed
- Dec 10, 2024
- Source
- code4rena
Kakarot's Cairo routine `felt_to_bytes_little()` in bytes.cairo converts a felt into a minimal byte array, but its termination is driven by a prover-controlled hint: the loop keeps emitting bytes until `value` underflows to zero. Because the verifier checks on …
Similar reports
- No close matches yet.
References
- https://github.com/code-423n4/2024-09-kakarot-findings/issues/118
- 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.