伊莱·本·萨森;伊多·本托夫;亚历山德罗·奇埃萨;阿里尔·加比松;丹尼尔·根金;马坦·哈米利斯;埃夫根亚·佩加门特;迈克尔·里亚布泽夫;马克·西尔伯斯坦;埃兰·特罗姆;夫人维尔扎 准线性PCP公共随机字符串的计算完整性。 （英语） Zbl 1415.94409号 Coron，Jean-Sébastien（编辑）等人，《密码学进展——2017年欧洲密码》。第36届密码技术理论与应用国际年会，2017年4月30日至5月4日，法国巴黎。诉讼程序。第三部分查姆：斯普林格。莱克特。注释计算。科学。10212, 551-579 (2017). 摘要：代表他人执行计算的一方可能会从误报输出中受益。检测到这一点的加密协议可以促进具有严格计算完整性要求的分散系统。为了使计算结果公开可信，还必须使用公开可验证的协议，这些协议没有“后门”或允许伪造的密钥。{}概率可检查证明（PCP）系统可用于构建此类协议，但此类系统的一些主要组件——通过邻近PCP（PCPP）进行的验证组合和低度测试——仅被有效地考虑为渐近的，用于不切实际的大型计算。最近的加密替代方案受到非公开设置阶段的影响，或需要大量验证时间。{}本文介绍了SCI，这是可扩展PCP系统的第一个实现（同时使用PCPP和证明合成）。我们使用SCI来证明一个简单处理器最多执行2^{20}个周期的正确性，并计算出它的断点：通过重新执行进行初始验证的最小输入大小比基于PCP的验证成本更高。{}这标志着核心PCP技术（如证明合成和邻近PCP）从数学理论过渡到实际系统工程。获得的阈值几乎可以实现，因此表明PCP支持的计算完整性比以前假设的更接近于现实。关于整个系列，请参见[Zbl 1360.94007号]. 引用于13文件 MSC公司： 94A60型 密码学 软件：皮诺奇;zk-快照;C的SNARK PDF格式BibTeX公司 XML格式引用 \textit{E.Ben-Sasson}等人，Lect。注释计算。科学。10212、551--579（2017；Zbl 1415.94409） 全文： 内政部 参考文献： [1] Arora，S.，Lund，C.，Motwani，R.，Sudan，M.，Szegedy，M.：证明验证和近似问题的硬度。J.ACM 45（3），501–555（1998）。1992年FOCS中的初步版本·Zbl 1065.68570号 ·数字对象标识代码：10.1145/278298.278306 [2] Arora，S.，Safra，S.：证明的概率检验：NP的一个新特征。《美国医学杂志》45（1），70–122（1998）。1992年FOCS中的初步版本·Zbl 0903.68076号 ·doi:10.1145/273865.273901 [3] Babai，L.、Fortnow，L.，Levin，L.A.、Szegedy，M.：检查多对数时间的计算。摘自：第23届ACM计算机理论研讨会论文集，第21-32页，STOC 1991（1991）·doi:10.1145/103418.103428 [4] Babai，L.、Fortnow，L.和Lund，C.：非确定性指数时间具有双探测车交互协议。摘自：《第31届计算机科学基础年度研讨会论文集》，第16-25页，SFCS 1990（1990）·doi:10.1109/FSCS.1990.89520 [5] Babai，L.，Moran，S.：Arthur-Merlin游戏：随机证明系统和复杂性类的层次结构。J.计算。系统。科学。36(2), 254–276 (1988) ·Zbl 0652.03029号 ·doi:10.1016/0022-0000（88）90028-1 [6] Bellare，M.，Fuchsbauer，G.，Scafuro，A.：Nizks具有不受信任的CRS：面对参数颠覆的安全性。Cryptology ePrint Archive，报告2016/372（2016）。http://eprint.iacr.org/ ·Zbl 1407.94082号 [7] Bellare，M.，Goldreich，O.：关于定义知识证明。收录：Brickell，E.F.（编辑）CRYPTO 1992。LNCS，第740卷，第390-420页。斯普林格，海德堡（1993）。数字对象标识代码：10.1007/3-540-48071-4_28·Zbl 0823.94016号 ·数字对象标识代码：10.1007/3-540-48071-4_28 [8] Ben-Or，M.，Goldwasser，S.，Kilian，J.，Wigderson，A.：多元交互证明：如何消除棘手的假设。摘自：第20届ACM计算机理论研讨会论文集，第113-131页，STOC 1988（1988）·数字对象标识代码：10.1145/62212.62223 [9] Ben-Sasson，E.，Ben-Tov，I.，Gabizon，A.，Riabzev，M.：Reed-Solomon PCPPS改进的混凝土效率和安全性分析（2016）。http://eccc.hpi-web.de/report/2016/073 [10] Ben-Sasson，E.，Chiesa，A.，Gabizon，A.，Riabzev，M.，Spooner，N.：通过组合和汇总检查，具有恒定查询复杂性的简短交互式预言证明。计算复杂性电子座谈会，第tR16-046页（2016） [11] Ben-Sasson，E.，Chiesa，A.，Gabizon，A.，Virza，M.：线性代数PCP的准线性零尺寸知识。收录：Kushilevitz，E.，Malkin，T.（编辑）TCC 2016。LNCS，第9563卷，第33-64页。斯普林格，海德堡（2016）。doi:10.1007/978-3-662-49099-0_2·兹比尔1375.94101 ·doi:10.1007/978-3-662-49099-02 [12] Ben-Sasson，E.，Chiesa，A.，Garman，C.，Green，M.，Miers，I.，Tromer，E.，Virza，M.：Zerocash：比特币分散匿名支付。摘自：2014年IEEE安全与隐私研讨会论文集，第459–474页，SP 2014（2014）·doi:10.1109/SP.2014.36 [13] Ben-Sasson，E.，Chiesa，A.，Genkin，D.，Tromer，E.：从RAM快速减少到可委托简洁约束满足问题。摘自：《第四届理论计算机科学创新会议论文集》，第401-414页，ITCS 2013（2013）·Zbl 1361.68088号 ·doi:10.1145/2422436.2422481 [14] Ben-Sasson，E.，Chiesa，A.，Genkin，D.，Tromer，E.：关于概率可检验证明的具体效率。摘自：第45届ACM计算机理论研讨会论文集，第585–594页，STOC 2013（2013）·Zbl 1293.94054号 ·doi:10.1145/2488608.2488681 [15] Ben-Sasson，E.，Chiesa，A.，Genkin，D.，Tromer，E.，Virza，M.：C的SNARKs：在零知识条件下简洁地验证程序执行。收录人：Canetti，R.，Garay，J.A.（编辑）《密码》2013。LNCS，第8043卷，第90-108页。斯普林格，海德堡（2013）。doi:10.1007/978-3-642-40084-16·Zbl 1317.68050号 ·doi:10.1007/978-3-642-40084-16 [16] Ben-Sasson，E.，Chiesa，A.，Genkin，D.，Tromer，E.，Virza，M.：《TinyRAM架构规范》（2013）。http://scipr-lab.org/tinyram [17] Ben-Sasson，E.，Chiesa，A.，Green，M.，Tromer，E.，Virza，M.：公共参数的安全采样，用于简洁的零知识证明。摘自：2015年IEEE安全与隐私研讨会，SP 2015，圣何塞，2015年5月17-21日，第287-304页，（2015）。http://dx.doi.org/10.109/SP.2015.25 ·doi:10.1109/SP.2015.25 [18] Ben-Sasson，E.，Chiesa，A.，Tromer，E.，Virza，M.：通过椭圆曲线循环的可缩放零知识。收录人：Garay，J.A.，Gennaro，R.（编辑）《密码》2014。LNCS，第8617卷，第276-294页。斯普林格，海德堡（2014）。doi:10.1007/978-3-662-44381-1_16·Zbl 1334.68077号 ·doi:10.1007/978-3-662-44381-1_16 [19] Ben-Sasson，E.，Chiesa，A.，Tromer，E.，Virza，M.：冯·诺依曼架构的简洁非交互零知识。摘自：2014年8月20日至22日在圣地亚哥举行的第23届USENIX安全研讨会会议记录，第781-796页（2014）·Zbl 1334.68077号 [20] Ben-Sasson，E.，Goldreich，O.，Harsha，P.，Sudan，M.，Vadhan，S.：可在多对数时间内验证的短PCP。摘自：第20届IEEE计算复杂性年会论文集，第120–134页，CCC 2005（2005）·doi:10.1109/CCC.2005.27 [21] Ben-Sasson，E.，Goldreich，O.，Harsha，P.，Sudan，M.，Vadhan，S.：邻近的健壮PCP，更短的PCP，以及编码应用。SIAM J.计算。36（4），889–974（2006年）。这篇论文的初步版本发表在第36届美国计算机学会计算理论研讨会论文集和计算复杂性电子学术讨论会上·兹比尔1118.68071 ·doi:10.1137/S0097539705446810 [22] Ben-Sasson，E.、Hamilis，M.、Silberstein，M.和Tromer，E.：通过寄存器缓存在GPUS上的二进制字段中进行快速乘法。附：2016年国际超级计算会议记录，ICS 2016（2016）·doi:10.1145/2925426.2926259 [23] Ben-Sasson，E.，Sudan，M.：具有多日志查询复杂性的短PCP。SIAM J.计算。38(2), 551–607 (2008). STOC 2005发布了初步版本·Zbl 1172.68025号 ·doi:10.1137/050646445 [24] Ben-Sasson，E.，Sudan，M.，Vadhan，S.，Wigderson，A.：通过ε偏倚集的随机效率低度测试和短PCP。摘自：第35届ACM计算机理论研讨会论文集，第612-621页，STOC 2003（2003）·Zbl 1192.94089号 ·数字对象标识代码：10.1145/780542.780631 [25] Beneš，V.E.：连接网络和电话流量的数学理论。纽约学术出版社（1965年）。http://opac.inria.fr/record=b1083990 [26] Bitansky，N.，Canetti，R.，Chiesa，A.，Tromer，E.：从可提取的碰撞阻力到简洁的非交互知识论证，然后再回来。摘自：《第三届理论计算机科学创新会议论文集》，第326–349页，ITCS 2012（2012）·Zbl 1347.68129号 ·doi:10.1145/2090236.2090263 [27] Bitansky，N.，Canetti，R.，Chiesa，A.，Tromer，E.：SNARK和校对数据的递归组合和自举。摘自：第45届ACM计算机理论研讨会论文集，第111-120页，STOC 2013（2013）·Zbl 1293.68264号 ·doi:10.1145/2488608.2488623 [28] Bitansky，N.，Chiesa，A.，Ishai，Y.，Paneth，O.，Ostrovsky，R.：通过线性交互证明简洁非交互论点。收录：Sahai，A.（编辑）TCC 2013。LNCS，第7785卷，第315-333页。斯普林格，海德堡（2013）。doi:10.1007/978-3-642-36594-2_18·Zbl 1316.68056号 ·doi:10.1007/978-3-642-36594-2_18 [29] Bootle，J.、Cerulli，A.、Chaidos，P.、Groth，J.和Petit，C.：离散对数设置中算术电路的有效零知识参数。收录：Fischlin，M.，Coron，J.-S.（编辑）EUROCRYPT 2016。LNCS，第9666卷，第327-357页。斯普林格，海德堡（2016）。doi:10.1007/978-3-662-49896-5_12·Zbl 1369.94520号 ·doi:10.1007/978-3-662-49896-5_12 [30] Chiesa，A.，Zhu，Z.A.：非确定性计算的较短算术。西奥。计算。科学。600107–131（2015年）。http://www.sciencedirect.com/science/article/pii/S0304397515006647 ·Zbl 1430.68108号 ·doi:10.1016/j.tcs.2015.07.030 [31] Clos，C.：非阻塞交换网络的研究。贝尔系统。《技术期刊》32（2），406–424（1953）。http://dx.doi.org/10.1002/j.1538-7305.1953.tb01433.x ·doi:10.1002/j.1538-7305.1953.tb01433.x [32] Cormode，G.，Mitzenmacher，M.，Thaler，J.：流式交互证明的实际验证计算。摘自：《第四届理论计算机科学创新研讨会论文集》，第90-112页，ITCS 2012（2012）·Zbl 1347.68157号 ·doi:10.1145/2090236.2090245 [33] Cormode，G.，Thaler，J.，Yi，K.：使用流式交互证明验证计算。程序。VLDB捐赠5（1），25-36（2011）·doi:10.14778/2047485.2047488 [34] Dinur，I.：间隙放大的PCP定理。J.ACM 54（3），12（2007）·Zbl 1292.68074号 ·数字对象标识代码：10.1145/1236457.1236459 [35] Dinur，I.，Reingold，O.：赋值测试：PCP定理的组合证明。SIAM J.计算。36(4), 975–1024 (2006). http://dx.doi.org/10.1137/S0097539705446962 ·Zbl 1127.68031号 ·doi:10.1137/S0097539705446962 [36] Dwork，C.，Feige，U.，Kilian，J.，Naor，M.，Safra，M.：NP的低通信2校验器零知识证明。收录：Brickell，E.F.（编辑）CRYPTO 1992。LNCS，第740卷，第215-227页。斯普林格，海德堡（1993）。doi:10.1007/3-540-48071-4_15·Zbl 0925.68143号 ·doi:10.1007/3-540-48071-4_15 [37] Ben-Sasson，E.，Chiesa，N.S.A.：交互式甲骨文证明。IACR Cryptology ePrint Archive 2016，116（2016）。http://eprint.iacr.org/2016/116 ·Zbl 1397.94048号 [38] Fiat，A.，Shamir，A.：如何证明自己：识别和签名问题的实用解决方案。收录：Odlyzko，A.M.（编辑）《密码》，1986年。LNCS，第263卷，第186-194页。施普林格，海德堡（1987）。doi:10.1007/3-5440-47721-7_12·Zbl 0636.94012号 ·doi:10.1007/3-5440-47721-7_12 [39] Gao，S.，Mateer，T.：有限域上的加性快速傅里叶变换。IEEE传输。信息Theor。56(12), 6265–6272 (2010). http://dx.doi.org/10.109/TIT.2010.2079016 ·Zbl 1367.65197号 ·doi:10.1109/TIT.2010.2079016 [40] Gennaro，R.、Gentry，C.、Parno，B.：非交互式可验证计算：将计算外包给不受信任的员工。收录：Rabin，T.（编辑）《2010年密码》。LNCS，第6223卷，第465-482页。施普林格，海德堡（2010）。doi:10.1007/978-3-642-14623-7_25·Zbl 1284.68065号 ·doi:10.1007/978-3-642-14623-7_25 [41] Gennaro，R.、Gentry，C.、Parno，B.、Raykova，M.：无PCP的二次跨度程序和简洁NIZK。收录人：Johansson，T.，Nguyen，P.Q.（编辑）EUROCRYPT 2013。LNCS，第7881卷，第626–645页。斯普林格，海德堡（2013）。doi:10.1007/978-3-642-38348-9_37·Zbl 1300.94056号 ·doi:10.1007/978-3-642-38348-9_37 [42] Goldreich，O.，Sudan，M.：近似线性长度的本地可测试代码和PCP。《美国医学会期刊》53，558–655（2006）。STOC 2002中的初步版本·Zbl 1315.94144号 ·doi:10.1145/1162349.1162351 [43] Goldwasser，S.、Kalai，Y.T.、Rothblum，G.N.：委托计算：麻瓜的交互式证明。摘自：第40届ACM计算机理论研讨会论文集，第113-122页，STOC 2008（2008）·Zbl 1231.68135号 ·数字对象标识代码：10.1145/1374376.1374396 [44] Goldwasser，S.、Micali，S.和Rackoff，C.：交互证明系统的知识复杂性。SIAM J.计算。18(1), 186–208 (1989). 初始版本出现在STOC 1985·Zbl 0677.68062号 ·数字对象标识代码：10.1137/0218012 [45] Greenberg，A.：Zcash是一种无法追踪的比特币替代品，于2016年1月在alpha中发布。Wired.com网站。2016年1月20日访问 [46] Groth，J.：基于短配对的非交互式零知识论点。摘自：Abe，M.（编辑）《2010年亚洲期刊》。LNCS，第6477卷，第321–340页。施普林格，海德堡（2010）。文件编号：10.1007/978-3-642-17373-8_19·兹比尔1253.94049 ·doi:10.1007/978-3-642-17373-8_19 [47] Groth，J.：来自双层同态承诺的有效零知识论证。收录人：Lee，D.H.，Wang，X.（编辑）《2011年亚洲期刊》。LNCS，第7073卷，第431-448页。斯普林格，海德堡（2011）。doi:10.1007/978-3-642-25385-0_23·Zbl 1227.94047号 ·doi:10.1007/978-3-642-25385-0_23 [48] Harsha，P.，Sudan，M.：查询复杂度低的小型PCP。计算。复杂。9(3–4), 157–201 (2000). STACS 1991中的初步版本·Zbl 0986.68134号 ·doi:10.1007/PL00001606 [49] Hástad，J.：一些最佳不可接近性结果。《美国医学会杂志》48（4），798–859（2001）·Zbl 1127.68405号 ·doi:10.1145/502090.502098 [50] Horowitz，E.，Sahni，S.：计算分区并应用于背包问题。J.ACM 21（2），277–292（1974）。http://doi.acm.org/10.1145/321812.321823 ·Zbl 0329.90046号 ·数字对象标识代码：10.1145/321812.321823 [51] Ishai，Y.，Kushilevitz，E.，Ostrovsky，R.：无短PCP的有效参数。摘自：IEEE第二十二届计算复杂性年会会议记录，第278-291页，CCC 2007（2007）·doi:10.1109/CCC.2007.10 [52] Ishai，Y.，Kushilevitz，E.，Ostrovsky，R.，Sahai，A.：安全多方计算的零知识证明。SIAM J.计算。39(3), 1121–1152 (2009) ·Zbl 1192.68239号 ·doi:10.1137/080725398 [53] Ishai，Y.，Mahmoody，M.，Sahai，A.：关于有效的零知识PCP。收录：Cramer，R.（编辑）TCC 2012。LNCS，第7194卷，第151-168页。施普林格，海德堡（2012）。doi:10.1007/978-3-642-28914-99·Zbl 1304.68056号 ·doi:10.1007/978-3-642-28914-99 [54] Ishai，Y.、Mahmoody，M.、Sahai，A.、Xiao，D.：《零知识PCP:限制、简化和应用》（2015）。http://www.cs.virginia.edu/mohammad/files/papers/ZKPCPs-Full.pdf [55] Kilian，J.：关于有效零知识证明和论证的注释。在：第24届ACM计算理论年度研讨会论文集，第723–732页，STOC 1992（1992） [56] Kilian，J.，Petrank，E.，Tardos，G.：零知识的概率可检验证明。摘自：第29届ACM计算机理论研讨会论文集，第496–505页，STOC 1997（1997）·Zbl 0963.68192号 ·数字对象标识代码：10.1145/258533.258643 [57] Kosba，A.，Miller，A.，Shi，E.，Wen，Z.，Papamanthou，C.：Hawk：加密和隐私保护智能合约的区块链模型。Cryptology ePrint Archive，报告2015/675（2015）。http://eprint.iacr.org/ [58] Lipmaa，H.：无进展集和基于次线性对的非交互式零知识参数。收录：Cramer，R.（编辑）TCC 2012。LNCS，第7194卷，第169-189页。施普林格，海德堡（2012）。doi:10.1007/978-3-642-28914-9_10·Zbl 1303.94090号 ·doi:10.1007/978-3-642-28914-9_10 [59] Lund，C.，Fortnow，L.，Karloff，H.，Nisan，N.：交互式证明系统的代数方法。《美国医学会期刊》39（4），859-868（1992）。http://doi.acm.org/10.1145/146585.146605 ·Zbl 0799.68097号 ·doi:10.1145/146585.146605 [60] Mahmoody，M.，Xiao，D.：SZK中有高效的零知识PCP语言。收录：Sahai，A.（编辑）TCC 2013。LNCS，第7785卷，第297–314页。斯普林格，海德堡（2013）。doi:10.1007/978-3-642-36594-2_17·Zbl 1315.94089号 ·doi:10.1007/978-3-642-36594-2_17 [61] Micali，S.：计算隔音。SIAM J.计算。30(4), 1253–1298 (2000). 初步版本出现在FOCS 1994中·Zbl 1009.68053号 ·doi:10.1137/S009753979525284959 [62] Mie，T.：短PCPP可在多对数时间内通过O（1）查询进行验证。安。数学。Artif公司。智力。56, 313–338 (2009) ·Zbl 1184.68464号 ·doi:10.1007/s10472-009-9169-y [63] Moshkovitz，D.，Raz，R.：具有子常量错误的两次查询PCP。《美国临床医学杂志》第57卷，第1-29页（2008年）。初步版本出现在FOCS 2008中·Zbl 1327.68110号 ·doi:10.145/1754399.17754402 [64] Nakamoto，S.：比特币：一种对等电子现金系统（2009年5月）。http://www.bitcoin.org/bitcoin.pdf [65] Parno，B.，Gentry，C.，Howell，J.，Raykova，M.：皮诺奇：几乎实用的可验证计算。摘自：第34届IEEE安全与隐私研讨会会议记录，2013年奥克兰，第238–252页（2013）·doi:10.1109/SP.2013.47 [66] Raz，R.：平行重复定理。摘自：第27届ACM计算机理论研讨会论文集，第447–456页，STOC 1995（1995）·Zbl 0978.68527号 ·doi:10.1145/225058.225181 [67] Reed，I.S.，Solomon，G.：某些有限域上的多项式码。《社会工业杂志》。申请。数学。8(2), 300–304 (1960). http://dx.doi.org/10.1137/0108018 ·兹比尔0099.34403 ·数字对象标识代码：10.1137/0108018 [68] Seo，J.H.：线性代数的圆效率次线性零知识参数。收录人：Catalano，D.，Fazio，N.，Gennaro，R.，Nicolosi，A.（编辑）PKC 2011。LNCS，第6571卷，第387-402页。斯普林格，海德堡（2011）。doi:10.1007/978-3-642-19379-8_24·Zbl 1291.94153号 ·doi:10.1007/978-3-642-19379-8_24 [69] Setty，S.、Blumberg，A.J.、Walfish，M.：远程计算的实用和无条件验证。摘自：《第13届USENIX操作系统热点会议论文集》，第29页，HotOS 2011（2011） [70] Setty，S.、Braun，B.、Vu，V.、Blumberg，A.J.、Parno，B.、Walfish，M.：解决验证计算中普遍性和合理性之间的冲突。摘自：第八届EuoroSys会议记录，第71–84页，EuroSys 2013（2013）·doi:10.1145/2465351.2465359 [71] Setty，S.，McPherson，M.，Blumberg，A.J.，Walfish，M.：使外包计算的论证系统实用（有时）。2012年网络和分布式系统安全研讨会论文集，NDSS 2012（2012） [72] Setty，S.，Vu，V.，Panpalia，N.，Braun，B.，Blumberg，A.J.，Walfish，M.：将基于证明的验证计算更接近实用性。摘自：《第21届USENIX安全研讨会论文集》，第253-268页，《2012年安全》（2012） [73] Thaler，J.：电路评估的时间最优交互证明。收录人：Canetti，R.，Garay，J.A.（编辑）《密码》2013。LNCS，第8043卷，第71-89页。斯普林格，海德堡（2013）。doi:10.1007/978-3-642-40084-15·Zbl 1316.94093号 ·doi:10.1007/978-3-642-40084-15 [74] Valiant，P.：增量可验证的计算或知识证明意味着时间/空间效率。收录：Canetti，R.（编辑）TCC 2008。LNCS，第4948卷，第1-18页。施普林格，海德堡（2008）。doi:10.1007/978-3-540-78524-8_1·兹比尔1162.68448 ·doi:10.1007/978-3-540-78524-8_1 [75] Vu，V.、Setty，S.、Blumberg，A.J.、Walfish，M.：交互式可验证计算的混合架构。摘自：第34届IEEE安全与隐私研讨会会议记录，2013年奥克兰，第223-237页（2013）·doi:10.1109/SP.2013.48 [76] Wahby，R.S.，Setty，S.T.V.，Ren，Z.，Blumberg，A.J.，Walfish，M.：可验证外包计算中的高效RAM和控制流。参加：第22届网络和分布式系统安全年度研讨会，NDSS 2015，圣地亚哥，2014年2月8日至11日（2015年）·doi:10.14722/ndss.20155.23097 [77] Walfish，M.，Blumberg，A.J.：验证计算而不重新执行。Commun公司。ACM 58（2），74-84（2015）。http://doi.acm.org/10.1145/2641562 ·数字对象标识代码：10.1145/2641562 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。