没有活板门的单向排列


9

简而言之:假设存在单向排列,我们可以构造一个没有活板门的排列吗?

更多信息:

单向排列是排列 π它易于计算,但难于反转(有关更正式的定义,请参见单向功能标签Wiki)。我们通常考虑单向排列的家庭π={πn}nN,每个 πn是单向排列,作用于有限Dn。甲陷门单向置换如上定义,不同之处在于存在一个活板门组{tn}nN 和多重时间反转算法 I,这样对所有人 n|tn|poly(n)I 可以反转 πn 只要给出 tn

我知道这会产生这样它是单向排列不可行找到暗门(但暗门存在)。此处提供一个基于RSA假设的示例。问题是,

是否存在带活板门(集合)的单向排列(系列)?

编辑:(更多形式化)

假设存在一些单向排列 π 具有(无限)域 D{0,1}。也就是说,存在一个概率多项式时间算法D (根据输入 1n,在 Dn=0,1nD),这样对于任何多项式时间的对手 A, 任何 c>0,以及所有足够大的整数 n

Pr[xD(1n):A(π(x))=x]<nc

(该概率由和\ mathcal {A}的内部抛硬币引起。)DA

问题是,是否可以构造一个单向置换,对于该置换矩阵存在一个概率多项式时间算法,使得对于任何多尺寸电路家族,任何以及所有足够大的整数:πD A={An}nNc>0n

Pr[xD(1n):An(π(x))=x]<nc

(由于是确定性,因此概率承担的内部抛硬币。)DA


听起来,即使给定了多项建议量,您也希望OWP保持单向。顺便说一句,我们通常不像这样定义OWP族-参见Goldreich Vol 1,defs 2.4.4和2.4.5。
大卫·卡什

@David:是的,我知道这不是通常的定义,但是我觉得正式定义(出现在Goldreich的书中)对于这个讨论来说太长了。
MS Dousti

@Sadeq:足够公平,但是我认为这里的定义变化将是重大的。对于它的价值,我曾经尝试过考虑类似类型的安全性(没有活板门)。似乎很好的定义是允许对家庭索引进行无限制的处理以在反演实验之前产生建议。
大卫·卡什

@David:看看编辑部分是否满足进一步形式化的需要。
MS Dousti

1
@Sadeq:确定陷阱门的单向排列是否被单向排列所隐含(尽管甚至不清楚后者的含义,因为它们都可能存在)是密码学理论中最大的开放问题之一。Impagliazzo和Rudich(cseweb.ucsd.edu/~russell/secret.ps)证明,使用黑盒技术无法实现这一点,并且目前尚无绕过它们分离的技术。
阿隆·罗森

Answers:


7

考虑以下情况:

1)存在单向排列(OWP),但不存在活板门排列(TDP)(即,我们处于Impagliazzo的“ minicrypt ”世界的变体中)。在这种情况下,您只需要保证已存在的OWP,并且您知道它没有活板门。

2)OWP和TDP都存在。在这里,您有两个选择:

(a)每个OWP都有一个密钥生成算法G,该算法输出功能的“公共”描述f以及采样的陷门t。在这种情况下,请考虑仅输出f的修改后的密钥生成。这为您提供了OWP,而且找到给定f的t是不可行的(否则,您有一种有效的方法来反转f)。对于非均匀变体也应如此。

(b)存在一个OWP f,使得算法G不能同时输出f和t,以使t能够对随机x进行f(x)的求逆。在这种情况下,f是没有活板门的OWP。

上面线程中的注释之一似乎表明您在质疑实际上是OWP的存在是否暗示TDP的存在。已经证明这不包含wrt黑盒构造/缩减,并且通常处于打开状态(请参见上面线程中的评论)。


+1,谢谢。大卫在回答上做了很多努力,我非常感谢他。但这就是我所想答案。
MS Dousti

2
我以为问题是:(a)可能。从密码学上讲,如果每个OWP都有一个陷阱门,那么您就不能相信给您一个OWP的人也不知道陷阱门。当然,您可以采用他的OWP并将其与自己的OWP组合起来,对此您只有自己知道活板门,并获得没有任何一方知道该活板门的OWP。
彼得·索尔

1
@Peter:是的。合成似乎可以胜任。另一种选择是使用遗忘传输(如果(a)成立,则已知存在-对一些小子模求模)。玩家可以使用OT来构建安全的两方计算协议,该协议允许他们之一学习f而无需学习活板门,而另一个则不学习任何东西。但是您的解决方案确实更简单。
阿隆·罗森

7

我不知道从一般假设得出的构造,但是您可以通过使用质数离散对数来获得“无陷门的单向置换”的合理候选。也就是说,让为原始根模,并定义。然后是到之间的整数的置换,通常假定为单向。对于“无陷阱门”部分,我想您需要准确定义这意味着什么,但是据我所知,我们没有任何方法来设置要启用反转的功能。(如果这样做的话,那么密码学中将会有各种各样很酷的(积极的)应用程序!)pgpπ(x)=gxmodpπ1p1


+1。感谢您的回答。您假设针对非均匀对手的离散日志的难度。我的问题是:假设仅存在单向排列,我们可以构造一个没有活板门的排列吗?
MS Dousti

@Sadeq:由于P = NP,单向排列的存在是否暗示离散对数的硬度?
Mohammad Alaggan '12

@Alaggan:我不这么认为。可能存在单向排列的情况,但有人提出了一种有效的算法来反转离散对数。
MS Dousti

@Sadeq:那就是P = BQP!= NP。
Mohammad Alaggan '12

@Sadeq:是的还是我做错了?
穆罕默德·阿拉根
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.