Starknet

StarkNet is a decentralized Validity-Rollup, also known as a ZK-Rollup, that operates as a Layer 2 (L2) network on top of the Ethereum blockchain. It enables dApps (decentralized applications) to achieve unlimited scalability for their computations without compromising Ethereum's composability and security. This is made possible through StarkNet's reliance on the STARK (Scalable Transparent Argument of Knowledge) cryptographic proof system, which is considered one of the safest and most scalable cryptographic proof systems available. The StarkNet contracts and the StarkNet operating system are written in the Cairo programming language, allowing for the deployment and scaling of a wide range of use cases, regardless of the underlying business logic. By leveraging the power of ZK-Rollups, StarkNet is able to offload computationally intensive tasks from the Ethereum mainnet, while still inheriting Ethereum's security guarantees and maintaining full composability with the Ethereum ecosystem.