Table of Contents
Fetching ...

Optimal Untelegraphable Encryption and Implications for Uncloneable Encryption

Anne Broadbent, Eric Culf, Denis Rochette

TL;DR

This work analyzes untelegraphable encryption ($UTE$) as a restriction of uncloneable encryption ($UE$) by restricting adversaries to classical outputs, and provides an unconditional Haar-measure construction achieving untelegraphable-indistinguishable security. It further extends to multi-copy and collusion-resistant settings, including everlasting security under pseudorandom unitaries, and establishes an asymptotic equivalence between $UTE$ and $UE$ as the number of receivers grows, offering a new pathway toward indistinguishability security for $UE$ in the plain model. The paper additionally derives concrete lower bounds and a minimality framework for Haar-based schemes, strengthening the understanding of security limits and connecting $UTE$ to the broader $UE$ landscape through a limit relationship. Overall, these results advance both the theory and practical prospects of quantum encryption primitives with indistinguishability guarantees, using unitary-design-based constructions and information-theoretic tools to bridge $UTE$ and $UE$.

Abstract

We investigate the notion of untelegraphable encryption (UTE), a quantum encryption primitive that is a special case of uncloneable encryption (UE), where the adversary's capabilities are restricted to producing purely classical information rather than arbitrary quantum states. We present an unconditionally secure construction of UTE that achieves untelegraphable-indistinguishability security, together with natural multi-ciphertext and bounded collusion-resistant extensions, without requiring any additional assumptions. We also extend this to the unbounded case, assuming pseudo-random unitaries, yielding everlasting security. Furthermore, we derive results on UE using approaches from UTE in the following ways: first, we provide new lower bounds on UTE, which give new lower bounds on UE; second, we prove an asymptotic equivalence between UTE and UE in the regime where the number of adversaries in UE grows. These results suggest that UTE may provide a new path toward achieving a central open problem in the area: indistinguishability security for UE in the plain model.

Optimal Untelegraphable Encryption and Implications for Uncloneable Encryption

TL;DR

This work analyzes untelegraphable encryption () as a restriction of uncloneable encryption () by restricting adversaries to classical outputs, and provides an unconditional Haar-measure construction achieving untelegraphable-indistinguishable security. It further extends to multi-copy and collusion-resistant settings, including everlasting security under pseudorandom unitaries, and establishes an asymptotic equivalence between and as the number of receivers grows, offering a new pathway toward indistinguishability security for in the plain model. The paper additionally derives concrete lower bounds and a minimality framework for Haar-based schemes, strengthening the understanding of security limits and connecting to the broader landscape through a limit relationship. Overall, these results advance both the theory and practical prospects of quantum encryption primitives with indistinguishability guarantees, using unitary-design-based constructions and information-theoretic tools to bridge and .

Abstract

We investigate the notion of untelegraphable encryption (UTE), a quantum encryption primitive that is a special case of uncloneable encryption (UE), where the adversary's capabilities are restricted to producing purely classical information rather than arbitrary quantum states. We present an unconditionally secure construction of UTE that achieves untelegraphable-indistinguishability security, together with natural multi-ciphertext and bounded collusion-resistant extensions, without requiring any additional assumptions. We also extend this to the unbounded case, assuming pseudo-random unitaries, yielding everlasting security. Furthermore, we derive results on UE using approaches from UTE in the following ways: first, we provide new lower bounds on UTE, which give new lower bounds on UE; second, we prove an asymptotic equivalence between UTE and UE in the regime where the number of adversaries in UE grows. These results suggest that UTE may provide a new path toward achieving a central open problem in the area: indistinguishability security for UE in the plain model.

Paper Structure

This paper contains 20 sections, 22 theorems, 119 equations, 2 figures.

Key Result

Lemma 1

Let $\texttt{Q}=(M,K,\pi,H,\{\sigma^k_m\})$ be a QECM. If $\texttt{A}=(M_0,B,\{P^k_m\},\Phi)$ is a $1$-to-$1$$N$-message cloning attack where $\Phi$ is an entanglement-breaking channel, then there exists a set $X$, probability distributions $p(\cdot|x,k)$ over $M_0$ for all $x\in X$ and $k\in K$, an Conversely, for any set $X$, subset $M_0\subseteq M$ of size $N$, probability distributions $p(\cdo

Figures (2)

  • Figure 1: Bounds on the telegraphing value of the Haar-measure encryption of one bit, where the outlined white region is the range of possible values. The crosshatched region represents the upper bound of \ref{['thm:haar_random_encryption_scheme_untelegraphable_indistinguishable']} and the dotted region represents the general lower bound of \ref{['prop:lowerbound']}.
  • Figure 2: Bounds on the cloning value of the Haar-measure encryption of one bit, where the outlined white region is the range of possible values. The crosshatched region represents the upper bound due to BC25arXiv, the dotted region represents the lower bound due to MST21arxiv, and the checkered region represents the improved lower bound of \ref{['prop:lowerbound']}.

Theorems & Definitions (48)

  • Definition 1: Haar-measure encryption
  • Definition 2
  • Definition 3
  • Definition 4
  • Definition 5
  • Definition 6
  • Lemma 1
  • proof
  • Definition 7
  • Remark 1
  • ...and 38 more