Synonyms
hemera/roadmap/batch-proofs
batch inclusion proofs โ deduplicated multi-leaf verification prove multiple leaves in a single proof. siblings shared across individual proofs are emitted once. proof size scales with the number of unique subtrees, not the number of leaves. motivation verifying k leaves individually requires kโฆ