Table of Contents
Fetching ...

Privacy-Preserving Learning-Augmented Data Structures

Prabhav Goyal, Vinesh Sridhar, Wilson Zheng

TL;DR

This work proposes the first learning-augmented data structure that is strongly history independent, robust, and supports dynamic updates, and introduces two techniques: thresholding, which automatically makes any learning-augmented data structure robust, and pairing, a simple technique that provides strong history independence in the dynamic setting.

Abstract

Learning-augmented data structures use predicted frequency estimates to retrieve frequently occurring database elements faster than standard data structures. Recent work has developed data structures that optimally exploit these frequency estimates while maintaining robustness to adversarial prediction errors. However, the privacy and security implications of this setting remain largely unexplored. In the event of a security breach, data structures should reveal minimal information beyond their current contents. This is even more crucial for learning-augmented data structures, whose layout adapts to the data. A data structure is history independent if its memory representation reveals no information about past operations except what is inferred from its current contents. In this work, we take the first step towards privacy and security guarantees in this setting by proposing the first learning-augmented data structure that is strongly history independent, robust, and supports dynamic updates. To achieve this, we introduce two techniques: thresholding, which automatically makes any learning-augmented data structure robust, and pairing, a simple technique that provides strong history independence in the dynamic setting. Our experimental results demonstrate a tradeoff between security and efficiency but are still competitive with the state of the art.

Privacy-Preserving Learning-Augmented Data Structures

TL;DR

This work proposes the first learning-augmented data structure that is strongly history independent, robust, and supports dynamic updates, and introduces two techniques: thresholding, which automatically makes any learning-augmented data structure robust, and pairing, a simple technique that provides strong history independence in the dynamic setting.

Abstract

Learning-augmented data structures use predicted frequency estimates to retrieve frequently occurring database elements faster than standard data structures. Recent work has developed data structures that optimally exploit these frequency estimates while maintaining robustness to adversarial prediction errors. However, the privacy and security implications of this setting remain largely unexplored. In the event of a security breach, data structures should reveal minimal information beyond their current contents. This is even more crucial for learning-augmented data structures, whose layout adapts to the data. A data structure is history independent if its memory representation reveals no information about past operations except what is inferred from its current contents. In this work, we take the first step towards privacy and security guarantees in this setting by proposing the first learning-augmented data structure that is strongly history independent, robust, and supports dynamic updates. To achieve this, we introduce two techniques: thresholding, which automatically makes any learning-augmented data structure robust, and pairing, a simple technique that provides strong history independence in the dynamic setting. Our experimental results demonstrate a tradeoff between security and efficiency but are still competitive with the state of the art.

Paper Structure

This paper contains 9 sections, 5 theorems, 1 equation, 2 figures.

Key Result

theorem 1

There exists a weakly history independent, consistent, and robust learning-augmented data structure that supports $O(\log n)$-time dynamic updates in expectation.

Figures (2)

  • Figure 1: (a) Zipf Parameter test ($n=2000$, $\delta=0$), (b) Noisy Zipfian test ($\alpha = 2$, $\delta=0.9$), and (c) Inverse Power test ($\alpha =1.01$, $\delta=0.9$). Values overflowing 25 comparisons indicated with a number next to the bar.
  • Figure 2: Size test (Zipfian, $\alpha=2$)

Theorems & Definitions (13)

  • theorem 1
  • proof
  • definition 1: Threshold Frequency Scheme
  • theorem 2
  • proof
  • lemma 1
  • proof
  • theorem 3
  • proof
  • theorem 4
  • ...and 3 more