Você já ouviu falar de uma Árvore Merkle Cartesiana (CMT)? É a primeira árvore Merkle com complexidade O(log n) que usa apenas n de armazenamento (reduzido de 2n), já que todos os nós, não apenas as folhas, armazenam informações úteis. A CMT é determinística e particularmente boa para aplicações on-chain e ZK.