Hast du von einem kartesischen Merkle-Baum (CMT) gehört? Es ist der erste Merkle-Baum mit O(log n) Komplexität, der nur n Speicher benötigt (statt 2n), da alle Knoten, nicht nur die Blätter, nützliche Informationen speichern. CMT ist deterministisch und besonders gut für On-Chain- und ZK-Anwendungen geeignet.