73、高效的确定性有限自动机（DFA）不经意评估协议与条件披露秘密（CDS）

高效的确定性有限自动机（DFA）不经意评估协议与条件披露秘密（CDS）

在当今的信息安全领域，如何在保护数据隐私的同时进行有效的计算是一个重要的研究方向。本文将介绍一种针对确定性有限自动机（DFA）的高效不经意评估协议和条件披露秘密（CDS）方案，这些方案在DNA匹配等应用中具有重要的潜在价值。

1. 基本概念

• 不经意CDS（Oblivious CDS） ：设 $f : A × B →{0, 1}$ 为一个条件，$s ∈{0, 1}^\kappa$ 为一个秘密，$r$ 是从均匀分布中随机选取的随机性。$Enc_A$ 和 $Enc_B$ 是概率多项式时间（PPT）编码算法，$Dec$ 是确定性解码算法。不经意CDS需满足两个性质：
  • 正确性（Correctness） ：对于所有输入 $(a, b) ∈A × B$ 且 $f(a, b) = 1$，有 $Pr[Dec(Enc_A(a, s, r), Enc_B(b, s, r)) \neq s] \leq negl(\kappa)$。
  • 不可区分性（Indistinguishability） ：存在一个多项式时间算法 $Sim$，使得对于每个输入 $(a, b) ∈A × B$ 和秘密 $s ∈{0, 1}^\kappa$，分布 ${Sim(1^{|a|}, 1^{|b|}, Dec(Enc_A(a, s,r), Enc_B(b, s, r)))} {a∈A,b∈B}$ 和 ${Enc_A(a, s, r), Enc_B(b, s, r)} {a∈A,