Loading...
机构名称:
¥ 3.0

(摘要)我们提出了一种新方法,用于将指定的验证者设置中的零知识协议转换为公共协议协议,该协议可以使其成为非相互关系且可公开证实。我们的转换适用于基于遗忘的转移的大量ZK协议。尤其是,我们表明它可以应用于基于矢量删除的线性评估(VOLE)的最新快速协议,我们将其称为“目前的vole”,并对这些协议进行分级以支持公共验证性。我们由此产生的ZK协议具有线性证明大小,并且比基于头脑的MPC的方法更简单,更小,更快。为了在支持二进制电路和大型有限领域的同时建立vole脑袋,我们开发了几种新的技术工具。其中之一是SoftSpokenot协议(Crypto 2022)的新安全证明,它概括了

Insight -Kastel安全研究实验室

Insight -Kastel安全研究实验室PDF文件第1页

Insight -Kastel安全研究实验室PDF文件第2页

Insight -Kastel安全研究实验室PDF文件第3页

Insight -Kastel安全研究实验室PDF文件第4页

Insight -Kastel安全研究实验室PDF文件第5页