Você já ouviu falar de uma árvore cartesiana de Merkle (CMT)? É a primeira árvore de Merkle com complexidade O(log n) que usa apenas n armazenamento (abaixo de 2n), pois todos os nós, não apenas folhas, armazenam informações úteis. O CMT é determinístico e particularmente bom para aplicativos on-chain e ZK.