QA Report

[howlbot-integration]

See the markdown file with the details of this report here.

[enitrat]

QA-01 → ❌ pc is incremented in the end label

QA-02 → ✅ address aliasing

QA-03 → ✅ lack of cancellation messaging

QA-04 EIP-2930 Transaction Decoding Failure → ❌ no POC no explanation, unsigned TX without signature

QA-05 → ❌ though it should be used with b - a by convention

QA-06 → ❌ Not valid EIP, still in draft and not applied

QA-07 → ✅ Incorrect Handling of 0^0 in Power Function

QA-08 → ❌  it will consume everything https://github.com/kkrt-labs/kakarot/blob/e3156b4c3d33d41cc309c6c67eadc370262a99b9/cairo_zero/kakarot/precompiles/precompiles.cairo#L261

QA-09 → ❌no POC no explanation

QA-10 → ❌  no poc no explaination

QA-11 → ❌ used from cairo0

QA-12 → ❌ report misunderstands selfdestruct

[c4-judge]

dmvt marked the issue as grade-b