Lightning (L2) scales transactions really well, but not users. Every self-custodial user of lightning needs his own channel(s). The idea behind virtual addresses under L1 addresses is to scale users too. Being able to prove virtual address balances with a BitVM rollup will allow a single transaction on L1 to represent a thousand transactions on L1.5, including channel opens/closes between L1.5 addresses.