The Bitcoin p2p protocol has used compact merkle multiproofs since ~2012: https://github.com/bitcoin/bitcoin/commit/4bedfa9223d38bbc32...
(Other bitcoin things/proposals have had efficient multiproof encodings for non-complete tree too. Also signaling/index free encodings for non-multiproof merkle multisets.)