Adds a VerifyAuditProof method to CTLogVerifier

net/cert/merkle_audit_proof.h

Index: net/cert/merkle_audit_proof.h
diff --git a/net/cert/merkle_audit_proof.h b/net/cert/merkle_audit_proof.h
index b214891ee145ee74218f488d8d21e1965fd5c7dd..538bad2b38727ee6fb5bac9dfa768b1b15849391 100644
--- a/net/cert/merkle_audit_proof.h
+++ b/net/cert/merkle_audit_proof.h
@@ -24,16 +24,20 @@ NET_EXPORT uint64_t CalculateAuditPathLength(uint64_t leaf_index,
 
 // Audit proof for a Merkle tree leaf, as defined in section 2.1.1. of RFC6962.
 struct NET_EXPORT MerkleAuditProof {
   MerkleAuditProof();
   MerkleAuditProof(uint64_t leaf_index,
+                   uint64_t tree_size,
                    const std::vector<std::string>& audit_path);
   ~MerkleAuditProof();
 
   // Index of the tree leaf in the log.
   uint64_t leaf_index = 0;
 
+  // Number of leaves in the log's tree.

[Eran Messeri, 2016/10/23 16:18:06]

nit: Be more explicit and relate that to the proof, so it's clear the size here
must match the size of the tree specified when the proof nodes were fetched.

[Rob Percival, 2016/11/07 09:39:49]

Done.

+  uint64_t tree_size = 0;

[Eran Messeri, 2016/10/23 16:18:06]

Nit: Make tree_size const.

[Rob Percival, 2016/11/07 09:39:49]

Why?

+
   // Audit path nodes.
   std::vector<std::string> nodes;
 };
 
 }  // namespace ct