Effective Anonymous Messaging: the Role of Altruism
Marcell Frank, Balazs Pejo, Gergely Biczok
TL;DR
The paper investigates the viability of Fuzzy Message Detection (FMD) for anonymous messaging in the presence of altruistic users, using empirical game theory on real network data. It extends the selfish FMD model with local and global altruism, and analyzes equilibria via best-response dynamics, showing that a small number of altruists can yield non-trivial equilibria and move the system closer to social optimum. The authors demonstrate that betweenness centrality can guide mechanism design to approach the social optimum, while highlighting PoA being high and PoS lower, indicating efficiency losses under selfish behavior. Practical deployment considerations and limitations are discussed, including dynamic networks and secure computation for central control, with future work suggested on bounded rationality and broader protocol generalization.
Abstract
Anonymous messaging and payments have gained momentum recently due to their impact on individuals, society, and the digital landscape. Fuzzy Message Detection (FMD) is a privacy-preserving protocol where an untrusted server performs message anonymously filtering for its clients. To prevent the server from linking the sender and the receiver, the latter can set how much cover traffic they should download along with genuine messages. This could cause unwanted messages to appear on the user's end, thereby creating a need to balance one's bandwidth cost with the desired level of unlinkability. Previous work showed that FMD is not viable with selfish users. In this paper, we model and analyze FMD using the tools of empirical game theory and show that the system needs at least a few altruistic users to operate properly. Utilizing real-world communication datasets, we characterize the emerging equilibria, quantify the impact of different types and levels of altruism, and assess the efficiency of potential outcomes versus socially optimal allocations. Moreover, taking a mechanism design approach, we show how the betweenness centrality (BC) measure can be utilized to achieve the social optimum.
