Introduction to Starknet

What is Starknet?

Starknet is a validity (or ZK) rollup operated as a Layer 2 (L2) network over Ethereum. It allows computation to be executed provably off-chain, unlocking mass scalability for on-chain applications without compromising Ethereum's security guarantees.

Why build on Starknet?

AMMs enable trustless, peer-to-peer matching of traders and liquidity providers. However, computation on the blockchain is very expensive. This cost increases with the introduction of strategies on Sphinx, which often have complex internal logic and require frequent updates.

Validity rollups and in particular STARKs provide an elegant solution to this problem by providing a compute-cheap execution environment for on-chain execution. Because computation can be "rolled up" into succinct proofs that are logarithmic in size to their original execution, complex programs can now be run entirely on-chain with minimal gas overhead.

How do I get started with Starknet (for users)?

To interact with Starknet, users must install an Argent or Braavos wallet and bridge over funds from Ethereum. This is because Starknet runs on its own unique VM and is not compatible with wallets like Metamask that are designed for the Ethereum Virtual Machine (EVM).

Using a Starknet-native wallet has both its benefits and disadvantages. Although it is less convenient to install a new wallet, these wallets are able to take advantage of unique features offered by Starknet, for example account abstraction to provide better transaction verification and recovery of lost keys.

Starknet is home to a rich and growing ecosystem of applications. You can find a current database of the Starknet ecosystem of apps can be found here.

How do I get started with Starknet (for developers)?

To learn more about the technical architecture of Starknet and setup your developer environment, check out the official developer resources and read the Starknet Book.

To start writing and deploying smart contracts on Starknet, refer to the Cairo Book.

Cairo is a Turing-complete language for writing provable programs, inspired by Rust, and is the official language for writing smart contracts on Starknet.