Proof of Reserves from Polynomial Commitment

Given that inherently you introduce the loop to solve the performance issue, do you think that lazy loading as introduced on the forum can potentially improve the solution even further?