AddKtServer creates a new grpc client to handle connections to the ktURL server and adds it to the global map of clients.

AddVerboseLogsDestination instructs the logger of the gobindclient package to also write all log statements to the provided writer.

GetUser retrieves an entry from the ktURL server and verifies the soundness of the corresponding proofs.

SetTimeout sets the timeout (in milliseconds) used for all rpc network requests.

Vlog is the verbose logger.

LogWriter is a local copy of the io.Writer interface which can be implemented in Java.