Smart contract audits
Manual review of code paths that move assets, authorize operations, settle balances, mint or burn tokens, route messages, or modify protocol state.
Starknet Security
Starknet Smart Contract Audit Services
ResearchZero provides Starknet smart contract audits, blockchain security reviews, protocol risk analysis, and infrastructure security for teams building on Starknet. Starknet supports Cairo-native applications, account abstraction, DeFi protocols, application-specific logic, and validity-rollup infrastructure.
Supported Environment
Starknet blockchain security review
Starknet security reviews focus on Cairo contract behavior, account abstraction, component composition, storage layout, L1/L2 messaging, bridge assumptions, and proof-system-driven execution expectations.
ResearchZero reviews the chain-specific execution model and the financial logic built on top of it. The goal is to identify exploitable code paths before production value, user assets, governance authority, or institutional operations depend on them.
Engagements can include pre-launch audits, targeted reviews of remediations, protocol architecture review, cross-chain integration assessment, and post-audit support for engineering teams preparing a production deployment.
Starknet risks we review
- Cairo logic errors
- Account abstraction edge cases
- L1/L2 messaging assumptions
- Storage and component composition
- Bridge dependency risk
Programming Environment
Starknet smart contract languages and tooling
Starknet contracts are written in Cairo and run in a validity-rollup environment with account abstraction, components, storage maps, and L1/L2 messaging.
ResearchZero reviews both the source-level implementation and the execution environment around it: compiler behavior, deployment artifacts, transaction construction, permissions, upgrade paths, and the runtime assumptions that can change how production code behaves.
Languages
- Cairo
- Starknet contracts
- Sierra and CASM artifacts
- Account abstraction contracts
Tooling
- Scarb
- Starknet Foundry
- Cairo tests
- Starkli
- Local devnet workflows
Standards
- SRC token patterns
- Cairo component libraries
- Account contracts
- L1/L2 messaging
- Upgradeable contract patterns
Audit Coverage
Security services for Starknet teams
Focused review for financial protocols, infrastructure providers, fintech teams, custodians, asset issuers, and DeFi applications building in the Starknet ecosystem.
Protocol risk review
Adversarial analysis of economic assumptions, liquidity dependencies, oracle design, governance authority, upgrade controls, and operational failure modes.
Infrastructure assessment
Security review for bridges, relayers, indexers, signing flows, custody integrations, monitoring systems, and deployment processes around Starknet applications.
Starknet FAQ
Security review questions for Starknet
Does ResearchZero support Starknet?
Yes. ResearchZero supports Starknet security reviews for smart contracts, protocol logic, infrastructure, and institutional financial applications.
What code and systems can be reviewed?
We review Cairo and Starknet contracts, protocol architecture, privileged operations, deployment controls, integrations, custody flows, and chain-specific assumptions.
When should a Starknet audit happen?
Schedule review before mainnet deployment, major upgrades, new asset support, bridge integrations, custody changes, or any release that changes how value moves through the system.
Get Started
Secure your
Secure your
Starknet protocol
Talk to ResearchZero about Starknet smart contract audits, protocol security, infrastructure review, or institutional on-chain finance risk.
// Confidential scoping. Response within 24 hours.