> ## Documentation Index
> Fetch the complete documentation index at: https://docs.theblockchainlibrary.com/llms.txt
> Use this file to discover all available pages before exploring further.

# Starknet

> Starknet is a permissionless, decentralized ZK-Rollup (Zero-Knowledge Rollup) operating as a Layer 2 network over Ethereum. It utilizes STARK (Scalable Transparent Argument of Knowledge) cryptographic proofs to ensure the validity and computation of transactions. Because these pr

# Starknet

Starknet is a permissionless, decentralized ZK-Rollup (Zero-Knowledge Rollup) operating as a Layer 2 network over Ethereum. It utilizes STARK (Scalable Transparent Argument of Knowledge) cryptographic proofs to ensure the validity and computation of transactions. Because these proofs are inherently verifiable and succinct, Starknet can handle very high transaction volumes while maintaining a high degree of security and decentralization, distinct from Optimistic Rollups that rely on challenge windows.

## Definition

Starknet is a permissionless, decentralized ZK-Rollup (Zero-Knowledge Rollup) operating as a Layer 2 network over Ethereum. It utilizes STARK (Scalable Transparent Argument of Knowledge) cryptographic proofs to ensure the validity and computation of transactions. Because these proofs are inherently verifiable and succinct, Starknet can handle very high transaction volumes while maintaining a high degree of security and decentralization, distinct from Optimistic Rollups that rely on challenge windows.

## Simple explanation

Starknet is like a math genius that can prove a thousand math problems were solved correctly just by showing you one tiny, undeniable answer. It processes everything quickly and hides the messy work, giving you only the result.

## Why it matters

Starknet provides one of the most advanced scaling solutions in the industry. Its unique use of STARKs allows for massive efficiency gains, potentially enabling complex applications that were previously impossible on-chain.

## How it works

Starknet uses a Prover to generate a STARK proof that verifies the correctness of an entire block of transactions. This proof is sent to the Ethereum mainnet. A smart contract on Ethereum verifies the proof using the STARK protocol. Once verified, the state of the network is updated, and the transaction is finalized.

## Real-world example

The dYdX decentralized exchange originally migrated its core logic to Starknet to leverage its high speed and throughput.

## Advantages

* High computational efficiency
* Mathematical validity proofs
* Reduced transaction costs at scale

## Limitations

* Uses custom language (Cairo)
* Steep developer learning curve
* Complex cryptographic underpinnings

## Common misconceptions

* Many assume all ZK-rollups are the same, but Starknet's use of STARKs is distinct from SNARK-based systems.
* People think it is slow due to heavy math, but the proof generation is highly optimized.

## Related knowledge

* [Cryptography](/categories/cryptography) — term
* [Ethereum](/categories/ethereum) — term
* [Layer 2](/categories/layer-2) — term
* [Prover](/generated/v2/glossary/prover) — term
* [ZK Rollup](/generated/v2/glossary/zk-rollup) — term

***

**Canonical knowledge ID:** `glossary:starknet`