Calculate and verify Merkle tree digests
