Nearly Linear-Time Zero-Knowledge Proofs for Correct Program Execution
Nearly Linear-Time Zero-Knowledge Proofs for Correct Program Execution
复制标题
正确程序执行的近线性时间零知识证明
DOI：
10.1007/978-3-030-03326-2_20
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Mary Maller
中科院分区：
文献类型：
--
作者：
Jonathan Bootle;Andrea Cerulli;Jens Groth;S. K. Jakobsen;Mary Maller
在减少零知识证明中的交互、通信和验证时间方面已经取得了巨大的进展，但使证明者高效仍然是一个重要的挑战。我们构造了程序在公共和私有输入上正确执行的第一个零知识知识证明，其中证明者的计算几乎是线性时间。与当前技术水平的证明系统相比，这节省了渐近性能的多对数因子。
There have been tremendous advances in reducing interaction, communication and verification time in zero-knowledge proofs but it remains an important challenge to make the prover efficient. We construct the first zero-knowledge proof of knowledge for the correct execution of a program on public and private inputs where the prover computation is nearly linear time. This saves a polylogarithmic factor in asymptotic performance compared to current state of the art proof systems.
影响因子：
3
作者：
Gentry, Craig;Groth, Jens;Smith, Adam
通讯作者：
Smith, Adam