How to use ZKP to prove set membership without exposing the set or the member
Walther WSR-16 mechanical calculator. The row of digit-wheels in the carriage (at the front), is the AccumulatorI present a simple example with a prover and a verifier who do not know each other in advance and only share data in the form of a commitment to a set. The source…