In this article, we tackle for the first time the problem of dynamic memory-efficient Searchable Symmetric Encryption (SSE). In the term "memory-efficient" SSE, we encompass both the goals of local SSE, and page-efficient SSE. The centerpiece of our approach is a novel connection between those two goals. We introduce a map, called the Generic Local Transform, which takes as input a page-efficient SSE scheme with certain special features, and outputs an SSE scheme with strong locality properties. We obtain several results. (1) First, for page-efficient SSE, we build a dynamic scheme with page efficiency $O(\log \log N)$ and storage efficiency $O(1)$, called LayeredSSE. The main technical innovation behind LayeredSSE is a new weighted extension of the two-choice allocation process, of independent interest. (2) Second, we introduce the Generic Local Transform, and combine it with LayeredSSE to build a dynamic SSE scheme with storage efficiency $O(1)$, locality $O(1)$, and read efficiency $O(\log\log N)$, under the condition that the longest list is of size $O(N^{1-1/\log \log \lambda})$. This matches, in every respect, the purely static construction of Asharov et al. presented at STOC 2016: dynamism comes at no extra cost. (3) Finally, by applying the Generic Local Transform to a variant of the Tethys scheme by Bossuat et al. from Crypto 2021, we build an unconditional static SSE with storage efficiency $O(1)$, locality $O(1)$, and read efficiency $O(\log^\varepsilon N)$, for an arbitrarily small constant $\varepsilon > 0$. To our knowledge, this is the construction that comes closest to the lower bound presented by Cash and Tessaro at Eurocrypt 2014.
翻译:在此文章中, 我们首次解决了动态内存高效可搜索的 SESE 问题。 首先, 在“ 模拟高效” SSE 术语中, 我们包含本地 SSE 和页面高效 SSE 的目标。 我们的方法的核心部分是这两个目标之间的新联系。 我们引入了一张地图, 名为通用本地变换, 将具有某些特点的具有页面高效本地变换方案作为输入, 并输出一个具有强度地方特性的 SSSE 计划。 我们取得了一些成果。 (1) 首先, 对于页高效的 SSE, 我们构建了一个具有页效率的 $O( log\log\log N$) 和存储效率 $( 1美元) 的动态计划。 层SSSSE的主要技术创新是两点分配过程的一个新的加权扩展。 第二, 我们引入通用本地变换换, 并与层SSESE 组合, 以存储效率 $(1) 美元, 地区变价 和读值 美元( 美元) 最接近 $( log N) 美元 美元), 以纯值 美元 美元 格式的 Ral\\ a cal_ a deal deal deal lax lax laus lax lax laus laus lax la lax lax lax lax lax lax lax lax lax est est est lax est lax lax lax est lax est est est est est est lax est est est est est est est est lax lax lax lax lax lax est est est est est est est est sal___ a a lax lautal lauts.