Add nullifying accumulator membership proof
bhgomes opened this issue · comments
The following circuit needs to be built
public inputs: n, r
circuit:
- n = H(rk, d)
- is_valid_membership_proof(d, r, proof)
Manta-Network / manta-rs
Rust Crates for the Manta Network Ecosystem