Table of Contents
Fetching ...

On (Im)possibility of Network Oblivious Transfer via Noisy Channels and Non-Signaling Correlations

Hadi Aghaee, Christian Deppe, Holger Boche

TL;DR

This paper analyzes network oblivious transfer under the lens of tripartite non-signaling correlations, modeling NS resources as a shared box interacting with DM-MAC and DM-BC channels. It establishes strong impossibility results: perfect OT is unattainable and asymptotic leakage cannot be avoided when NS assistance is present, due to inherent non-signaling constraints conflicting with OT's causal structure. The results also reveal that Bob’s security is not universally guaranteed, highlighting protocol-dependent trade-offs and a causal collapse induced by NS correlations. By contrasting NS-assisted networks with nonlocal primitives like PR-boxes, the work clarifies why NS resources do not universally enhance OT capacity in networked channels, while leaving open questions for bipartite NS correlations as potential avenues for future exploration.

Abstract

This work investigates the fundamental limits of implementing network oblivious transfer via noisy multiple access channels and broadcast channels between honest-but-curious parties when the parties have access to general tripartite non-signaling correlations. By modeling the shared resource as an arbitrary tripartite non-signaling box, we obtain a unified perspective on both the channel behavior and the resulting correlations. Our main result demonstrates that perfect oblivious transfer is impossible. In the asymptotic regime, we further show that even negligible leakage cannot be achieved, as repeated use of the resource amplifies the receiver(s)'s ability to distinguish messages that were not intended for him/them. In contrast, the receiver(s)'s own privacy is not subject to a universal impossibility limitation.

On (Im)possibility of Network Oblivious Transfer via Noisy Channels and Non-Signaling Correlations

TL;DR

This paper analyzes network oblivious transfer under the lens of tripartite non-signaling correlations, modeling NS resources as a shared box interacting with DM-MAC and DM-BC channels. It establishes strong impossibility results: perfect OT is unattainable and asymptotic leakage cannot be avoided when NS assistance is present, due to inherent non-signaling constraints conflicting with OT's causal structure. The results also reveal that Bob’s security is not universally guaranteed, highlighting protocol-dependent trade-offs and a causal collapse induced by NS correlations. By contrasting NS-assisted networks with nonlocal primitives like PR-boxes, the work clarifies why NS resources do not universally enhance OT capacity in networked channels, while leaving open questions for bipartite NS correlations as potential avenues for future exploration.

Abstract

This work investigates the fundamental limits of implementing network oblivious transfer via noisy multiple access channels and broadcast channels between honest-but-curious parties when the parties have access to general tripartite non-signaling correlations. By modeling the shared resource as an arbitrary tripartite non-signaling box, we obtain a unified perspective on both the channel behavior and the resulting correlations. Our main result demonstrates that perfect oblivious transfer is impossible. In the asymptotic regime, we further show that even negligible leakage cannot be achieved, as repeated use of the resource amplifies the receiver(s)'s ability to distinguish messages that were not intended for him/them. In contrast, the receiver(s)'s own privacy is not subject to a universal impossibility limitation.
Paper Structure (14 sections, 7 theorems, 92 equations, 2 figures)

This paper contains 14 sections, 7 theorems, 92 equations, 2 figures.

Key Result

Theorem 1

Consider a two-sender DM-MAC: $W : \mathcal{X}_1 \times \mathcal{X}_2 \to \mathcal{Y}$. Let the NS-box inputs be deterministic functionsNote that $f_i$ is not an extra encoder on top of the NS-box. They just model how each party chooses its box input $\imath_i ,i\in\{1,2\}$ as a deterministic functi

Figures (2)

  • Figure 1: $(a)$ The OT system model over a two-user noisy DM-MAC with two encoders and a decoder. $(b)$ The OT system model over a bipartite NS correlation-assisted noisy DM-MAC. $(c)$ The OT system model over a tripartite NS correlation-assisted noisy DM-MAC.
  • Figure 2: (a) The OT system model over a noisy DM-BC with two decoders. (b) The OT system model over a noisy DM-BC with an NS-box.

Theorems & Definitions (25)

  • Definition 1: Bipartite NS correlation
  • Definition 2: Tripartite NS correlation-assisted DM-MAC Fawzi
  • Definition 3: Nontrivial NS-box-MAC form
  • Definition 4: OT setup over a DM-MAC, Figure \ref{['NS-OT']}-$(a)$
  • Definition 5: Network OT setup via tripartite NS correlation-assisted DM-MAC, Figure \ref{['NS-OT']}-$(c)$
  • Definition 6: Perfect security criteria in terms of NS-box
  • Definition 7: Tripartite NS-box over DM-BC
  • Definition 8: Non-trivial NS-Box-BC form
  • Definition 9
  • Definition 10: Network OT setup via tripartite NS assisted DM-BC-Figure \ref{['fig: NS-OT-BC']}-$(b)$
  • ...and 15 more