L2 scaling that posts compressed state and validity proofs to L1. Offers strong security with fast finality once the proof is verified on-chain.