StarkNet is a permissionless distributed ZK-Rollup; StarkNet operates as an L2 network on Ethereum, allowing unlimited extension of any dApp computation without compromising Ethereum's composability and security. StarkNet supports extensions while maintaining the security of L1 Ethereum by generating STARK proofs off-chain and verifying those proofs on-chain. On StarkNet, developers can easily deploy any business logic using StarkNet Contracts.