StarkNet Alpha is Live on Mainnet

What is StarkNet?

StarkNet is a permissionless decentralized ZK-Rollup. It operates as an L2 network over Ethereum, enabling any dApp to achieve unlimited scale for its computation, without compromising Ethereum's composability and security.

Scalability and Integrity

StarkNet supports scale, while preserving the security of L1 Ethereum by producing STARK proofs off-chain, and then verifying those proofs on-chain.

General Purpose

On StarkNet, developers can easily deploy any business logic using StarkNet Contracts.

Composability

StarkNet provides Ethereum-level composability – facilitating easy development and innovation.

StarkNet Alpha

StarkNet Alpha is now live on Mainnet!
For the first time, developers can implement their business logic of choice in a smart contract, and deploy it permissionlessly on StarkNet.

Join the Conversation

StarkNet Discord

StarkNet Milestones

Availability
Smart contracts support general computation
Smart contracts can interact with each other, allowing composability
L1<>L2 interoperability
Full L1 security through on-chain data (Rollup)
Solidity to Cairo Compiler Coming Soon
StarkNet Full Nodes Coming Soon
Range of Data Availability Solutions Coming Soon
Permissionless Sequencer and Prover Coming Soon

The StarkNet Roadmap.

Back in January 2021 we articulated our vision.

Step 0 - Foundations.

The STARK software stack (Sequencer, Prover & Verifier) has been live on Ethereum Mainnet since June 2020. It powers dYdX, Sorare, Immutable, and DeversiFi

Read more

Step 1 - Planets: Single-App Rollups

Write and prove any business logic using StarkNet Contracts

Read more

Step 2 - Constellations: Multi-App Rollups

Multiple StarkNet Contracts with a single composable state

Read more

Step 3 - Universe: A Decentralized Rollup

Fully decentralizing StarkNet

Read more

Partners

Foundations

StarkNet’s foundations have been battle-tested in production.

Cairo

StarkNet Contracts and the StarkNet OS itself are written in Cairo, our programming language for STARK-proving general computation. Cairo makes it easier and faster to develop, review and maintain code. Cairo has been in production on Ethereum Mainnet since June 2020.

Prover

The STARK Prover powers the StarkEx scalability engine and has settled over 40M txs and over $150B worth of trades on Ethereum Mainnet.

Verifier

STARK Verifiers have been deployed on Ethereum Mainnet since 2019. The Cairo Verifier, which can verify the proof of any Cairo program (including StarkNet, and all StarkEx deployments), has been deployed on Mainnet since July 2020.

Publications

StarkNet Alpha 1

Article StarkNet Alpha 1

Just weeks after StarkNet Alpha goes live, we introduce two news features and share the news in this June 2021 post. It’s about the addition of L1<>L2 interaction and on-chain data-availability.

FAQs

What will decentralization on StarkNet look like?

Where can I see StarkNet’s transactions?

Do I have to write my contract in Cairo to deploy on StarkNet?

Does StarkNet support EVM?

I want to write my own contract on StarkNet. Where do I start? Are there any available toolkits?

What will happen to StarkEx dApps? Will they have to migrate to StarkNet?