Cairo Smart Contract Security: How to Audit Starknet Without Missing the Real Risks
Audit Cairo and Starknet contracts: account abstraction, L1-L2 messaging, felt252 risks, and the tools used to check them.
Audit Cairo and Starknet contracts: account abstraction, L1-L2 messaging, felt252 risks, and the tools used to check them.
A practical Move smart contract audit checklist for Aptos teams and auditors: resources, abilities, signer checks, object ownership, capabilities, generic types, upgrades, invariants, and Move Prover targets.