How does Starknet work?

Starknet, a Layer 2 solution on Ethereum, operates using zero-knowledge proofs for scalability. It enables infinite computation through STARK-based validity proofs, maintaining Ethereum's composability and security. Starknet utilizes the Cairo programming language and features a unique smart contract model with native account abstraction, separating business logic from state data for efficiency.