L2 design that uses validity proofs for state transitions while storing data off chain, improving throughput at the cost of data availability trust assumptions.