public static void AssertCorrectVerifierParameters(
VerifierSetMembershipParameters verifier,
CryptoParameters expectedCryptoParameters,
GroupElement expectedClosedCommitment,
FieldZqElement[] expectedMemberSet)
{
StaticHelperClass.AssertCorrectCryptoParameters(expectedCryptoParameters, verifier);
Assert.AreEqual(expectedClosedCommitment, verifier.ClosedCommitment, "wrong closed commitment");
if (expectedMemberSet == null)
{
Assert.IsNull(verifier.MemberSet, "Memberset should be null.");
}
else
{
Assert.AreEqual(expectedMemberSet.Length, verifier.MemberSet.Length, "wrong memberset length.");
for (int i = 0; i < expectedMemberSet.Length; ++i)
{
Assert.AreEqual(expectedMemberSet[i], verifier.MemberSet[i], "wrong element in memberset.");
}
}
}
