+= ability to verifiably ask for a particule leaf of a merkle proof