Is Pointproofs & compact signatures research being done with L2 smart contracts in mind?

Reading through the Pointproof Paper and Compact Signatures paper produced by the Algorand team members, I am curious if its a conscious effort towards the design of Layer 2 smart contracts?