Fuzz ConsistencyProof function against reference implementation

Add remaining fuzz tests to ClusterFuzzLite

.clusterfuzzlite/build.sh

@@ -4,3 +4,8 @@ go install github.com/AdamKorcz/go-118-fuzz-build@latest
 go get github.com/AdamKorcz/go-118-fuzz-build/utils
 # necessary to list each fuzz test explicitly
 compile_native_go_fuzzer github.com/transparency-dev/merkle/compact FuzzRangeNodes FuzzRangeNodes
+compile_native_go_fuzzer github.com/transparency-dev/merkle/testonly FuzzConsistencyProof FuzzConsistencyProof
+compile_native_go_fuzzer github.com/transparency-dev/merkle/testonly FuzzInclusionProof FuzzInclusionProof
+compile_native_go_fuzzer github.com/transparency-dev/merkle/testonly FuzzHashAtAgainstReferenceImplementation FuzzHashAtAgainstReferenceImplementation
+compile_native_go_fuzzer github.com/transparency-dev/merkle/testonly FuzzInclusionProofAgainstReferenceImplementation FuzzInclusionProofAgainstReferenceImplementation
+compile_native_go_fuzzer github.com/transparency-dev/merkle/testonly FuzzConsistencyProofAgainstReferenceImplementation FuzzConsistencyProofAgainstReferenceImplementation

testonly/tree_fuzz_test.go

@@ -108,3 +108,29 @@ func FuzzInclusionProofAgainstReferenceImplementation(f *testing.F) {
 		}
 	})
 }
+
+func FuzzConsistencyProofAgainstReferenceImplementation(f *testing.F) {
+	for size := 0; size <= 8; size++ {
+		for end := 0; end <= size; end++ {
+			for begin := 0; begin <= end; begin++ {
+				f.Add(uint64(size), uint64(begin), uint64(end))
+			}
+		}
+	}
+	f.Fuzz(func(t *testing.T, size, begin, end uint64) {
+		t.Logf("size=%d, begin=%d, end=%d", size, begin, end)
+		if begin > end || end > size {
+			return
+		}
+		entries := genEntries(size)
+		tree := newTree(entries)
+		got, err := tree.ConsistencyProof(begin, end)
+		if err != nil {
+			t.Errorf("ConsistencyProof: %v", err)
+		}
+		want := refConsistencyProof(entries[:end], end, begin, tree.hasher, true)
+		if diff := cmp.Diff(got, want, cmpopts.EquateEmpty()); diff != "" {
+			t.Errorf("ConsistencyProof: diff (-got +want)\n%s", diff)
+		}
+	})
+}