To reduce user costs, Buterin wants to apply proof aggregation, a method where several transactions share a single onchain proof. This helps maintain privacy without becoming too expensive for regular users.