Blockchain
StarkNet
An Ethereum Layer 2 using STARK proofs and Cairo language for general computation with superior scalability.
Last Updated
2026-03-29
Related Concepts
What is StarkNet?
StarkNet is a ZK-Rollup that uses STARK proofs and a custom language called Cairo to enable general-purpose computation with cryptographic correctness guarantees.
How does StarkNet work?
- Developers write programs in Cairo, a language optimized for provable computation.
- Programs execute off-chain and generate a STARK proof of correct execution.
- The proof is posted to Ethereum, which verifies it and settles the state.
Why does StarkNet matter?
STARK proofs are transparent and require no trusted setup, making them more decentralizable than SNARK-based systems. StarkNet enables Turing-complete smart contracts with full ZK security.
Key features of StarkNet
- STARK proof system no trusted setup required
- Cairo language for provable general computation
- Turing-complete smart contracts with ZK guarantees
- STRK governance token
Examples of StarkNet
dYdX v4 launched on StarkNet for high-frequency perpetuals trading. Developers port complex DeFi logic to Cairo to benefit from ZK settlement on Ethereum.