LeanIMT+: Efficient Merkle Tree for Membership and Non-Membership ProofsVivian PlasenciaLeanIMT+ 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 proofs, lower ZK costs, and a practical solution for credential revocation and other applications requiring proof of absence.
