LeanIMT+ is a new Merkle tree construction that enables efficient membership and non-membership proofs without the overhead of Sparse Merkle Trees. By combining LeanIMT's dynamic depth with the linked-leaf approach of Indexed Merkle Trees, it delivers faster…