Zero Knowledge Proofs allow proving that you are a part of a certain group without revealing who exactly. This can allow credible whistleblowing. For example, if some ML company issues a list of it’s employees linked to ethereum wallets (or any other cryptographic key pair of choice), then any of it’s employees would have an option to whistleblow on unsafe practices, while being 100% sure it’s impossible to know who made this post.
This seem awesome to me and I wonder if anyone else shares my fascination and think this could be useful
A couple people, including me, do share your interest. See ring signatures for a mechanism.
I’m not working on this. I know someone who might be. If you’re interested in working on cryptographic-mechanisms-for-whistleblowing or you have nonobvious ideas, let me know and I’ll let my friend know.
sismo.io has an opensource implementation based on zero knowledge proofs and ethereum wallets. I think ethereum wallets are a more convenient asymmetric cryptography implementation then e.g. pgp, hence it would probably be easier to get people to use them.
I have an interested-user-level knowledge of internals, but I’d be very keen to dive deep in case it could be useful.
Do you know of a group that is actively interested in such a system? I doubt it’s possible to convince people to do it otherwise, since key management remains painful if done safely.
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.
Zero Knowledge Proofs allow proving that you are a part of a certain group without revealing who exactly. This can allow credible whistleblowing. For example, if some ML company issues a list of it’s employees linked to ethereum wallets (or any other cryptographic key pair of choice), then any of it’s employees would have an option to whistleblow on unsafe practices, while being 100% sure it’s impossible to know who made this post.
This seem awesome to me and I wonder if anyone else shares my fascination and think this could be useful
A couple people, including me, do share your interest. See ring signatures for a mechanism.
I’m not working on this. I know someone who might be. If you’re interested in working on cryptographic-mechanisms-for-whistleblowing or you have nonobvious ideas, let me know and I’ll let my friend know.
sismo.io has an opensource implementation based on zero knowledge proofs and ethereum wallets. I think ethereum wallets are a more convenient asymmetric cryptography implementation then e.g. pgp, hence it would probably be easier to get people to use them.
I have an interested-user-level knowledge of internals, but I’d be very keen to dive deep in case it could be useful.
Do you know of a group that is actively interested in such a system? I doubt it’s possible to convince people to do it otherwise, since key management remains painful if done safely.
Thanks!
No.
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?