-
verify
verify algorithm
tree sizes