如果存在OWF,则可能具有统计绑定位承诺。[1]
是否知道如果存在OWF,那么可能完全绑定位承诺?
如果不是,则它们之间是否存在已知的黑匣子分离?
[1] http://en.wikipedia.org/wiki/Pseudorandom_generator_theorem和
http://en.wikipedia.org/wiki/Commitment_scheme#Bit-commitment_from_a_pseudo-random_generator
如果存在OWF,则可能具有统计绑定位承诺。[1]
是否知道如果存在OWF,那么可能完全绑定位承诺?
如果不是,则它们之间是否存在已知的黑匣子分离?
[1] http://en.wikipedia.org/wiki/Pseudorandom_generator_theorem和
http://en.wikipedia.org/wiki/Commitment_scheme#Bit-commitment_from_a_pseudo-random_generator
Answers:
在拉斐尔·帕斯(Rafael Pass)的最新工作中,证明了如果没有巴拉克·奥恩·瓦丹(Barak-Ong-Vadhan)的那些额外复杂性假设,则非交互性承诺不能基于黑盒方式的单向功能。实际上,即使有这些额外的假设(当形式化为除单向行为之外所假设的某种打击属性),黑匣子分离仍然成立:
http://eprint.iacr.org/2012/523.pdf
(Barak-Ong-Vadhan的建筑不是黑匣子)。