What is Starknet (STRK)?

Arbitrum and Optimism are optimistic rollups: they assume their results are correct and give anyone a week to prove otherwise. Starknet proves every batch mathematically before Ethereum accepts it, using STARKs — proofs that are large but require no trusted setup and are believed to resist quantum attack.

The practical difference is the withdrawal. An optimistic rollup makes you wait out a challenge window, about seven days, because the security depends on someone having had time to object. A validity rollup has nothing to object to: once the proof verifies, the state is correct, and funds move. No fraud proofs, no week of waiting, no reliance on a watchful third party existing.

The cost is that everything runs in Cairo, a language built for provable computation rather than Solidity compatibility. That is a genuine barrier — developers have to learn a new language to deploy here — and it is the main reason Starknet's ecosystem is smaller than Arbitrum's or Base's despite arguably better technology.

The Bitcoin pivot

In 2025 Starknet made a decision no other major Ethereum rollup has: it began serving Bitcoin as well. Bitcoin can now be staked on Starknet, backed by a 100 million STRK incentive programme, with over 1,700 BTC and 915 million STRK committed by late 2025 — more than $365 million of value securing consensus.

The logic is that Bitcoin holds the largest pool of idle capital in crypto and has no native way to do anything with it. Bitcoin DeFi has mostly meant wrapping BTC and trusting a custodian, which defeats the point. A validity rollup that can prove its state to both chains is a more credible route, and Starknet is betting its differentiation on being that route.

Staking v4 and decentralisation

Like every rollup in production, Starknet runs a centralised sequencer — and unlike most, it also runs the prover. Staking v4, planned for 2026, is described as the final phase: decentralising both the sequencer and the prover stack. Until it ships, one operator orders transactions and one operator generates the proofs.

• Gas on Starknet, which accepts STRK as well as ETH.
• Staking to secure the network, alongside staked BTC.
• Governance over protocol upgrades and parameters.
• Incentive programmes, including the 100 million STRK backing the Bitcoin expansion.

STRK is in a better position than ARB or OP on one specific point: it is usable for gas and it is staked, so network activity and security both create demand for it rather than only for ETH. Whether the volume is large enough to matter is the same question every L2 token faces.

STRK launched in February 2024 with allocations to the community, early contributors, investors and the foundation on multi-year vesting. Unlocks have been the dominant supply factor since, as with every token of that cohort.

Against that sit staking rewards, which pay for securing the network, and the 100 million STRK incentive programme funding the Bitcoin expansion. Both are emissions rather than burns, so Starknet is spending token supply to buy adoption — a standard and expensive strategy.

What to measure

Whether the BTC staked stays after the incentives taper. Over 1,700 BTC committed while a 100 million STRK programme is running is a fact about the incentive as much as about the product. The number that matters is what remains when the subsidy stops, and that has not been tested.

Starknet is unusual in staking two assets. STRK can be staked to secure the network in the normal way, and Bitcoin can now be staked alongside it — over 1,700 BTC by late 2025, contributing to more than $365 million of consensus value.

For a Bitcoin holder that is a genuinely new proposition: earning on BTC without wrapping it and handing it to a custodian, which is how Bitcoin DeFi has mostly worked. The trade is exposure to Starknet's implementation rather than to a custodian's solvency — a different risk, not an absent one.

Staking v4 in 2026 is intended to complete decentralisation of the sequencer and prover. Until then, the network being staked is one whose ordering and proving are still operated centrally.

Cairo is the adoption barrier

Everything on Starknet is written in Cairo rather than Solidity. That enables the proving system and it means a developer choosing Starknet is choosing to learn a new language for a smaller ecosystem. Better technology has repeatedly lost to compatibility in this market.

Centralised sequencer and prover

One operator orders transactions and one generates the proofs. Validity proofs mean neither can steal funds — the mathematics prevents an invalid state — but both can censor or halt the chain. Staking v4 is the fix and it is a 2026 plan rather than a shipped feature.

The Bitcoin bet is unproven

Over 1,700 BTC staked under a 100 million STRK incentive programme tells you the incentive works. Whether Bitcoin holders keep capital on an Ethereum rollup once the subsidy tapers is the actual question, and Babylon and others are competing for the same idle BTC.

Emissions fund the growth

Staking rewards and a nine-figure STRK incentive programme are supply paid out to buy adoption, arriving on top of vesting unlocks. There is no burn mechanism offsetting it.

Proving costs

STARK proofs are computationally expensive to generate, which is why the prover is centralised and specialised. Decentralising it is genuinely hard, and the economics of paying independent provers at scale have not been demonstrated by anyone.