Minimality check of tree proofs
While a stream Merkle proof that is not fully consumed during the "verify" phase would cause an exception, it is not (yet) the case for tree Merkle proofs.
See:
While a stream Merkle proof that is not fully consumed during the "verify" phase would cause an exception, it is not (yet) the case for tree Merkle proofs.
See: