Merkle Sum Tree Inclusion