fun authenticatedQuery(k: K): Pair<V?, MutableList<LinkedList<String>>> (source)
Algorithm for performing an authenticated query on a DB-tree T.
This algorithm is the main procedure of an Authenticated DB-tree, but could be employed also when f is not an hashing function. In that case this procedures just returns the sequence of steps to perform to obtain the root aggregate value starting from the queried value.
Return
the queried value and the corresponding proof.