Closed cimbriano closed 11 years ago
A proof is a set of pairs where one of the elements in the pair is on the update path and the other is that node's sibling
Completed
A proof is a set of pairs where one of the elements in the pair is on the update path and the other is that node's sibling