Paper 2024/1213

Dynamic Bounded-Collusion Streaming Functional Encryption from Minimal Assumptions

Kaartik Bhushan, CNRS, IRIF, Université Paris Cité
Alexis Korb, UCLA, Los Angeles, USA
Amit Sahai, UCLA, Los Angeles, USA
Abstract

Streaming functional encryption (sFE), recently introduced by Guan, Korb, and Sahai [Crypto 2023], is an extension of functional encryption (FE) tailored for iterative computation on dynamic data streams. Unlike in regular FE, in an sFE scheme, users can encrypt and compute on the data as soon as it becomes available and in time proportional to just the size of the newly arrived data. As sFE implies regular FE, all known constructions of sFE and FE for P/poly require strong cryptographic assumptions which are powerful enough to build indistinguishability obfuscation (iO). In contrast, dynamic bounded-collusion FE, in which the adversary is restricted to making at most Q function queries for some Q determined during encryption (but not fixed at time of setup), can be built from the minimal assumptions of identity-based encryption (for public-key FE) [Agrawal, Maitra, Vempati and Yamada, Crypto 2021; Garg, Goyal, Lu and Waters, Eurocrypt 2022] and one-way functions (for secret-key FE), as secret-key IBE is implied by one-way functions (folklore). In this paper, we introduce and build dynamic bounded-collusion streaming FE from the same minimal assumptions of identity-based encryption (for public-key sFE) and one-way functions (for secret-key sFE). Similarly to the original sFE paper of Guan, Korb, and Sahai, our scheme satisfies semi-adaptive-function-selective security which is similar to standard adaptive indistinguishability-based security except that we require all functions to be queried before any of the challenge messages. Along the way, our work also replaces a key ingredient (called OnesFE) from the original work of Guan, Korb, and Sahai with a much simpler construction based on garbled circuits. In contrast, the original approach relied on the powerful object of compact FE (which is known to imply iO) to construct this primitive.

Metadata
Available format(s)
PDF
Category
Public-key cryptography
Publication info
A major revision of an IACR publication in CRYPTO 2025
Keywords
streaming functional encryptiongarbled circuitssecret-key encryptionbounded-collusion settingfunction-selective
Contact author(s)
kbhushan @ irif fr
alexiskorb @ cs ucla edu
sahai @ cs ucla edu
History
2025-07-06: revised
2024-07-29: received
See all versions
Short URL
https://ia.cr/2024/1213
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2024/1213,
      author = {Kaartik Bhushan and Alexis Korb and Amit Sahai},
      title = {Dynamic Bounded-Collusion Streaming Functional Encryption from Minimal Assumptions},
      howpublished = {Cryptology {ePrint} Archive, Paper 2024/1213},
      year = {2024},
      url = {https://eprint.iacr.org/2024/1213}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.