π€ AI Summary
This study addresses secure distributed linearly separable computation in three-layer hierarchical networks under arbitrary heterogeneous data assignments, aiming to preserve both server and relay privacy against collusion attacks. To this end, the authors propose a general coding scheme in which users recover desired linear combinations by receiving masked messages through relays. The approach integrates distributed gradient coding, function decomposition, and hierarchical cooperative processing techniques, with the construction further extended to multi-dimensional task scenarios. The proposed scheme achieves optimal communication rates for single-layer settings. Under specific conditions, it attains two-layer optimality, while maintaining order-optimality within a factor of two in the general case. Furthermore, the framework effectively tolerates user dropouts, ensuring robust performance across diverse network configurations.
π Abstract
This paper studies secure distributed linearly separable computation over a three-layer hierarchical network, where clustered users communicate with a central server through relays. The server aims to recover Kc linear combinations of K intermediate outcomes, where each intermediate outcome is a separable function of one dataset. We consider a more general setting with arbitrary heterogeneous data assignment across users, where''arbitrary''means that the data assignment is given in advance (which can be in any form) and''heterogeneous''means that the users may hold different numbers of datasets. Under this assignment, each user computes the intermediate outcomes of its assigned datasets and sends masked messages to its associated relay. The relays subsequently process and forward the received messages to the server. We impose two security constraints: (i) security against server, requiring the server to learn only the desired task function without gaining any additional information about users'inputs; and (ii) security against relays, ensuring each relay learns nothing about users'inputs. Moreover, the server or any relay may collude with a subset of users. For Kc=1, the underlying computation reduces to distributed gradient coding. We propose a secure scheme tolerating user dropouts and user collusion, achieving the optimal two-layer communication rates in one regime and order-optimal communication rates within a factor of 2 in the other regime. For Kc>1, we extend the proposed construction to multi-dimensional linearly separable tasks under the no-dropout setting.