ZK proofs allow us to prove a statement such as "the majority of participants has voted to approve the proposal" without revealing any information about any single person. This allows us to recreate services we commonly use but in a strongly privacy-preserving way.

In all spheres of free software, this cryptographic technique has been under-utilized but enlocks untapped design spheres. For free software to innovate, it should explore this realm of strong p2p & anonymous software using modern cryptography.

Our project has created:

• Strong anonymous & p2p chat with no linkability between messages providing plausible deniability.
• Anon & p2p organizations able to manage a treasury.
• Task management and other p2p org software replacing GitHub and other source control systems
• Anonymous payments

This talk is about ZK with a focus on applications.