Module proof_map
mrklt
Lower level interface that allows creating proofs without needing to recompute hashes.