Starknet is a permissionless ZK Layer 2 on Ethereum that uses STARK proofs and the Cairo VM. It uses a non-EVM execution environment built around the Cairo language.
