add PartialTree
generate partial trees
generate proofs everyday