Scalability and Integrity
Starknet operates as a Layer 2, providing scale and Etherum-level security by producing STARK proofs off-chain, and then those proofs on-chain.
What is Starknet?
Starknet is a decentralized Validity-Rollup (often referred to as ZK-Rollup). It operates as a Layer 2 network over Ethereum, enabling any app to achieve massive scale without compromising Ethereum's composability and security.
General Purpose
Developers can deploy any business logic on Starknet, benefiting from the advantages of Cairo, Account Abstraction, and other features.
Composability
Starknet provides Ethereum-level composability – facilitating easy development, innovation, and creativity.
Starknet Milestones
Availability
Smart contracts support general computation
Smart contracts can interact with each other, allowing composability
L1<>L2 Communication
Full L1 security through on-chain data (Rollup)
Solidity to Cairo Compiler
Starknet Full Node
StarkGate Alpha: Starknet Bridge
Establishment of Starknet Foundation
Starknet Token on Mainnet
Range of Data Availability Solutions
Coming Soon
Permissionless Sequencer and Prover
Coming Soon
Starknet First Vote
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 400M txs and over $900B 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.
Starknet Content
FAQs
What will decentralization on Starknet look like?
The decentralization of the network has two aspects:
1. The permissionless layer of Sequencers and Provers ensures that the network will be censorship-resistant.
2. The usage of STARK-proofs ensures that everyone will be able to verify the full Starknet chain with low hardware requirements, regardless of the network’s throughput, and without trusting any external entity.
Where can I see Starknet’s transactions?
Do I have to write my contract in Cairo to deploy on Starknet?
No.
While Cairo is the native language for a Starknet contract that fully optimizes the scaling potential of Starknet, teams are developing transpilers to Cairo from Solidity and other programming languages. These transpilers will allow for a quick deployment on Starknet.
Does Starknet support EVM?
The Warp team at Nethermind is developing a Solidity to Cairo transpiler: Warp. Starknet does not natively support EVM.
I want to write my own contract on Starknet. Where do I start? Are there any available toolkits?
A good place to start is the Hello Starknet tutorial, which begins by walking the developer through writing and deploying a simple contract.
The Starknet Website page will provide you with tools and education created by the Starknet-Cairo community.
For more support, join the Starknet Discord server.
What will happen to StarkEx dApps? Will they have to migrate to Starknet?
Once Starknet is ready, StarkEx apps may migrate to StarkNet if they so choose.