非可观测量子随机预言机模型下的密码学研究
1. 随机变量与区分器分析
在相关研究中,首先定义了随机变量 (simS_{com}(z)),它由敌手 (A) 的视图以及消息 (m_1, \cdots, m_m) 生成,其中 (m_i) 要么为 (\perp),要么是在承诺 (c_i) 中唯一承诺的消息。
之后,采用了穿刺技术来论证区分器无法区分 (simS_{com}(z)) 和 (mimA_{com}(z, \hat{m}))。具体而言,归约过程使用区分器 (D) 来区分 (\tilde{H} {\hat{m}} = H {\hat{m}}) 和 (\tilde{H} {\hat{m}} = \hat{G} {\hat{m}})。在设置阶段,归约程序对 (H) 进行编程,使得对于查询 (r, \hat{m}),它输出 (\tilde{H}_{\hat{m}}(r)),而对于所有其他消息 (m \in M \setminus {\hat{m}}),归约不改变 (H),并且归约接收陷门信息 (\hat{y})。在查询阶段,归约将 (\hat{y}) 发送给 (A),并利用 (A) 的视图和承诺来定义随机变量 (X)。若承诺 (c_i = \hat{y}),则定义 (m_i := \perp)。
当 (\tilde{H} {\hat{m}} = \hat{G} {\hat{m}}) 时,(\hat{y}) 是以随机性 (\hat{r}) 对 (\hat{m}) 的有效(且唯一)承诺,此时 (X = mimA_{com}(z, \hat{m}));当 (\tilde{H} {\hat{m}} = H {
超级会员免费看
订阅专栏 解锁全文
1167

被折叠的 条评论
为什么被折叠?



