Scalability and Integrity
Scale your application with lower transaction costs, backed by STARK proofs of correct execution.
Build ambitious applications on Starknet, with high throughput, low transaction costs and the freedom of a permissionless network.
Scale your application with lower transaction costs, backed by STARK proofs of correct execution.
Build in Cairo. Native account abstraction lets you design account features such as custom signing rules and recovery.
Build on what already works. Combine existing smart contracts to create new applications.
Starknet’s underlying technologies have been battle-tested in production.
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.
Stwo proves Starknet transactions within SHARP, which combines proofs to reduce verification costs. Stone produces the final proof checked on Ethereum.
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.
The staking documentation explains current validator responsibilities and the path to decentralized block production.
There are several block explorers that provide this data. You can find them in this link.
Starknet is powered by Cairo and as such is not EVM compatible. The reason for choosing Cairo to power Starknet is the fact that Cairo was created to gain maximum efficiency for STARK-based scaling.
You can read more about the topic here.
A good place to start is the Starknet Docs, which leads the developer step by step through Starknet development.
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.