Slyšeli jste o kartézském Merkleově stromu (CMT)? Je to první Merkleův strom se složitostí O(log n), který využívá pouze n úložiště (oproti 2n), protože všechny uzly, nejen listy, ukládají užitečné informace. CMT je deterministický a zvláště vhodný pro on-chain a ZK aplikace.
Tip pro soliditu: když se vám 'opcode(0x20, x)' zdá lepší než 'opcode(x, 0x20)', získali jste "stack machine compiler sense".
Někdy to Solidity optimalizuje, jindy ne.