Peter Todd on Nostr: 4KiB would be a perfectly good upper limit. Merkle trees are used so the proof size ...4KiB would be a perfectly good upper limit. Merkle trees are used so the proof size scales nicely.