manta-rs icon indicating copy to clipboard operation
manta-rs copied to clipboard
verified publisher icon Manta-Network

Add nullifying accumulator membership proof

Open bhgomes opened this issue 3 years ago • 0 comments

The following circuit needs to be built

public inputs: n, r
circuit:
  - n = H(rk, d)
  - is_valid_membership_proof(d, r, proof)

bhgomes avatar Aug 30 '22 15:08 bhgomes