二次算数程序（QAP）构造 (4-3)

[1] Rosario Gennaro, Craig Gentry, Bryan Parno, and Mariana Raykova. Quadratic span programs and succinct NIZKs without PCPs. In Thomas Johansson and Phong Q. Nguyen, editors,EUROCRYPT 2013, volume 7881 of LNCS, pages 626–645. Springer, Heidelberg, May 2013.

[2] Bryan Parno, Jon Howell, Craig Gentry, and Mariana Raykova. Pinocchio: Nearly practical verifiable computation. In2013 IEEE Symposium on Security and Privacy, pages 238–252. IEEE Computer Society Press, May 2013.

[3] Eli Ben-Sasson, Alessandro Chiesa, Christina Garman, Matthew Green, Ian Miers, Eran Tromer, and Madars Virza. Zerocash: Decentralized anonymous payments from bitcoin. In2014 IEEE Symposium on Security and Privacy, pages 459–474. IEEE Computer Society Press, May 2014.

[4] M. Karchmer and A. Wigderson. On span programs. In IEEE Computer Society Press, editor,In Proc. of the 8th IEEE Structure in Complexity Theory, pages 102–111, Gaithersburg, MD, USA, 1993. IEEE Computer Society Press.

[5] Helger Lipmaa. Succinct non-interactive zero knowledge arguments from span programs and linear error-correcting codes. In Kazue Sako and Palash Sarkar, editors,ASIACRYPT 2013, Part I, volume 8269 of LNCS, pages 41–60. Springer, Heidelberg, December 2013.

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。