I made a non membership accumulator and added 5, 7, 11, and 13 instead of the 3,7,11,13 in the non membership proof example.
let mut acc = Accumulator::new(key.modulus()); acc += 5u64; acc += 7u64; acc += 11u64; acc += 13u64;
then, i made the proof and checked if 17 was in the set, and it couldn't prove it was a non member
` let witness = NonMembershipWitness::new(&acc, &member).unwrap();
let nonce = b"proof_test";
let proof = NonMembershipProof::new(&witness, &acc, nonce);
assert!(proof.verify(&acc, nonce));
`
the assertion failed even though the proof should have been able to be generated.
I made a non membership accumulator and added 5, 7, 11, and 13 instead of the 3,7,11,13 in the non membership proof example.
let mut acc = Accumulator::new(key.modulus()); acc += 5u64; acc += 7u64; acc += 11u64; acc += 13u64;then, i made the proof and checked if 17 was in the set, and it couldn't prove it was a non member` let witness = NonMembershipWitness::new(&acc, &member).unwrap(); let nonce = b"proof_test";
`
the assertion failed even though the proof should have been able to be generated.