Imports of package proof

PathSynopsis
bytesPackage bytes implements functions for the manipulation of byte slices.
errorsPackage errors implements functions to manipulate errors.
fmtPackage fmt implements formatted I/O with functions analogous to C's printf and scanf.
github.com/transparency-dev/merklePackage merkle provides Merkle tree interfaces and implementation.
github.com/transparency-dev/merkle/compactPackage compact provides compact Merkle tree data structures.
math/bitsPackage bits implements bit counting and manipulation functions for the predeclared unsigned integer types.