Abstract: The proposal is made by a team of researchers from George Mason University and Boston University. Their offer is to analyze small-anonymity-set approaches and develop formal definitions for them, by using differential privacy techniques. Once the formal definitions are formulated, they plan to propose a new, provably secure construction for an anonymous cryptocurrency.
The Zcash Foundation would like to support development in small-set privacy techniques as they are popular among users, and protecting user privacy is the Foundation’s guiding star. Formal definitions and formally secure protocols, unlike the ad hoc approaches used by the industry right now, can get solid privacy guarantees against any adversarial strategy (if assumptions made about adversarial capabilities and environment are reasonable and practically achievable).
With that in mind, and also considering clearly written proposal text with well-defined milestones and deliverables, we recommend funding this proposal.
Pioneer: George Mason University and Boston University researchers
Capital: $25,000 grant by Zcash Foundation in Fall of 2018