你听说过笛卡尔梅克尔树（CMT）吗？它是第一个具有 O(log n) 复杂度的梅克尔树，仅使用 n 存储（从 2n 降低），因为所有节点，而不仅仅是叶子，存储有用的信息。CMT 是确定性的，特别适合链上和 ZK 应用。