Computing in social networks

• Authors: Andrei Giurgiu;Rachid Guerraoui;Kévin Huguenin;Anne-Marie Kermarrec
• Venue: Information and Computation
• Year: 2014

This paper defines the problem of Scalable Secure computing in a Social network: we call it the S^3 problem. In short, nodes, directly reflecting on associated users, need to compute a symmetric function f:V^n-U of their inputs in a set of constant size, in a scalable and secure way. Scalability means that the spatial, computational and message complexity of the distributed computation does not grow too fast with the number of nodes n. Security encompasses (1) accuracy and (2) privacy: accuracy holds when the distance from the output to the ideal result is negligible with respect to the maximum distance between any two possible results; privacy is characterized by how the information disclosed by the computation helps faulty nodes infer inputs of non-faulty nodes, which we capture in our context by the very notion of probabilistic anonymity. We first prove that under mild regularity conditions the problem of computing an arbitrary function can be reduced to that of component-wise addition of vectors of integers. More specifically, if the function f is Lipschitz-continuous and the maximum distance between two possible results is @W(n), any protocol that S^3-computes component-wise addition of vectors of integers S^3-computes f. We then present AG-S3, a protocol that S^3-computes a class of aggregation functions, that is that can be expressed as a commutative monoid operation on U: f(x"1,...,x"n)=x"1@?...@?x"n, assuming the number of faulty participants is at most n/log^2n. We further prove that AG-S3 S^3-computes component-wise addition of vectors of integers thus extending its application spectrum to regular functions. Key to our protocol is a dedicated overlay structure that enables secret sharing and distributed verifications which leverage the social aspect of the network: nodes care about their reputation and do not want to be tagged as misbehaving.