Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

RSA non membership accumulator failed on test case i made #9

Open
jacoby149-pt opened this issue Aug 23, 2022 · 1 comment
Open

RSA non membership accumulator failed on test case i made #9

jacoby149-pt opened this issue Aug 23, 2022 · 1 comment

Comments

@jacoby149-pt
Copy link

No description provided.

@jacoby149-pt jacoby149-pt changed the title nhiedcutbhtfejdlbnltlhvl mistakenly added issue Aug 24, 2022
@jacoby149-pt jacoby149-pt closed this as not planned Won't fix, can't repro, duplicate, stale Aug 24, 2022
@jacoby149-pt jacoby149-pt reopened this Aug 25, 2022
@jacoby149-pt
Copy link
Author

jacoby149-pt commented Aug 25, 2022

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.

@jacoby149-pt jacoby149-pt changed the title mistakenly added issue RSA non accumulator failed on test case i made Aug 31, 2022
@jacoby149-pt jacoby149-pt changed the title RSA non accumulator failed on test case i made RSA non membership accumulator failed on test case i made Aug 31, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant