摘要 Abstract
我们研究了从在线非遗忘符号固定(oNOSF)源确定性地压缩和提取随机性的任务,oNOSF源是一种自然的有缺陷随机源模型,在许多参数范围内提取是不可能的[ AORSV, EUROCRYPT'20 ]。一个$(g,\ell)$-oNOSF源是一系列$\ell$个块,其中$g$个块是好的(独立且具有一定的最小熵),其余的坏块由在线对手控制——可以与之前出现的任何块任意相关联。[CGR, FOCS'24]最近研究了oNOSF源的压缩器的存在性。他们证明了各种不可能的压缩结果,并在$n\gg\ell$时展示了压缩器的存在性。我们在几乎所有参数范围内显著推进了压缩器存在的证明,即使当$n$为大常数且$\ell$增长时也是如此。我们接下来构造了第一个针对oNOSF源的显式压缩器,其结果与[CGR, FOCS'24]中的存在性结果相匹配。我们还获得了用于将低熵oNOSF源转换为均匀oNOSF源的明显改进的构造。我们将结果应用到集体抛硬币和集体抽样问题中,这些问题在容错分布式计算中得到了广泛研究。我们利用压缩器为这些问题提供了非常简单的协议。接下来,我们转向理解从oNOSF源提取的可能性。我们引入了一种新的、自然的功能影响概念,称为在线影响。我们建立了函数在线影响的严格界限,这暗示了提取的下界。最后,我们通过与领导者选举协议的新联系,为oNOSF源构建了显式的提取器。这些提取器的参数超越了标准的弹性函数[AL, Combinatorica'93]。
We investigate the tasks of deterministically condensing and extracting randomness from Online Non-Oblivious Symbol Fixing (oNOSF) sources, a natural model of defective random sources for which extraction is impossible in many parameter regimes [AORSV, EUROCRYPT'20]. A $(g,\ell)$-oNOSF source is a sequence of $\ell$ blocks where $g$ of the blocks are good (are independent and have some min-entropy), and the remaining bad blocks are controlled by an online adversary - can be arbitrarily correlated with any block that appears before it. The existence of condensers for oNOSF sources was recently studied in [CGR, FOCS'24]. They proved various condensing impossibility results, and showed the existence of condensers when $n\gg\ell$. We make significant progress on proving the existence of condensers in almost all parameter regimes, even when $n$ is a large constant and $\ell$ is growing. We next construct the first explicit condensers for oNOSF sources, matching the existential results of [CGR, FOCS'24]. We also obtain a much improved construction for transforming low-entropy oNOSF sources into uniform oNOSF sources. We find interesting applications of our results to collective coin flipping and collective sampling, problems that are well-studied in fault-tolerant distributed computing. We use our condensers to provide very simple protocols for these problems. Next, we turn to understanding the possibility of extraction from oNOSF sources. We initiate the study of a new, natural notion of the influence of functions, which we call online influence. We establish tight bounds on the online influence of functions, which imply extraction lower bounds. Lastly, we give explicit extractor constructions for oNOSF sources, using novel connections to leader election protocols. These extractors achieve parameters that go beyond standard resilient functions [AL, Combinatorica'93].