Notes Notes 要点

• Built for credential revocation proofs.
• Combines LeanIMT depth with low-leaf proofs.
• Avoids zero hashes by promoting odd nodes.
• Leaves store value and nextValue.
• Leaf hashing is domain-separated.
• Dynamic depth cuts ZK costs versus deep SMTs.

• LeanIMT+面向可验证凭证撤销，需要证明凭证未被撤销
• 结构结合LeanIMT动态深度和Indexed Merkle Tree的low leaf非成员证明
• 奇数节点直接提升，不使用zero hashes，减少不必要哈希
• 叶子存储value与nextValue，按值形成有序链表
• 叶子哈希使用3输入和TAG_LEAF，与内部节点哈希做域分离
• 2048叶场景下，LeanIMT+避免SMT常见128层固定深度带来的电路成本

• 認証情報の失効証明を主な用途にする。
• LeanIMT の深さと low leaf 証明を組み合わせる。
• 奇数ノードを上げ、zero hash を避ける。
• 葉は value と nextValue を持つ。
• 葉ハッシュは領域分離される。
• 動的な深さで深い SMT より ZK コストを下げる。