Starknet is an Ethereum Layer 2 using STARK zero-knowledge proofs, invented by co-founder Eli Ben-Sasson — a cryptography professor who pioneered the mathematics behind both SNARKs and STARKs. Unlike SNARKs (used by zkSync), STARKs require no trusted setup and are quantum-resistant, providing stronger long-term security guarantees. Starknet uses Cairo, its own purpose-built programming language optimized for STARK proof generation. While this means Solidity developers must learn a new language, Cairo enables significantly more efficient proof generation, resulting in lower costs and higher throughput than SNARK-based L2s. The trade-off is deliberate: better performance at the cost of a steeper developer onboarding curve. The network processes transactions with Ethereum-grade security at a fraction of the cost, making DeFi, gaming, and complex computations affordable. Major protocols including dYdX (originally), Immutable X, and Sorare chose StarkEx (Starknet's predecessor technology) for their scaling needs, validating the underlying tech.
Eli Ben-Sasson co-founded StarkWare in 2018 after decades of ZK proof research. StarkEx launched first as an application-specific scaling engine (powering dYdX V3, Immutable X, Sorare). Starknet launched as a general-purpose L2 in 2022. The STRK token launched in February 2024 via airdrop and public distribution. Starknet has progressively improved throughput and reduced fees through protocol upgrades.
Starknet batches transactions off-chain, generates STARK proofs of computational integrity, and posts these proofs to Ethereum for verification. STARKs use hash functions rather than elliptic curves, making them transparent (no trusted setup), quantum-resistant, and highly scalable — proof generation time grows quasi-linearly with computation size. Cairo is Starknet's native language, compiled to an algebraic representation that's efficient to prove. Developers write smart contracts in Cairo, which execute on Starknet and are verified on Ethereum via STARK proofs. Native account abstraction means every account is a smart contract, enabling features like social recovery and session keys.
STRK has a total supply of 10 billion tokens. Distribution includes community provisions, StarkWare investors, and core contributors with vesting. STRK is used for gas fees on Starknet and governance. Staking is being developed to add validator decentralization.
STARKs are transparent (no trusted setup), quantum-resistant, and invented by Starknet's own co-founder — the deepest cryptographic expertise in the L2 space.
Purpose-built language generates more efficient proofs than retrofitting Solidity to ZK circuits, resulting in lower costs.
Every account is a smart contract, enabling social recovery, multi-sig, and session keys natively.
StarkEx has processed billions in volume for dYdX, Immutable X, and Sorare — the technology works at scale.
Developers must learn a new language rather than using familiar Solidity, slowing ecosystem growth.
STRK launched in 2024, well after competitors like Arbitrum and Optimism had established ecosystems.
Cairo's non-EVM nature means fewer developers, tools, and existing protocols compared to EVM L2s.
Like most L2s, Starknet currently uses a centralized sequencer — decentralization is planned but not yet implemented.
Both are zero-knowledge proof systems, but STARKs (used by Starknet) require no trusted setup ceremony, are quantum-resistant, and scale better for large computations. SNARKs (used by zkSync, Zcash) produce smaller proofs and verify faster on-chain. STARKs have stronger long-term security guarantees; SNARKs are currently cheaper to verify on Ethereum.
Cairo is designed specifically for efficient STARK proof generation. Converting Solidity to ZK circuits (as zkSync does) introduces overhead. Cairo produces more efficient proofs, resulting in lower costs and higher throughput. The trade-off is that developers must learn a new language — Starknet bet that performance advantages outweigh the adoption friction.
Arbitrum and Optimism use optimistic rollups (assuming transactions are valid, with fraud proof challenges). Starknet uses ZK rollups (mathematically proving every batch is valid). ZK rollups have faster finality to L1 and stronger security guarantees, but optimistic rollups currently have larger ecosystems and more developer tooling. The bet is that ZK will win long-term.
View live Starknet price, charts, and market data on the Starknet detail page.
Learn how to purchase: How to Buy Starknet