It uses induction proofs on L1 to achieve the speed and scaling of the account model on a more traditional UTXO chain. I guess the ledger is a type of DAG but the blocks are processed linearly, not in parallel.