public void testZKSMSingleMemberSetFalse() throws ZKSetMembershipException, BigIntegerClassNotValid {
		BigInteger[] theSet = {new BigInteger("0")};
		EncryptedInteger c = new EncryptedInteger(BigInteger.ONE, pub);
		BigInteger r = c.set(BigInteger.ONE);
		int msgIndex = 0;
		for (int i=0; i<10; i++) {
			ZKSetMembershipProver prover = new ZKSetMembershipProver(pub, theSet, msgIndex, c);
			BigInteger[] uVals = prover.genCommitments();
			ZKSetMembershipVerifier verifier = new ZKSetMembershipVerifier(pub, c, uVals, theSet);
			BigInteger e = verifier.genChallenge(new BigInteger("128"));
			prover.computeResponse(e, r);
			BigInteger[] eVals = prover.getEs();
			BigInteger[] vVals = prover.getVs();
			assertFalse(verifier.checkResponse(eVals, vVals)); // TODO: This could actually be true with low probability
		}
	}
public void testZKSMSingleMemberSetFalse() throws ZKSetMembershipException, BigIntegerClassNotValid {
		BigInteger[] theSet = {new BigInteger("0")};
		EncryptedInteger c = new EncryptedInteger(BigInteger.ONE, pub);
		BigInteger r = c.set(BigInteger.ONE);
		int msgIndex = 0;
		for (int i=0; i<10; i++) {
			ZKSetMembershipProver prover = new ZKSetMembershipProver(pub, theSet, msgIndex, c);
			BigInteger[] uVals = prover.genCommitments();
			ZKSetMembershipVerifier verifier = new ZKSetMembershipVerifier(pub, c, uVals, theSet);
			BigInteger e = verifier.genChallenge(new BigInteger("128"));
			prover.computeResponse(e, r);
			BigInteger[] eVals = prover.getEs();
			BigInteger[] vVals = prover.getVs();
			assertFalse(verifier.checkResponse(eVals, vVals));
		}
	}
public void testzksmsinglemembersetfalse() throws zksetmembershipexception, bigintegerclassnotvalid { biginteger[] theset = {new biginteger("0")}; encryptedinteger c = new encryptedinteger(biginteger.one, pub); biginteger r = c.set(biginteger.one); int msgindex = 0; for (int i=0; i<10; i++) { zksetmembershipprover prover = new zksetmembershipprover(pub, theset, msgindex, c); biginteger[] uvals = prover.gencommitments(); zksetmembershipverifier verifier = new zksetmembershipverifier(pub, c, uvals, theset); biginteger e = verifier.genchallenge(new biginteger("128")); prover.computeresponse(e, r); biginteger[] evals = prover.getes(); biginteger[] vvals = prover.getvs(); assertfalse(verifier.checkresponse(evals, vvals)); } }