Starknet is a permissionless, decentralized Layer 2 (L2) scaling solution that operates on top of the Ethereum blockchain. It functions as a Validity Rollup (also known as a ZK-Rollup) and utilizes the STARK (Scalable, Transparent Argument of Knowledge) cryptographic proof system to enable high-throughput, low-cost computations while retaining the security and composability of its underlying Layer 1. Developed primarily by StarkWare Industries, Starknet supports a wide range of decentralized applications (dApps) and has expanded its vision to include scaling solutions for the Bitcoin network. ^{[1] [2]}

Overview

Starknet's primary function is to address the scalability limitations of the Ethereum mainnet. It achieves this by executing transactions and complex computational processes off-chain and then submitting a single, concise cryptographic proof (a STARK proof) to the Ethereum blockchain for verification. This method drastically reduces the amount of data that needs to be processed on-chain, leading to significantly higher transaction throughput and lower fees for end-users, without sacrificing the security guarantees of Ethereum. The network's official mission is to be "Shaping the future with scale and integrity." ^[2]

Initially focused exclusively on scaling Ethereum, Starknet has broadened its strategic focus to become an execution layer for Bitcoin, a concept it refers to as "BTCFi" (Bitcoin DeFi). The project's vision is to become the first L2 network capable of settling on both the Ethereum and Bitcoin blockchains, aiming to unify the liquidity and user bases of the two largest cryptocurrency ecosystems. This allows for the development of complex smart contract functionalities, such as advanced DeFi and on-chain gaming, for both networks. ^[1]

The network is supported by a growing ecosystem of dApps, infrastructure providers, and a robust developer community. Its core technology is built around the Cairo programming language, which is specifically designed for creating provable programs, and native Account Abstraction, which treats every user account as a smart contract. The project has an ongoing roadmap focused on progressive decentralization, with the stated goal of becoming a fully decentralized L2. ^{[3] [1]}

History and Development

StarkWare Industries, the company behind Starknet's core technology, was founded in May 2018 by Eli Ben-Sasson, Uri Kolodny, Alessandro Chiesa, and Michael Riabzev. The team introduced the Cairo programming language in October 2020 as a framework for building STARK-provable programs. ^[4]

Starknet Alpha was first launched on an Ethereum public testnet in June 2021, followed by its mainnet deployment in November 2021, marking its public debut. To support the network's growth and decentralization, the Starknet Foundation was established in July 2022 as an independent, non-profit entity tasked with advancing the ecosystem. ^{[4] [2]}

A significant network upgrade, dubbed "Quantum Leap" (v0.12.0), was deployed in July 2023, which substantially increased network throughput. An updated version, v0.13.0, was promoted in December 2023 to further enhance performance. In February 2024, the Starknet Foundation initiated the Starknet Provisions Program, which involved the distribution of the native STRK token to early users, developers, and other ecosystem contributors. ^[2]

In March 2024, Starknet released a public roadmap for the year, which included key goals such as transaction fee reductions (v0.13.1), the introduction of parallel transaction execution to improve throughput (v0.13.2), the implementation of a fee market, and the development of faster L2 finality. Later that year, tBTC, a form of wrapped Bitcoin from the Threshold Network, became available on the Starknet Mainnet, enhancing its DeFi capabilities. ^[2]

Core Technology

Starknet's architecture is built on a foundation of advanced cryptography and a unique software stack designed for verifiable computation.

STARK-based Validity Rollup

Starknet operates as a Validity Rollup, which bundles thousands of transactions off-chain into a single batch. After executing these transactions, the network's Prover generates a STARK proof, a cryptographic argument that attests to the integrity of every computation within that batch. This single, compact proof is then sent to a Verifier smart contract on the Ethereum mainnet. The Verifier contract checks the proof's validity—a computationally inexpensive process—and, upon confirmation, updates the state on Layer 1. This architecture allows Starknet to achieve significant scale, as the on-chain cost is delinked from the number of transactions in the batch. ^[1]

The STARK proof system, co-invented by StarkWare's Eli Ben-Sasson, has two key properties:

• Transparency: Unlike SNARKs, STARKs do not require a trusted setup ceremony. The initial parameters are generated using publicly verifiable randomness, which reduces trust assumptions and potential vectors for compromise.
• Scalability and Security: STARKs offer quasi-logarithmic proving times and fast verification, making them efficient for large-scale computations. They are also considered resistant to attacks from quantum computers due to their reliance on collision-resistant hash functions instead of elliptic curve cryptography. ^{[2] [4]}

Cairo Programming Language

Smart contracts on Starknet are written in Cairo, a custom-built, Turing-complete language. According to its developers, "Cairo is the first Turing-complete language for creating provable programs for general computation." The name is an acronym for CPU Algebraic Intermediate Representation. Cairo is specifically designed to allow developers to write complex logic that can be efficiently proven with STARKs, enabling applications that would be too computationally intensive or expensive for Layer 1. ^[3]

The language and its tooling have undergone significant evolution. The original implementation (cairo-lang) was written primarily in Python. The modern, active implementation (cairo) is written in Rust, a move intended to enhance performance, memory safety, and the overall developer experience with a syntax that is heavily inspired by Rust. ^[3]

Network Architecture

Starknet's network is composed of several specialized components that work in concert:

• Sequencer: This node is responsible for receiving transactions from users, ordering them, executing them to determine the resulting state changes, and creating blocks. The current primary implementation of the sequencer is written in Rust. The roadmap includes plans to decentralize the role of the sequencer to prevent a single point of failure or censorship. ^[3]
• Prover: The Prover is a highly specialized component that takes a batch of executed transactions from the sequencer and generates the STARK proof for it. StarkWare is developing a next-generation prover called the S-two Prover, which is "powered by the cryptographic breakthrough of Circle STARKs." This innovation is designed to significantly improve proving efficiency. ^[3]
• Full Node: A full node independently syncs and verifies the entire Starknet chain state, contributing to the network's decentralization and resilience. While StarkWare initially developed a full node client named Papyrus, the repository has since been archived, suggesting a strategy to encourage a diverse ecosystem of community-developed clients. ^{[3] [5]}
• Verifier Contract: A smart contract deployed on Ethereum that verifies the STARK proofs submitted by the Prover. Once a proof is verified on L1, the corresponding Starknet state update is considered final and inherits the security of Ethereum. ^[4]

Key Features

Native Account Abstraction

A fundamental design choice in Starknet is its implementation of Native Account Abstraction (AA). Unlike Ethereum, where there is a distinction between user-controlled Externally Owned Accounts (EOAs) and smart contract accounts, every account on Starknet is a smart contract. This provides developers with full control over account logic, enabling features such as flexible transaction validation (e.g., using passkeys or biometrics), custom security policies like social recovery or multi-factor authentication, and gasless transactions via "paymasters" without being constrained by protocol-level rules. ^[1]

Bitcoin Integration (BTCFi)

Starknet has initiated a major strategic expansion to serve as a scaling and execution layer for Bitcoin, a concept it has termed "BTCFi." The goal is to bring complex smart contract functionality and DeFi applications to the Bitcoin network. Research from StarkWare and the Weizmann Institute on ColliderVM aims to overcome the limitations of Bitcoin's native scripting language. Key integrations supporting this strategy include a partnership with Lombard Protocol to introduce a form of wrapped Bitcoin (LBTC) for DeFi activities on Starknet. ^[1]

Staking Mechanism

Starknet employs a Proof-of-Stake model to secure the network and align incentives. The network supports two primary forms of staking:

1. STRK Staking: The native token, STRK, can be staked to participate in the network's consensus, security, and governance processes. ^[3]
2. BTC Staking: As part of its BTCFi initiative, Starknet has enabled Bitcoin staking. In late 2025, institutional crypto platform Anchorage Digital expanded its support for Starknet by enabling its clients to stake Bitcoin on the network, in addition to its existing STRK staking services. ^[2]

The STRK Token

The native utility and governance token of the Starknet ecosystem is STRK. Its primary functions include:

• Transaction Fees: The STRK token is used to pay for transaction fees on the network, although for a period, fees could also be paid in Ether (ETH).
• Staking: Holders can stake STRK to help secure the network and earn rewards, participating in the network's Proof-of-Stake consensus mechanism.
• Governance: STRK token holders can participate in the decentralized governance of the Starknet protocol, voting on proposals related to network upgrades and parameter changes.

The token was first deployed to the Ethereum mainnet in November 2022 but remained non-transferable. It became publicly tradable in February 2024 following the Starknet Provisions Program, an airdrop that distributed tokens to a wide range of ecosystem participants, including early users, dApp developers, and Ethereum contributors. ^{[1] [2]}

Ecosystem and Adoption

Starknet has cultivated a diverse and growing ecosystem of applications, infrastructure, and institutional partners.

Decentralized Applications (dApps)

The network's high computational capacity has made it a notable platform for several key sectors:

• DeFi: The ecosystem includes a range of DeFi protocols, such as DEXs like Ekubo and AVNU, and lending platforms. The integration of assets like tBTC has further expanded its DeFi capabilities.
• Onchain Gaming: Starknet has explicitly positioned itself as a "proud home for Fully Onchain Gaming." Its ability to handle complex computations off-chain makes it suitable for games that require all of their logic and state to be managed on the blockchain.
• NFTs: The platform also supports a variety of NFT projects and marketplaces. ^{[1] [2]}

Infrastructure and Tooling

The developer and user ecosystem is supported by a variety of tools and services:

• Wallets: The most prominent wallets are Braavos and Argent X, both of which are smart contract wallets that leverage Starknet's native Account Abstraction features.
• Bridges: The official bridge for transferring assets between Ethereum and Starknet is StarkGate.
• Partners: Starknet has integrated with numerous key projects in the Web3 space, including oracle provider Chainlink, stablecoin issuer Circle, interoperability protocol LayerZero, and hardware wallet manufacturer Ledger.
• Developer Resources: The Starknet Developer Hub provides documentation, tutorials, and tools for builders. The Starknet Foundation also runs a grants program to fund ecosystem development. ^{[1] [5]}

Institutional Adoption

Starknet has gained traction among institutional players. The partnership with Anchorage Digital, a leading institutional crypto platform, is a key indicator of this trend. Anchorage provides institutional-grade custody and staking services for both STRK and BTC on the Starknet network, signaling growing trust and adoption from larger financial entities. ^[2]

Governance

Starknet is transitioning towards a decentralized governance model managed by its community. The Starknet Foundation plays a crucial role in stewarding the ecosystem and promoting its growth and decentralization. Key decisions regarding protocol upgrades and treasury management are subject to a formal governance process, facilitated through a community forum and an on-chain voting portal where STRK token holders can participate. ^[1]

Challenges and Criticisms

Early versions of Starknet faced criticism for long transaction finality times, which could range from minutes to hours, and relatively high fees compared to other L2 solutions. These performance issues were significantly addressed with subsequent network upgrades like "Quantum Leap." ^[2]

Like many nascent rollups, Starknet's core components, particularly the sequencer and prover, were initially operated centrally by StarkWare to ensure stability. This centralization has been a point of criticism, though the project's public roadmap includes the progressive decentralization of these roles as a primary objective. ^[1]

The initial version of the Cairo language (Cairo 0) was known for its steep learning curve for developers accustomed to languages like Solidity. In response, the core team undertook a major redesign of the language, resulting in a Rust-like syntax intended to improve the developer experience, code safety, and ease of onboarding. ^[3]