Intro
StarkNet:
STARK-powered L2 ZK-Rollup that supports general-computation over Ethereum.
It is based on the Turing-complete Cairo language.
Developers: Build dapp & deploy them on StarkNet.
Users: Send transactions to StarkNet to be executed, like ETH
Important Bulletpoints
StarkNet transactions will be periodically batched All StarkNet state transitions will be STARK-proven, only valid ones will be accepted on Ethereum (secure and permissionless) Anyone will be able to run their own StarkNet node Step 0 - Coding language “Cairo”
is a Turing-Complete High-Level Language & framework for producing STARK proofs for general computation. This will allow developers to build their own applications using Cairo, implementing whatever business logic they wish. They will send their Cairo code to the GPS to be proven, and then verified on-chain.
Scaling data
Processing of 300K transactions in a single proof on Mainnet
Achieving the world record in Rollup throughput: 3K tps.
In the process, we’ve achieved the world record for Rollup gas efficiency: 315 gas/tx