[Resource Topic] 2018/707: Function Secret Sharing: Improvements and Extensions

Welcome to the resource topic for 2018/707

Function Secret Sharing: Improvements and Extensions

Authors: Elette Boyle, Niv Gilboa, Yuval Ishai


Function Secret Sharing (FSS), introduced by Boyle et al. (Eurocrypt 2015), provides a way for additively secret-sharing a function from a given function family \mathcal F. More concretely, an m-party FSS scheme splits a function f:\{0,1\}^n\to \mathbb G, for some abelian group \mathbb G, into functions f_1,\ldots,f_m, described by keys k_1,\ldots,k_m, such that f=f_1+\ldots+f_m and every strict subset of the keys hides f. A Distributed Point Function (DPF) is a special case where \mathcal F is the family of point functions, namely functions f_{\alpha,\beta} that evaluate to \beta on the input \alpha and to 0 on all other inputs. FSS schemes are useful for applications that involve privately reading from or writing to distributed databases while minimizing the amount of communication. These include different flavors of private information retrieval (PIR), as well as a recent application of DPF for large-scale anonymous messaging. We improve and extend previous results in several ways: - Simplified FSS constructions. We introduce a tensoring operation for FSS which is used to obtain a conceptually simpler derivation of previous constructions and present our new constructions. - Improved 2-party DPF. We reduce the key size of the PRG-based DPF scheme of Boyle et al. roughly by a factor of 4 and optimize its computational cost. The optimized DPF significantly improves the concrete costs of 2-server PIR and related primitives. - FSS for new function families. We present an efficient PRG-based 2-party FSS scheme for the family of decision trees, leaking only the topology of the tree and the internal node labels. We apply this towards FSS for multi-dimensional intervals. We also present a general technique for obtaining more expressive FSS schemes by increasing the number of parties. - Verifiable FSS. We present efficient protocols for verifying that keys (k^*_1,\ldots,k^*_m), obtained from a potentially malicious user, are consistent with some f\in\mathcal F. Such a verification may be critical for applications that involve private writing or voting by many users.

ePrint: https://eprint.iacr.org/2018/707

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .