Starknet is a zk-rollup powered by the Cairo programming language, bringing STARK validity proofs to Ethereum for provably scalable computation. Starknet's native account abstraction and recursive proofs open the door to on-chain games and complex DeFi logic.
