其中k←{0,1} n被随机选择。换句话说,没有PPT对手可以区分访问Oracle ENC 0(k,·,·),当给出时,当以输入为两个消息m 0时,m1∈{0,1}ℓ(n)总是加密m 0 vs. oracle encacle ence enc 1(k,·,·)总是加密始终加密eNcrypts m 1 1。对手A可以根据需要将Oracle称为多次。在讲义中https://www.ccs.neu.edu/home/wichs/class/crypto-fall17/lecture7。pdf我们给出了定义的略有不同的变体,在该定义中,我们定义了一个称为b = 0、1的cpagame b的交互式游戏,并要求这两个游戏是无法区分的。表明这两个定义是等效的,这意味着任何满足一个方案也必须满足另一个方案。
基于MPC在头中(MPCITH)的零知识证明(ZKPOK)来证明对单向函数的前映射(OWF)是一种构建有效的Quartum后数字数字签名的流行方法。从野餐签名方案开始,已经提出了许多使用多种(候选)OWF的优化MPCITH标志。最近,Baum等人。(加密2023)显示了对MPCITH的基本改进,称为“头为vole-in-the-the-the-the-the-the-the-the-the-the-the-the-thement”,它通常可以将签名大小降低至少两个,而不会降低计算性能或引入新假设。基于此,他们设计了FAest Signature,该签名将AES用作基础OWF。但是,与MPCITH相比,使用其他OWFS时的Voleith的行为仍未开发。在这项工作中,我们改善了Voleith和MPCITH方法的关键构建块,即所谓的全但一个矢量承诺,从而降低了Voleith和MPCITH签名方案的标志性大小。此外,通过将少量的工作证明在签名过程中,我们可以改善Voleith的参数(进一步降低SIG性质大小),而不会损害该方案的计算性能。基于这些优化