Signed/unsigned arithmetic confusion
QuickSwap's assessment for RD-F-018 — scored green on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.
Evidence summary #
V2: ABDK FV covered arithmetic correctness including signed/unsigned handling. V3 Algebra: TickMath uses int24 (ticks) and uint160 (sqrtPrice) — standard Uniswap V3-like math patterns. No signed/unsigned confusion finding in C4 contest or Algebra audit references.
Sources #
- AuditABDK Uniswap V2 Formal VerificationABDK V2 FV — arithmetic correctness including signed/unsignedretrieved 2026-05-16
Methodology #
Determine whether signed-integer conversions or comparisons where unsigned was intended exist in the deployed bytecode/source.
See the full factor methodology and distribution across all protocols →
rubric_version v1.7.0 protocol quickswap factor RD-F-018 score green collected_at 2026-05-16 08:48:31