https://github.com/google/trillian/blob/master/docs/papers/VerifiableDataStructures.pdf Merkle Treeを使ったappend-onlyなlog