A method for verifying particular transactions were included in a block without downloading the entire block. The method is used by some lightweight Bitcoin clients like Electrum.