A subset of a Merkel Tree that can be send to a party who knows nothing about the tree other than its correct root, and prove to them that a node (data) is part of the tree.
See Merkel Tree for an example.
This technology is extensively used in Light Nodes and Bridges and Cross Chain Messaging.