[Resource Topic] 2024/1499: Multi-Key Fully-Homomorphic Aggregate MAC for Arithmetic Circuits

Welcome to the resource topic for 2024/1499

Title:
Multi-Key Fully-Homomorphic Aggregate MAC for Arithmetic Circuits

Authors: Suvasree Biswas, Arkady Yerukhimovich

Abstract:

Homomorphic message authenticators allow a user to perform computation on previously authenticated data producing a tag \sigma that can be used to verify the authenticity of the computation. We extend this notion to consider a multi-party setting where we wish to produce a tag that allows verifying (possibly different) computations on all party’s data at once. Moreover, the size of this tag should not grow as a function of the number of parties or the complexity of the computations. We construct the first aggregate homomorphic MAC scheme that achieves such aggregation of homomorphic tags. Moreover, the final aggregate tag consists of only a single group element.
Our construction supports aggregation of computations that can be expressed by bounded-depth arithmetic circuits and is secure in the random oracle model based on the hardness of the Computational Co-Diffie-Hellman problem over an asymmetric bilinear map.

ePrint: https://eprint.iacr.org/2024/1499

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 .