The gettxoutproof interface in Bitcoin supports verifying multiple transactions in one proof, which can effectively reduce size.
Separate transaction proofs for different transactions within the same block contain a significant amount of identical data. (For example, each transaction proof includes a block header. Batch processing n transactions within the same block could save n-1 block headers.)
A Suggestion for Future Implementation
gettxoutproof
interface in Bitcoin supports verifying multiple transactions in one proof, which can effectively reduce size.