remaining: it suffices to present only a small range of nodes in a Merkle tree to provide a proof in the validity of a department.
The method could appear really inefficient at the beginning look, as it really should https://unmineable.wordpress.com/