I would like to at some point catalogue the varying levels of accuracy and efficiency for proving set membership and estimating membership/equality.
Proving Set Membership
- vector commitments and accumulators (see
subatomic repo)
- merkle trees
Estimating Membership or Set Equality
I would like to at some point catalogue the varying levels of accuracy and efficiency for proving set membership and estimating membership/equality.
Proving Set Membership
subatomicrepo)Estimating Membership or Set Equality