MPT-path proofs can be aggregated together, since they are the same circuit. https://research.protocol.ai/blog/2021/snarkpack-how-to-aggregate-snarks-efficiently/