This is an unusual use-case in terms of most ZK software, but luckily it’s easier. (most of the difficulty of wrangling predicates/circuits is capturing business logic in a way that’s consistent with traditional compilers, whereas the whistleblower user story would only need very simple data structures that are fixed in time).
I can imagine cases where diffpriv is a bit more to the point than ZKPs, namely with a sufficiently large number of employees you might want to say “the whistleblower was somewhere in this table, and we have a bunch of metadata that ordinarily we’d be able to sleuth over to pinpoint which individual, but we can’t”.
sismo.io has a working opensource implementation that allows proving your inclusion into groups of choice without revealing anything else. (I’m not associated with them to be clear) User knows exactly what he proves and can easily determine the list of people who could prove the same statement. (this is my dilettante understanding)
Probably it can be implemented with a more efficient algorithm, but I’m not sure whether this optimization is worth the time to implement.
This is an unusual use-case in terms of most ZK software, but luckily it’s easier. (most of the difficulty of wrangling predicates/circuits is capturing business logic in a way that’s consistent with traditional compilers, whereas the whistleblower user story would only need very simple data structures that are fixed in time).
I can imagine cases where diffpriv is a bit more to the point than ZKPs, namely with a sufficiently large number of employees you might want to say “the whistleblower was somewhere in this table, and we have a bunch of metadata that ordinarily we’d be able to sleuth over to pinpoint which individual, but we can’t”.
sismo.io has a working opensource implementation that allows proving your inclusion into groups of choice without revealing anything else. (I’m not associated with them to be clear) User knows exactly what he proves and can easily determine the list of people who could prove the same statement. (this is my dilettante understanding)
Probably it can be implemented with a more efficient algorithm, but I’m not sure whether this optimization is worth the time to implement.
Do you know about groups who would be interested?