add verifyAggregatedHashes

2 files changed, 23 insertions, 0 deletions

diff --git a/include/bls/bls.h b/include/bls/bls.h
index b2b8604..71e3d02 100644
--- a/include/bls/bls.h
+++ b/include/bls/bls.h
@@ -124,6 +124,11 @@ BLS_DLL_API int blsPublicKeyIsValidOrder(const blsPublicKey *pub);
 #ifndef BLS_MINIMUM_API
 
 /*
+	set h to a point of G1
+	return 0 if success else -1
+*/
+BLS_DLL_API int blsG1SetHash(mclBnG1 *g1, const void *h, mclSize size);
+/*
 	sign the hash
 	use the low (bitSize of r) - 1 bit of h
 	return 0 if success else -1
@@ -132,6 +137,12 @@ BLS_DLL_API int blsPublicKeyIsValidOrder(const blsPublicKey *pub);
 BLS_DLL_API int blsSignHash(blsSignature *sig, const blsSecretKey *sec, const void *h, mclSize size);
 // return 1 if valid
 BLS_DLL_API int blsVerifyHash(const blsSignature *sig, const blsPublicKey *pub, const void *h, mclSize size);
+/*
+	verify aggSig with pubVec[0, n) and g1Vec[0, n)
+	e(aggSig, Q) = prod_i e(g1Vec[i], pubVec[i])
+	return 1 if valid
+*/
+BLS_DLL_API int blsVerifyAggregation(const blsSignature *aggSig, const blsPublicKey *pubVec, const mclBnG1 *g1Vec, mclSize n);
 
 // sub
 BLS_DLL_API void blsSecretKeySub(blsSecretKey *sec, const blsSecretKey *rhs);
diff --git a/include/bls/bls.hpp b/include/bls/bls.hpp
index 3dbacd7..868e574 100644
--- a/include/bls/bls.hpp
+++ b/include/bls/bls.hpp
@@ -419,6 +419,18 @@ public:
 	{
 		return verifyHash(pub, h.c_str(), h.size());
 	}
+	bool verifyAggregation(const PublicKey *pubVec, const mclBnG1 *g1Vec, size_t n) const
+	{
+		return blsVerifyAggregation(&self_, &pubVec[0].self_, g1Vec, n) == 1;
+	}
+	bool verifyAggregatedHashes(const PublicKey *pubVec, const void *hVec, size_t sizeofHash, size_t n) const
+	{
+		std::vector<mclBnG1> g1Vec(n);
+		for (size_t i = 0; i < n; i++) {
+			if (blsG1SetHash(&g1Vec[i], (const char*)hVec + sizeofHash * i, sizeofHash) != 0) throw std::runtime_error("blsG1SetHash");
+		}
+		return verifyAggregation(pubVec, g1Vec.data(), n);
+	}
 	/*
 		verify self(pop) with pub
 	*/