StarkNet is a permissionless decentralized validity-rollup (also known as a zk-rollup).
It operates as an L2 network on top of Ethereum, allowing any decentralized application to achieve unlimited scale for its computations using the cryptographic proof system - STARK.
The StarkNet contracts and the StarkNet OS are written in Cairo, allowing any use case to be deployed and scaled, regardless of the business logic.