阿比拉姆·科塔帕利;布莱恩·帕诺 知识的代数约简。 （英语） Zbl 07800224号 Handschuh，Helena（编辑）等人，《密码学进展——密码2023》。第43届年度国际密码学会议，2023年8月20日至24日，美国加利福尼亚州圣巴巴拉市，CRYPTO 2023。诉讼程序。第四部分查姆：斯普林格。莱克特。注释计算。科学。14084, 669-701 (2023).MSC公司：94A60型 94A05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kothapalli}和\textit{B.Parno}，莱克特。注释计算。科学。14084、669--701（2023；Zbl 07800224） 全文： 内政部
乔纳森·布特尔;亚历山德罗·奇埃萨;卡特琳娜·索蒂拉基 基于格的NP简洁参数，具有多对数时间验证。 （英语） Zbl 07799223号 Handschuh，Helena（编辑）等人，《密码学进展——密码2023》。第43届年度国际密码学会议，2023年8月20日至24日，美国加利福尼亚州圣巴巴拉市，CRYPTO 2023。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。14082227-251（2023年）。MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.Bootle}等人，Lect。注释计算。科学。14082227--251（2023；Zbl 07799223） 全文： 内政部
亚历山大·戈洛夫涅夫;乔纳森·李;斯琳塔·塞蒂;贾斯汀·泰勒;Riad S.瓦比。 制动：R1CS的线性时间和现场诊断SNARK。 （英语） Zbl 1531.94057号 Handschuh，Helena（编辑）等人，《密码学进展——密码2023》。第43届年度国际密码学会议，2023年8月20日至24日，美国加利福尼亚州圣巴巴拉市，CRYPTO 2023。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。14082, 193-226 (2023).MSC公司：94A60型 94B05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Golovenv}等人，莱克特。注释计算。科学。14082、193--226（2023年；Zbl 1531.94057） 全文： 内政部
丹尼尔·穆萨托夫;乔治·波塔波夫 理性交互证明的结构复杂性。 （英语） Zbl 07787584号 Della Vedova，Gianluca（编辑）等人，《逻辑与计算的统一》。第19届欧洲可计算性会议，2023年7月24日至28日，格鲁吉亚巴统，CiE 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13967, 231-245 (2023).MSC公司：03B70号 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{D.穆萨托夫}和\textit{G.波塔波夫}，莱克特。注释计算。科学。13967、231--245（2023；Zbl 07787584） 全文： 内政部 arXiv公司
陈彬仪;贝内迪克特·本茨;Dan Boneh;张振飞 HyperPlonk：带有线性时间校准器和高角度自定义门的Plonk。 （英语） Zbl 07773997号 Hazay，Carmit（编辑）等人，《密码学进展–EUROCRYPT 2023》。第42届密码技术理论与应用国际年会，法国里昂，2023年4月23日至27日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。14005, 499-530 (2023).MSC公司：94A60型 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{B.Chen}等人，Lect。注释计算。科学。14005499-530（2023；Zbl 07773997） 全文： 内政部
Yael Tauman卡莱;亚历克斯·伦巴第;维诺德·瓦昆塔坦 根据Diffie-Hellman决策假设得出的SNARG和PPAD硬度。 （英语） Zbl 07773996号 Hazay，Carmit（编辑）等人，《密码学进展–EUROCRYPT 2023》。第42届密码技术理论与应用国际年会，法国里昂，2023年4月23日至27日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。14005年，470-498年（2023年）。MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit{Y.T.Kalai}等人，Lect。注释计算。科学。14005、470--498（2023；Zbl 07773996） 全文： 内政部
沃德·贝伦斯;卢卡·德费奥;史蒂文·加尔布雷思。;克里斯托夫·佩蒂特 证明等基因知识：一项调查。 （英语） Zbl 1526.94025号 设计。代码加密 91，第11号，3425-3456（2023年）.MSC公司：94A60型 11G20峰会 14克02 14G50型 81页94 PDF格式BibTeX公司 XML格式引用 \textit{W.Beullens}等人，Des。密码术91，No.11，3425--3456（2023；Zbl 1526.94025） 全文： 内政部 链接
斯科特·艾姆斯;卡米特·哈扎伊;尤瓦尔·伊斯海;Muthuramakrishnan的Venkitasubramaniam Ligero：没有可信设置的轻量级次线性参数。 （英语） Zbl 1527.94013号 设计。代码加密 91，第11号，3379-3424（2023）.MSC公司：94A60型 68第25页 81页94 94C05（二氧化碳） 94B05型 PDF格式BibTeX公司 XML格式引用 \textit{S.Ames}等人，Des。密码术91，No.11，3379--3424（2023；Zbl 1527.94013） 全文： 内政部
海尔格尔·利帕;雅诺·西姆;Zając，Michał 吸血鬼计数：从单变量汇总到可更新的ZK-SNARK。 （英语） Zbl 1519.94159号 Agrawal，Shweta（编辑）等人，《密码学进展——亚洲密码2022》。第28届国际密码学和信息安全理论与应用会议，台湾台北，2022年12月5日至9日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13792, 249-278 (2023).MSC公司：94A60型 94A05型 PDF格式BibTeX公司 XML格式引用 \textit｛H.Lipmaa｝等人，Lect。注释计算。科学。13792、249--278（2023年；Zbl 1519.94159） 全文： 内政部
罗素·英帕利亚佐;瓦伦丁·卡巴内茨;伊利亚·沃尔科维奇 自然属性作为神谕的力量。 （英语） Zbl 1529.68111号 计算。复杂性 32，第2号，第6号论文，40页（2023年）.MSC公司：2015年第68季度 2006年第68季度 2017年第68季度 65年第68季度 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{R.Impagliazzo}等人，《计算》。复杂性32，第2号，第6号论文，40页（2023年；Zbl 1529.68111） 全文： 内政部 链接
尼尔·比坦斯基;阿卡莱·乔杜里;贾斯汀·霍姆格伦;契丹·卡马特;亚历克斯·隆巴迪;奥马尔·帕内思;罗恩·罗斯布卢姆。 PPAD与LWE一样困难，并且需要迭代平方。 （英语） Zbl 1519.94057号 Kiltz，Eike（编辑）等人，《密码学理论》。第20届国际会议，TCC 2022，美国伊利诺伊州芝加哥，2022年11月7日至10日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13748, 593-622 (2023).MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit{N.Bitansky}等人，Lect。注释计算。科学。13748593--622（2023年；Zbl 1519.94057） 全文： 内政部
爱德华多·索里亚·瓦兹克斯 无限环和非交换环上的双重有效交互证明。 （英语） 兹比尔1519.94188 Kiltz，Eike（编辑）等人，《密码学理论》。第20届国际会议，TCC 2022，美国伊利诺伊州芝加哥，2022年11月7日至10日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13747, 497-525 (2023).MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \文本｛E.Soria Vazquez｝，勒克特。注释计算。科学。13747497-525（2023年；Zbl 1519.94188） 全文： 内政部
伊莱·本·萨森;丹·卡蒙;科帕蒂，纳粹党徽;大卫·利未 通过椭圆曲线，在所有大字段上进行可伸缩和透明的证明。欧洲自由贸易区。二、。 （英语） Zbl 1521.94028号 Kiltz，Eike（编辑）等人，《密码学理论》。第20届国际会议，TCC 2022，美国伊利诺伊州芝加哥，2022年11月7日至10日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13747, 467-496 (2023).MSC公司：94A60型 94B05型 81页94 PDF格式BibTeX公司 XML格式引用 \textit｛E.Ben Sasson｝等人，Lect。注释计算。科学。13747467--496（2023年；Zbl 1521.94028） 全文： 内政部
阿比拉姆·科塔帕利;斯琳塔·塞蒂;伊奥娜·齐亚拉 Nova：来自折叠方案的递归零知识参数。 （英语） Zbl 1517.94119号 Dodis，Yevgeniy（编辑）等人，《密码学进展——密码2022》。2022年8月15日至18日，美国加利福尼亚州圣巴巴拉，第42届国际密码学年会，2022年加密技术大会。诉讼程序。第四部分查姆：斯普林格。莱克特。注释计算。科学。13510, 359-388 (2022).MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kothapalli}等人，Lect。注释计算。科学。13510359-388（2022年；Zbl 1517.94119） 全文： 内政部
沃特斯，布伦特;大卫·J·吴。 的批处理参数NP公司更多来自标准双线性组假设。 （英语） Zbl 1515.68143号 Dodis，Yevgeniy（编辑）等人，《密码学进展——密码2022》。2022年8月15日至18日，美国加利福尼亚州圣巴巴拉，第42届国际密码学年会，2022年加密技术大会。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13508, 433-463 (2022).MSC公司：2010年第68季度 2015年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit｛B.Waters｝和\textit｛D.J.Wu｝，Lect。注释计算。科学。13508、433--463（2022；Zbl 1515.68143） 全文： 内政部
Nguyen、Ngoc Khanh;格雷戈·塞勒 格上R1CS的实用次线性证明。 （英语） Zbl 1514.94121号 Dodis，Yevgeniy（编辑）等人，《密码学进展——密码2022》。2022年8月15日至18日，美国加利福尼亚州圣巴巴拉，第42届国际密码学年会，2022年加密技术大会。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13508, 133-162 (2022).MSC公司：94A60型 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{N.K.Nguyen}和\textit{G.Seiler}，Lect。注释计算。科学。13508，133--162（2022；Zbl 1514.94121） 全文： 内政部
本杰明·贾鲁居伊;佩德罗·蒙塔雷格里;伊凡·拉帕波特 一些几何相交图类识别的分布式交互证明。 （英语） Zbl 07615859号 Parter，Merav（编辑），《结构信息和通信复杂性》。第29届国际学术讨论会，SIROCCO 2022，德国帕德博恩，2022年6月27日至29日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。13298, 212-233 (2022).MSC公司：6800万 2011年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{B.Jauregui}等人，Lect。注释计算。科学。13298、212--233（2022；Zbl 07615859） 全文： 内政部 arXiv公司
塞瓦格·加里比安;米克洛斯·桑塔;杰米·西科拉;阿瑟·桑达拉姆;贾斯汀·伊尔卡 多项式层次的量子推广及其在（mathrm{QMA（2）}中的应用。 （英语） Zbl 1512.68101号 计算。复杂性 31，第2期，第13号论文，52页（2022年）.MSC公司：2012年第68季度 2015年第68季度 81页68 90C22型 PDF格式BibTeX公司 XML格式引用 \textit{S.Gharbian}等人，计算。复杂性31，第2号，第13号论文，52页（2022；Zbl 1512.68101） 全文： 内政部
乔纳森·布特尔;亚历山德罗·奇埃萨;胡云聪;米歇尔·奥鲁 双子座：适用于不同环境的弹性SNARK。 （英语） Zbl 1497.68208号 Dunkelman，Orr（编辑）等人，《密码学进展——欧洲密码2022》。第41届密码技术理论与应用国际年会，挪威特隆赫姆，2022年5月30日至6月3日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13276, 427-457 (2022).MSC公司：2010年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.Bootle}等人，Lect。注释计算。科学。13276427--457（2022年；Zbl 1497.68208） 全文： 内政部
加尔·阿诺;亚历山德罗·奇埃萨;伊伦·约盖夫 用于交互式证明和应用的PCP定理。 （英语） Zbl 1497.68207号 Dunkelman，Orr（编辑）等人，《密码学进展——欧洲密码2022》。第41届密码技术理论与应用国际年会，挪威特隆赫姆，2022年5月30日至6月3日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13276, 64-94 (2022).MSC公司：2010年第68季度 2011年第68季度 2015年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{G.Arnon}等人，Lect。注释计算。科学。13276，64-94（2022；Zbl 1497.68207） 全文： 内政部
张双军;Kan，海滨;王立广 预处理全息证明中秩-1约束可满足性的简洁非交互参数。 （英语） Zbl 07570320号 西奥。计算。科学。 927, 148-161 (2022).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Zhang}等人，Theor。计算。科学。927、148--161（2022；Zbl 07570320） 全文： 内政部
陈丽杰;任汉林 非平凡去零化的强平均情形电路下界。 （英语） Zbl 07534654号 SIAM J.计算。 51，编号3，STOC20-115-STOC20-173（2022）.MSC公司：2005年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Chen}和\textit{H.Ren}，SIAM J.Compute。51，3号，STOC2--115-STOC20-173（2022；Zbl 07534654） 全文： 内政部
亚历山德罗·奇埃萨;迈克尔·福布斯。;古尔，汤姆;尼古拉斯·斯普纳 即使在量子世界中，空间隔离也意味着零知识。 （英语） Zbl 07500721号 美国临床医学杂志 69，第2条，第15条，第44页（2022年）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Chiesa}等人，J.ACM 69，第2号，第15条，第44页（2022年；Zbl 07500721） 全文： 内政部 链接
彼得·比尔吉塞（编辑）;伊丽特·迪努尔（编辑）;萨利尔·瓦丹（编辑） 复杂性理论。2021年11月14日至20日举行的研讨会（混合会议）摘要。 （英语） Zbl 1506.00050号 Oberwolfach众议员。 第4期第18期，2955-3005（2021）.MSC公司：00亿05 00B25型 68-06 第68季度01 2017年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bürgisser}（编辑）等人，Oberwolfach Rep.18，No.4，2955--3005（2021；Zbl 1506.00050） 全文： 内政部
阿卡莱·乔杜里;阿披实·耆那;金正中 标准假设中NP的非交互式批参数。 （英语） Zbl 1486.68079号 Malkin，Tal（编辑）等人，《密码学进展-密码2021》。第41届国际密码学年会，2021年8月16日至20日，CRYPTO 2021，虚拟事件。诉讼程序。第四部分查姆：斯普林格。莱克特。注释计算。科学。12828, 394-423 (2021).MSC公司：2015年第68季度 2010年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Choudhuri}等人，Lect。注释计算。科学。12828394--423（2021年；Zbl 1486.68079） 全文： 内政部
阿什鲁吉特·戈沙尔;斯特凡诺·特萨罗 代数群模型中的紧密状态存储稳健性。 （英语） Zbl 1487.94116号 Malkin，Tal（编辑）等人，《密码学进展-密码2021》。第41届国际密码学年会，2021年8月16日至20日，CRYPTO 2021，虚拟事件。诉讼程序。第三部分查姆：斯普林格。莱克特。注释计算。科学。12827, 64-93 (2021).MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit｛A.Ghoshal｝和\textit｛S.Tessaro｝，Lect。注释计算。科学。12827，64-93（2021；Zbl 1487.94116） 全文： 内政部
乔纳森·布特尔;亚历山德罗·奇埃萨;卡特琳娜·索蒂拉基 Sumcheck参数及其应用。 （英语） Zbl 1485.94062号 Malkin，Tal（ed.）等人，《密码学进展——CRYPTO 2021》。第41届国际密码学年会，2021年8月16日至20日，CRYPTO 2021，虚拟事件。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12825, 742-773 (2021).MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.Bootle}等人，Lect。注释计算。科学。12825742--773（2021年；Zbl 1485.94062） 全文： 内政部
亚龙·格维利;哈，朱莉;莎拉·谢夫勒;马扬克瓦里亚;杨子玲;张新元 TurboIKOS：改进的非交互式零知识和后量子签名。 （英语） Zbl 1492.94190号 Sako，Kazue（编辑）等人，《应用密码学与网络安全》。2021年6月21日至24日，第19届国际会议，ACNS 2021，日本镰仓。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12727, 365-395 (2021).MSC公司：94A62 81页94 PDF格式BibTeX公司 XML格式引用 \textit{Y.Gvili}等人，Lect。注释计算。科学。12727365-395（2021年；Zbl 1492.94190） 全文： 内政部
古尔，汤姆;刘，杨平。;罗恩·罗斯布卢姆。 指数分隔妈妈和调幅接近性证明。 （英语） Zbl 1508.68113号 计算。复杂性 30，第2号，第12号论文，44页（2021年）.MSC公司：2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Gur}等人，计算。复杂性30，第2号，第12号论文，44页（2021；Zbl 1508.68113） 全文： 内政部
奥德·戈尔德雷奇;古尔，汤姆 通用的局部可验证代码和CSP的3轮交互式邻近性证明。 （英语） Zbl 1512.94128号 西奥。计算。科学。 878-879, 83-101 (2021).MSC公司：94B05型 2011年第68季度 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{O.Goldreich}和\textit{T.Gur}，Theor。计算。科学。878--879、83-101（2021年；Zbl 1512.94128） 全文： 内政部
奥马尔·莱因戈尔德;Guy N.罗斯布卢姆。;罗恩·罗斯布卢姆。 委托计算的持续交互式证明。 （英语） Zbl 1464.68128号 SIAM J.计算。 50，3号，STOC16-255-STOC16-340（2021）.MSC公司：65年第68季度 2010年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Reingold}等人，SIAM J.Compute。50，3号，STOC16--255-STOC16--340（2021；Zbl 1464.68128） 全文： 内政部
阿米特·查克拉巴蒂;普兰塔·戈什;贾斯汀·泰勒 图形问题的流验证：最佳权衡和非线性草图。 （英语） Zbl 07758324号 Byrka，Jarosław（编辑）等，近似、随机化和组合优化。算法和技术。第23届国际会议，约2020年，第24届国际会议（RANDOM 2020，2020年8月17日至19日），虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。176，第22条，第23页（2020年）。MSC公司：68瓦20 68周25 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Chakrabarti}等人，LIPIcs——莱布尼茨国际程序。通知。176，第22条，第23页（2020；Zbl 07758324） 全文： 内政部 arXiv公司
斯琳塔·塞蒂 Spartan：高效且通用的zksNARK，无需可信设置。 （英语） Zbl 1504.94185号 Micciancio，Daniele（编辑）等人，《密码学进展——密码2020》。第40届国际密码学年会，2020年8月17日至21日，美国加利福尼亚州圣巴巴拉，CRYPTO 2020。诉讼程序。第三部分查姆：斯普林格。莱克特。注释计算。科学。12172, 704-737 (2020).MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Setty}，莱克特。注释计算。科学。12172、704--737（2020年；Zbl 1504.94185） 全文： 内政部
Yael Tauman卡莱;奥马尔·帕内思;杨丽萨 具有可更新的明确证明和PPAD硬度的授权。 （英语） Zbl 1504.94153号 Micciancio，Daniele（编辑）等人，《密码学进展——密码2020》。第40届国际密码学年会，2020年8月17日至21日，美国加利福尼亚州圣巴巴拉，CRYPTO 2020。诉讼程序。第三部分查姆：斯普林格。莱克特。注释计算。科学。12172, 652-673 (2020).MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit{Y.T.Kalai}等人，Lect。注释计算。科学。12172、652--673（2020年；Zbl 1504.94153） 全文： 内政部 链接
亚历克斯·伦巴第;维诺德·瓦昆塔坦 Fiat-Shamir用于反复平方，适用于PPAD硬度和VDF。 （英语） Zbl 1504.94168号 Micciancio，Daniele（编辑）等人，《密码学进展——密码2020》。第40届国际密码学年会，CRYPTO 2020，美国加利福尼亚州圣巴巴拉，2020年8月17日至21日。诉讼程序。第三部分查姆：斯普林格。莱克特。注释计算。科学。12172, 632-651 (2020).MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit{A.Lombardi}和\textit{V.Vaikuntanathan}，莱克特。注释计算。科学。12172、632--651（2020年；Zbl 1504.94168） 全文： 内政部 链接
奥德·戈尔德雷奇;Guy N.罗斯布卢姆。 AC0[2]和NC1的恒定交互式证明系统。 （英语） Zbl 07578395号 Goldreich，Oded（编辑），计算复杂性和性能测试。关于随机性和计算之间的相互作用。查姆：斯普林格。莱克特。注释计算。科学。12050, 326-351 (2020).MSC公司：65年第68季度 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{O.Goldreich}和\textit{G.N.Rothblum}，莱克特。注释计算。科学。12050326--351（2020；Zbl 07578395） 全文： 内政部
奥德·戈尔德雷奇;玛雅·莱斯科维茨 关于用公共硬币模拟交互式校样。 （英语） Zbl 07578389号 Goldreich，Oded（编辑），计算复杂性和性能测试。关于随机性和计算之间的相互作用。查姆：斯普林格。莱克特。注释计算。科学。12050, 178-198 (2020).MSC公司：65年第68季度 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{O.Goldreich}和\textit{M.Leshkowitz}，莱克特。注释计算。科学。12050、178--198（2020；Zbl 07578389） 全文： 内政部
内奥米·以法莲;科迪·弗雷塔格;伊兰·科马尔戈德斯基;通过，拉斐尔 连续可验证的延迟功能。 （英语） Zbl 1479.94164号 Canteaut，Anne（编辑）等人，《密码学进展–EUROCRYPT 2020》。第39届密码技术理论与应用国际年会，克罗地亚萨格勒布，2020年5月10日至14日。诉讼程序。第三部分查姆：斯普林格。莱克特。注释计算。科学。12107125-154（2020）。MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit{N.Ephraim}等人，Lect。注释计算。科学。12107125-154（2020年；1479.94164兹罗提） 全文： 内政部
亚历山德罗·奇埃萨;德夫·奥哈;尼古拉斯·斯普纳 分形：全息的量子后和透明递归证明。 （英语） Zbl 07436938号 Canteaut，Anne（编辑）等人，《密码学进展–EUROCRYPT 2020》。第39届密码技术理论与应用国际年会，克罗地亚萨格勒布，2020年5月10日至14日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12105, 769-793 (2020).MSC公司：68季度xx 94A60型 81页94 PDF格式BibTeX公司 XML格式引用 \textit{A.Chiesa}等人，Lect。注释计算。科学。12105769--793（2020；Zbl 07436938） 全文： 内政部
古尔，汤姆;戈文德·拉姆纳拉扬;罗恩·罗斯布卢姆 松弛的局部可纠正代码。 （英语） 兹比尔1477.68110 理论计算。 16，第18号论文，68页（2020年）.MSC公司：2010年第68季度 68页30 PDF格式BibTeX公司 XML格式引用 \textit{T.Gur}等人，理论计算。16，第18号论文，68页（2020年；Zbl 1477.68110） 全文： 内政部
科迪·默里。;R.Ryan威廉姆斯 从一个新的易证明引理得到非确定拟多项式的回路下界。 （英语） Zbl 1494.68096号 SIAM J.计算。 49，编号5，STOC18-300-STOC18-322（2020）.MSC公司：65年第68季度 2006年第68季度 2015年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.D.Murray}和\textit{R.R.Williams}，SIAM J.Compute。49，5号，STOC18--300-STOC18--322（2020；Zbl 1494.68096） 全文： 内政部
亚当·博兰德;陈丽杰;迪拉杰·霍尔登;贾斯汀·泰勒;普拉珊·纳里尼·瓦苏德万 关于统计零知识的力量。 （英语） Zbl 1452.68081号 SIAM J.计算。 49，第4号，FOCS17-1-FOCS17-58（2020）.MSC公司：2015年第68季度 2010年第68季度 2011年第68季度 2017年第68季度 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouland}等人，SIAM J.Compute。49，第4号，FOCS17--1-FOCS17-58（2020；Zbl 1452.68081） 全文： 内政部 arXiv公司
托马斯·维迪克 大规模验证量子计算：量子设备上的密码束缚。 （英语） 兹比尔1429.81024 牛。美国数学。Soc.，新Ser。 57，第1号，39-76（2020）.MSC公司：81页68 81页94 2012年第68季度 94A60型 第81页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{T.Vidick}，公牛。美国数学。Soc.，新Ser。57，第1号，39--76（2020；Zbl 1429.81024） 全文： 内政部
阿米特·查克拉巴蒂;普兰塔·戈什 通过图形结构对图形计算进行流式验证。 （英语） Zbl 07650137号 Achlioptas，Dimitris（编辑）等人，《近似、随机化和组合优化》。算法与技术，第22届国际会议，约2019年，第23届国际会议（随机2019年），马萨诸塞州剑桥麻省理工学院，2019年9月20日至22日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。145，第70条，第20页（2019年）。MSC公司：68瓦20 68周25 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Chakrabarti}和\textit{P.Ghosh}，LIPIcs——莱布尼茨国际程序。通知。145，第70条，第20页（2019年；Zbl 07650137） 全文： 内政部
陈丽杰;麦凯，迪伦·M。;科迪·默里。;R.Ryan威廉姆斯 电路下界与Karp-Lipton定理之间的关系和等价性。 （英语） Zbl 07564430号 Shpilka，Amir（编辑），第34届计算复杂性会议，CCC 2019，新泽西州新不伦瑞克，2019年7月18-20日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。137，第30条，第21页（2019年）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Chen}等人，LIPIcs——莱布尼茨国际程序。通知。137，第30条，第21页（2019年；Zbl 07564430） 全文： 内政部
陈静;塞缪尔·麦考利;辛格、希卡 非合作理性交互证明。 （英语） 兹伯利07525466 Bender，Michael A.（编辑）等人，第27届欧洲算法年会，《2019年欧洲账户体系》，德国慕尼黑/加兴，2019年9月9日至11日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。144，第29条，第16页（2019年）。MSC公司：68瓦xx PDF格式BibTeX公司 XML格式引用 \textit{J.Chen}等人，LIPIcs——莱布尼茨国际程序。通知。144，第29条，第16页（2019年；Zbl 07525466） 全文： 内政部 arXiv公司
孔玉清;克里斯·佩克特;格兰特·斯科内贝克;陶彪帅 外包计算：最小引用机制。 （英语） Zbl 1435.68100号 Caragiannis，Ioannis（编辑）等人，《网络和互联网经济学》。2019年12月10日至12日，第15届国际会议，WINE 2019，美国纽约州纽约市。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11920, 256-270 (2019).MSC公司：2009年第68季度 2010年第68季度 91B03型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kong}等人，Lect。注释计算。科学。11920、256-270（2019年；Zbl 1435.68100） 全文： 内政部 arXiv公司
亚历山德罗·奇埃萨;彼得·马诺哈尔;尼古拉斯·斯普纳 量子随机预言模型中的简洁参数。 （英语） Zbl 1455.94140号 Dennis Hofheinz等人，《密码学理论》。第17届国际会议，TCC 2019，德国纽伦堡，2019年12月1-5日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。11892, 1-29 (2019).MSC公司：94A60型 81页94 PDF格式BibTeX公司 XML格式引用 \textit{A.Chiesa}等人，Lect。注释计算。科学。11892，1-29（2019；Zbl 1455.94140） 全文： 内政部
安德烈亚斯·比约克隆德;佩特里·卡斯基;莱恩·威廉姆斯 广义Kakeya集用于多项式求值和费米子的快速计算。 （英语） Zbl 1430.68032号 算法 81，第10号，4010-4028（2019）.MSC公司：68第05页 2006年11月 2016年11月 15甲15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Björklund}等人，Algorithmica 81，No.10，4010--4028（2019；Zbl 1430.68032） 全文： 内政部
阿米特·查克拉巴蒂;格雷厄姆·科尔莫德;安德鲁·麦格雷戈;贾斯汀·泰勒;苏雷什·文卡塔苏布拉曼尼亚 可验证流计算和Arthur-Merlin通信。 （英语） Zbl 1430.68114号 SIAM J.计算。 48，第4期，1265-1299（2019）.MSC公司：2009年第68季度 2010年第68季度 2011年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛A.Chakrabarti｝等人，SIAM J.Comput。48，第4号，1265--1299（2019；Zbl 1430.68114） 全文： 内政部
马尔蒂恩·巴尔茨;克劳斯·米尔 实数计算的交互式证明和Shamir-like结果。 （英语） Zbl 1429.68075号 计算。复杂性 第3期第28期第437-469页（2019年）.MSC公司：2015年第68季度 03D78号 2009年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Baartse}和\textit{K.Meer}，计算。复杂性28，No.3，437--469（2019；Zbl 1429.68075） 全文： 内政部
弘田小林;弗朗索瓦·勒·加尔;西村春日 广义量子Arthur-Merlin博弈。 （英语） Zbl 1421.68052号 SIAM J.计算。 48，第3号，865-902（2019）.MSC公司：2012年第68季度 2010年第68季度 2015年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{H.Kobayashi}等人，SIAM J.Compute。48，第3号，865--902（2019；Zbl 1421.68052） 全文： 内政部
朱利安·基弗;雷迪克·莫尔瓦;埃尔维·查巴内 用于可验证计算的有效证明组合。 （英语） Zbl 1496.68067号 Lopez，Javier（编辑）等人，《计算机安全》。第23届欧洲计算机安全研究研讨会，2018年ESORICS，西班牙巴塞罗那，2018年9月3-7日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。11098, 152-171 (2018).MSC公司：68平方米25 68T05型 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.Keuffer}等人，莱克特。注释计算。科学。11098、152--171（2018；Zbl 1496.68067） 全文： 内政部
玛雅·莱斯科维茨 交互式证明中的圆形复杂性与随机复杂性。 （英语） Zbl 1522.68227号 Blais，Eric（编辑）等人，《近似、随机化和组合优化》。算法和技术。第21届国际研讨会，APPROX 2018，第22届国际研讨会，RANDOM 2018，2018年8月20日至22日，美国普林斯顿。会议记录。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。116，第49条，第16页（2018年）。MSC公司：2010年第68季度 2015年第68季度 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{M.Leshkowitz}，LIPIcs——莱布尼茨国际程序。通知。116，第49条，第16页（2018；Zbl 1522.68227） 全文： 内政部
塞瓦格·加里比安;米克洛斯·桑塔;杰米·西科拉;阿瑟·桑达拉姆;贾斯汀·伊尔卡 多项式层次的量子推广及其在QMA中的应用（2）。 （英语） Zbl 1512.68100号 Potapov，Igor（编辑）等人，第43届计算机科学数学基础国际研讨会。2018年8月27日至31日，英国利物浦，MFCS 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117，第58条，第16页（2018年）。MSC公司：2012年第68季度 2015年第68季度 81页68 90C22型 PDF格式BibTeX公司 XML格式引用 \textit{S.Gharbian}等人，LIPIcs——莱布尼茨国际程序。通知。117，第58条，第16页（2018；Zbl 1512.68100） 全文： 内政部 arXiv公司
法国勒加尔;森美（Tomoyuki Morimae）;西村春日;Yuki Takeuchi 利用多项式时间量子证明器进行交互式证明，以计算可解群的阶。 （英语） Zbl 1512.68102号 Potapov，Igor（编辑）等人，第43届计算机科学数学基础国际研讨会。2018年8月27日至31日，英国利物浦，MFCS 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117，第26条，第13页（2018年）。MSC公司：2012年第68季度 20日第10天 2010年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{F.Le Gall}等人，LIPIcs——莱布尼茨国际程序。通知。117，第26条，第13页（2018；Zbl 1512.68102） 全文： 内政部 arXiv公司
古尔，汤姆;刘，杨平。;罗恩·罗斯布卢姆。 MA和AM之间的指数分离是接近性的证明。 （英语） Zbl 1499.68117号 Chatzigiannakis，Ioannis（编辑）等人，第45届自动化、语言和编程国际研讨会。2018年7月9日至13日，捷克共和国布拉格，ICALP 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107，第73条，第15页（2018年）。MSC公司：2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Gur}等人，LIPIcs——莱布尼茨国际程序。通知。107，第73条，第15页（2018；Zbl 1499.68117） 全文： 内政部
伊莱·本·萨森;伊多·本托夫;伊农·霍雷什;迈克尔·里亚布泽夫 快速Reed-Solomon交互式甲骨文邻近性证明。 （英语） 兹比尔1499.68141 Chatzigiannakis，Ioannis（编辑）等人，第45届自动化、语言和编程国际研讨会。2018年7月9日至13日，捷克共和国布拉格，ICALP 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107，第14条，第17页（2018年）。MSC公司：65年第68季度 2010年第68季度 94A60型 94B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{E.Ben-Sasson}等人，LIPIcs——莱布尼茨国际程序。通知。107，第14条，第17页（2018；Zbl 1499.68141） 全文： 内政部
斯里尼瓦桑;苏丹，马杜 网格上多项式的局部解码和测试。 （英语） Zbl 1462.68052号 Karlin，Anna R.（编辑），2018年1月11日至14日，美国马萨诸塞州剑桥，第9届计算机科学理论创新会议，ITCS 2018。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。94，第26条，第14页（2018年）。MSC公司：2010年第68季度 68页30 68瓦20 94B35码 PDF格式BibTeX公司 XML格式引用 \textit{S.Srinivasan}和\textit{M.Sudan}，LIPIcs——莱布尼茨国际程序。通知。94，第26条，第14页（2018；兹bl 1462.68052） 全文： 内政部
奥德·戈尔德雷奇;Guy N.罗斯布卢姆。 局部可特征集的简单双效交互式证明系统。 （英语） Zbl 1462.68048号 Karlin，Anna R.（编辑），2018年1月11日至14日，美国马萨诸塞州剑桥，第9届计算机科学理论创新会议，ITCS 2018。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。94，第18条，第19页（2018年）。MSC公司：2010年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Goldreich}和\textit{G.N.Rothblum}，LIPIcs——莱布尼茨国际程序。通知。94，第18条，第19页（2018；Zbl 1462.68048） 全文： 内政部
伊莱·本·萨森;科帕蒂，纳粹党徽;Shubhangi Saraf 代码距离的最坏情况到平均情况的减少。 （英语） Zbl 1441.68035号 Servedio，Rocco A.（编辑），第33届计算复杂性会议，CCC 2018，2018年6月22日至24日，美国加利福尼亚州圣地亚哥。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。102，第24条，第23页（2018年）。MSC公司：68页30 94B05型 PDF格式BibTeX公司 XML格式引用 \textit{E.Ben-Sasson}等人，LIPIcs——莱布尼茨国际程序。通知。102，第24条，第23页（2018；Zbl 1441.68035） 全文： 内政部
奥马尔·莱因戈尔德;Guy N.罗斯布卢姆。;罗恩·罗斯布卢姆。 UP的高效批验证。 （英语） Zbl 1441.68101号 Servedio，Rocco A.（编辑），第33届计算复杂性会议，CCC 2018，2018年6月22日至24日，美国加利福尼亚州圣地亚哥。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。102，第22条，第23页（2018年）。MSC公司：65年第68季度 2011年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Reingold}等人，LIPIcs——莱布尼茨国际程序。通知。102，第22条，第23页（2018；Zbl 1441.68101） 全文： 内政部
阿南德·纳塔拉詹;托马斯·维迪克 双人纠缠游戏是NP-hard。 （英语） Zbl 1441.68079号 Servedio，Rocco A.（编辑），第33届计算复杂性会议，CCC 2018，2018年6月22日至24日，美国加利福尼亚州圣地亚哥。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。102，第20条，第18页（2018年）。MSC公司：2017年第68季度 81页68 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Natarajan}和\textit{T.Vidick}，LIPIcs——莱布尼茨国际程序。通知。102，第20条，第18页（2018；Zbl 1441.68079） 全文： 内政部 arXiv公司
亚历山德罗·奇埃萨;彼得·马诺哈尔;伊戈尔·辛卡 针对非信号策略测试线性。 （英语） Zbl 1441.68282号 Servedio，Rocco A.（编辑），第33届计算复杂性会议，CCC 2018，2018年6月22日至24日，美国加利福尼亚州圣地亚哥。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。102，第17条，第37页（2018年）。MSC公司：68瓦20 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Chiesa}等人，LIPIcs——莱布尼茨国际程序。通知。102，第17条，第37页（2018；兹bl 1441.68282） 全文： 内政部
罗素·英帕利亚佐;瓦伦丁·卡巴内茨;伊利亚·沃尔科维奇 作为神谕的自然属性的力量。 （英语） Zbl 1441.68060号 Servedio，Rocco A.（编辑），第33届计算复杂性会议，CCC 2018，2018年6月22日至24日，美国加利福尼亚州圣地亚哥。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。102，第7条，第20页（2018年）。MSC公司：2015年第68季度 2006年第68季度 2017年第68季度 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{R.Impagliazzo}等人，LIPIcs——莱布尼茨国际程序。通知。102，第7条，20 p.（2018；Zbl 1441.68060） 全文： 内政部
安德烈亚斯·比约克隆德;佩特里·卡斯基;莱恩·威廉姆斯 广义Kakeya集用于多项式求值和费米子的快速计算。 （英语） Zbl 1443.68043号 Lokshtanov，Daniel（编辑）等人，第十二届参数化和精确计算国际研讨会，2017年国际物理工程委员会，奥地利维也纳，2017年9月6日至8日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。89，第6条，第13页（2018年）。MSC公司：68第05页 2006年11月 2016年11月 15甲15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Björklund}等人，LIPIcs——莱布尼茨国际程序。通知。89，第6条，第13页（2018；Zbl 1443.68043） 全文： 内政部
迈克尔·福布斯。;阿米尔·什皮尔卡;沃尔克，本·李 简洁地击中集合和障碍，以证明代数电路的下限。 （英语） Zbl 1412.68081号 理论计算。 14，论文编号18，45 p.（2018）.MSC公司：65年第68季度 2017年第68季度 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Forbes}等人，理论计算。14，第18号文件，第45页（2018；兹bl 1412.68081） 全文： 内政部
瓦迪姆·卢巴舍夫斯基;格雷戈·塞勒 部分分裂分圆环中的短可逆元及其在基于格的零知识证明中的应用。 （英语） Zbl 1423.94087号 Nielsen，Jesper Buus（编辑）等人，《密码学进展——2018年欧洲密码》。第37届密码技术理论与应用国际年会，以色列特拉维夫，2018年4月29日至5月3日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。10820, 204-224 (2018).MSC公司：94A60型 94年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{V.Lyubashevsky}和\textit{G.Seiler}，莱克特。注释计算。科学。10820、204-224（2018；Zbl 1423.94087） 全文： 内政部
安妮·布罗德本特 如何验证量子计算。 （英语） 兹比尔1395.68142 理论计算。 14，第11号论文，37页（2018年）.MSC公司：65年第68季度 2012年第68季度 81页68 81页94 PDF格式BibTeX公司 XML格式引用 \textit{A.Broadbent}，理论计算。14，论文编号11，37 p.（2018；Zbl 1395.68142） 全文： 内政部 arXiv公司
古尔，汤姆;罗恩·罗斯布卢姆。 非交互式接近性证明。 （英语） Zbl 1391.68098号 计算。复杂性 27，第1期，99-207（2018）.MSC公司：68吨15 20层03 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Gur}和\textit{R.D.Rothblum}，计算。复杂性27，编号1，99-207（2018；Zbl 1391.68098） 全文： 内政部 链接
古尔，汤姆;罗恩·罗斯布卢姆。 用于交互式邻近性证明的层次定理。 （英语） 兹比尔1402.68096 Papadimitriou，Christos H.（编辑），第八届理论计算机科学创新大会，ITCS 2017，美国加州伯克利，2017年1月9-11日。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-029-3）。LIPIcs–莱布尼茨国际信息学论文集67，第39条，第43页（2017年）。MSC公司：65年第68季度 2005年第68季度 2010年第68季度 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{T.Gur}和\textit{R.D.Rothblum}，LIPIcs——莱布尼茨国际程序。通知。67，第39条，第43页（2017年；Zbl 1402.68096） 全文： 内政部
阿伊德尼奥卢，巴尔;迪特尔·范·梅尔凯贝克 亚瑟-梅林游戏中的非确定性电路下限。 （英语） Zbl 1371.68094号 计算。复杂性 26，第1期，79-118（2017）.MSC公司：2017年第68季度 2015年第68季度 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{B.Ayd nlolu}和\textit{D.van Melkebeek}，计算。复杂性26，No.1，79--118（2017；Zbl 1371.68094） 全文： 内政部
伊莱·本·萨森;伊多·本托夫;亚历山德罗·奇埃萨;阿里尔·加比松;丹尼尔·根金;马坦·哈米利斯;埃夫根亚·佩加门特;迈克尔·里亚布泽夫;马克·西尔伯斯坦;埃兰·特罗姆;夫人维尔扎 准线性PCP公共随机字符串的计算完整性。 （英语） Zbl 1415.94409号 Coron，Jean-Sébastien（编辑）等人，《密码学进展——2017年欧洲密码》。第36届密码技术理论与应用国际年会，2017年4月30日至5月4日，法国巴黎。诉讼程序。第三部分查姆：斯普林格。莱克特。注释计算。科学。10212, 551-579 (2017).MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit{E.Ben-Sasson}等人，Lect。注释计算。科学。10212551-579（2017年；兹bl 1415.94409） 全文： 内政部
伊莱·本·萨森;亚历山德罗·奇埃萨;尼古拉斯·斯普纳 交互式甲骨文校样。 （英语） Zbl 1397.94048号 Hirt，Martin（编辑）等人，《密码学理论》。第14届国际会议，TCC 2016-B，中国北京，2016年10月31日至11月3日，会议记录。第二部分。柏林：施普林格出版社（ISBN 978-3-662-53643-8/pbk；978-3-562-53644-5/电子书）。计算机科学讲座笔记9986，31-60（2016）。MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit{E.Ben-Sasson}等人，Lect。注释计算。科学。9986，31-60（2016；Zbl 1397.94048） 全文： 内政部
马尼德拉·阿格拉瓦尔;Chandan Saha;Saptharishi，拉姆普拉萨德;尼廷·萨克塞纳 雅可比击中回路：击中集合、深度-（D\）发生-（k\）公式的下限和深度-3超越度-（k~）回路。 （英语） Zbl 1350.68292号 SIAM J.计算。 45，第4期，1533-1562（2016）.MSC公司：68瓦30 2005年第68季度 65年第68季度 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Agrawal}等人，SIAM J.Compute。45，第4号，1533-1562（2016；Zbl 1350.68292） 全文： 内政部
郭思尧;巴维尔哈贝克;阿隆·罗森;玛格丽塔·瓦尔德 理性汇总检查。 （英语） Zbl 1382.94116号 Kushilevitz，Eyal（编辑）等人，《密码学理论》。第13届国际会议，TCC 2016-A，以色列特拉维夫，2016年1月10-13日。诉讼程序。第二部分。柏林：施普林格出版社（ISBN 978-3-662-49098-3/pbk；978-3-562-49099-0/电子书）。计算机科学讲座笔记9563319-351（2016）。MSC公司：94A60型 2005年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Guo}等人，Lect。注释计算。科学。9563、319--351（2016；Zbl 1382.94116） 全文： 内政部
伊莱·本·萨森;亚历山德罗·奇埃萨;阿里尔·加比松;夫人维尔扎 线性代数PCP的准线性零尺寸知识。 （英语） Zbl 1375.94101号 Kushilevitz，Eyal（编辑）等人，《密码学理论》。第13届国际会议，TCC 2016-A，以色列特拉维夫，2016年1月10-13日。诉讼程序。第二部分。柏林：施普林格出版社（ISBN 978-3-662-49098-3/pbk；978-3-562-49099-0/电子书）。计算机科学讲座笔记9563，33-64（2016）。MSC公司：94A60型 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Ben-Sasson}等人，Lect。注释计算。科学。9563，33-64（2016年；兹bl 1375.94101） 全文： 内政部
铃木Tamaki 两个漫游者一轮游戏的平行重复：一个说明。 （英语） Zbl 1484.68063号 Interdiscip公司。信息科学。 21，第4期，289-306（2015）.MSC公司：2010年第68季度 05元50分 2017年第68季度 65年第68季度 90C27型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{S.Tamaki}，Interdiscip。信息科学。21，第4号，289--306（2015；Zbl 1484.68063） 全文： 内政部
奥德·戈尔德雷奇;迈尔，或 P/poly上的输入可证明系统和统一复杂性观点。 （英语） Zbl 1347.68160号 ACM事务处理。计算。理论 第7号第4条第16条第13页（2015年）.MSC公司：2015年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Goldreich}和\textit{O.Meir}，ACM翻译。计算。理论7，第4号，第16条，第13页（2015年；兹bl 1347.68160） 全文： 内政部
马尔蒂恩·巴尔茨;克劳斯·米尔 关于实际计算的交互式证明的一些结果。 （英语） Zbl 1461.03042号 Beckmann，Arnold（编辑）等人，《进化可计算性》。2015年6月29日至7月3日在罗马尼亚布加勒斯特举行的第十一届欧洲可计算性会议，CiE 2015。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9136, 107-116 (2015).MSC公司：03D78号 2015年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Baartse}和\textit{K.Meer}，莱克特。注释计算。科学。9136，107-116（2015；Zbl 1461.03042） 全文： 内政部
亚历山德罗·奇埃萨;朱泽元艾伦 非确定性计算的更短算法。 （英语） Zbl 1430.68108号 西奥。计算。科学。 600, 107-131 (2015).MSC公司：04年第68季度 2009年第68季度 2010年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛A.Chiesa｝和\textit｛Z.A Zhu｝，Theor。计算。科学。600、107——131（2015年；Zbl 1430.68108） 全文： 内政部
马尔蒂恩·巴尔茨;克劳斯·米尔 实数PCP定理的代数证明。 （英语） Zbl 1370.68104号 Italiano，F.（ed.）等人，《2015年计算机科学数学基础》。第40届国际研讨会，2015年MFCS，意大利米兰，2015年8月24-28日。诉讼程序。第二部分。柏林：施普林格出版社（ISBN 978-3-662-48053-3/pbk；978-3-562-48054-0/电子书）。计算机科学讲座笔记9235，50-61（2015）。MSC公司：2015年第68季度 03D78号 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Baartse}和\textit{K.Meer}，莱克特。注释计算。科学。9235，50-61（2015年；兹比尔1370.68104） 全文： 内政部
爱德华·赫施。;德米特里·索科洛夫 关于松散明确层次的概率闭包。 （英语） Zbl 1329.68144号 信息处理。莱特。 115，第9期，725-730（2015）.MSC公司：65年第68季度 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Hirsch}和\textit{D.Sokolov}，Inf.过程。莱特。115，第9号，725--730（2015；Zbl 1329.68144） 全文： 内政部
米歇尔·维德曼 张量乘积的可测试性和可解码性的组合。 （英语） Zbl 1316.94112号 随机结构。算法 46，第3期，572-598（2015）.MSC公司：94B05型 94B35码 PDF格式BibTeX公司 XML格式引用 \textit{M.Viderman}，随机结构。算法46，编号3，572-598（2015；Zbl 1316.94112） 全文： 内政部 arXiv公司
埃尔维·福尼尔;西尔万·佩里费尔;雷米·德维尔克洛斯 关于Valiant意义下一致多项式的固定多项式尺寸电路下界。 （英语） Zbl 1312.68091号 Inf.计算。 240, 31-41 (2015).MSC公司：2017年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Fournier}等人，《信息计算》。240、31-41（2015；Zbl 1312.68091） 全文： 内政部
科帕蒂，纳粹党徽;Shubhangi Saraf;谢尔盖·叶卡宁 具有次线性时间解码的高速率代码。 （英语） Zbl 1321.94138号 美国临床医学杂志 第61号第5条第28条第20页（2014年）.MSC公司：94B35码 65年第68季度 68页30 PDF格式BibTeX公司 XML格式引用 \textit{S.Kopparty}等人，J.ACM 61，第5号，第28条，第20页（2014；Zbl 1321.94138） 全文： 内政部
兰·卡内蒂;本·里瓦;Guy N.罗斯布卢姆。 提交计算委托。 （英语） Zbl 1290.68013号 Inf.计算。 226, 16-36 (2013).MSC公司：68个M12 91A80型 PDF格式BibTeX公司 XML格式引用 \textit｛R.Canetti｝等人，信息计算。226、16-36（2013年；Zbl 1290.68013） 全文： 内政部
古斯·古托斯基;吴晓迪 min-max问题的并行近似。 （英语） 兹比尔1286.68133 计算。复杂性 22，第2期，385-428（2013）.MSC公司：2005年第68季度 2010年第68季度 2012年第68季度 2015年第68季度 68周25 68宽10 90C22型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Gutoski}和\textit{X.Wu}，计算。复杂性22，No.2，385--428（2013；Zbl 1286.68133） 全文： 内政部 arXiv公司
Chandan Saha;Ramprasad Saptharishi公司;尼廷·萨克塞纳 深度3身份测试、稀疏因子分解和对偶性的案例。 （英语） Zbl 1311.68201号 计算。复杂性 22，第1号，39-69（2013）.MSC公司：68瓦30 65年第68季度 94C12号机组 PDF格式BibTeX公司 XML格式引用 \textit{C.Saha}等人，计算。复杂性22，No.1，39--69（2013；Zbl 1311.68201） 全文： 内政部
埃里克·艾伦德;霍尔格·斯帕科夫斯基 避免简单是很复杂的。 （英语） Zbl 1253.68186号 理论计算。系统。 51，第3期，282-296（2012）.MSC公司：68问题30 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Allender}和\textit{H.Spakowski}，理论计算。系统。51，第3号，282--296（2012；Zbl 1253.68186） 全文： 内政部
克劳斯·米尔 \（\mathrm的几乎透明的简短证明{NP}（名词短语）_{\mathbb R}\）。 （英语） Zbl 1342.68138号 Owe，Olaf（编辑）等人，《计算理论基础》。2011年8月22日至25日在挪威奥斯陆举行的FCT 2011第18届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22952-7/pbk）。计算机科学课堂讲稿6914，41-52（2011）。MSC公司：2015年第68季度 03D78号 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Meer}，莱克特。注释计算。科学。6914，41-52（2011；Zbl 1342.68138） 全文： 内政部
奥德·戈尔德雷奇 随机性和计算。 （英语） Zbl 1343.68181号 Goldreich，Oded（编辑），《复杂性和密码学研究》。关于随机性和计算之间相互作用的杂项。与Lidor Avigad、Mihir Bellare、Zvika Brakerski、Shafi Goldwasser、Shai Halevi、Tali Kaufman、Leonid Levin、Noam Nisan、Dana Ron、Madhu Sudan、Luca Trevisan、Salil Vadhan、Avi Wigderson、David Zuckerman合作。柏林：施普林格出版社（ISBN 978-3-642-22669-4/pbk）。计算机科学讲座笔记6650507-539（2011）。MSC公司：87年第68季度 2015年第68季度 68瓦20 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{O.Goldreich}，莱克特。注释计算。科学。6650、507--539（2011年；Zbl 1343.68181） 全文： 内政部
奥德·戈尔德雷奇 简短的局部可测试代码和证明。 （英语） Zbl 1309.68220号 Goldreich，Oded（编辑），《复杂性和密码学研究》。关于随机性和计算之间相互作用的杂项。与Lidor Avigad、Mihir Bellare、Zvika Brakerski、Shafi Goldwasser、Shai Halevi、Tali Kaufman、Leonid Levin、Noam Nisan、Dana Ron、Madhu Sudan、Luca Trevisan、Salil Vadhan、Avi Wigderson、David Zuckerman合作。柏林：施普林格出版社（ISBN 978-3-642-22669-4/pbk）。计算机科学讲座笔记6650333-372（2011）。MSC公司：68瓦20 68页30 65年第68季度 60年第68季度 94B60码 PDF格式BibTeX公司 XML格式引用 \textit{O.Goldreich}，莱克特。注释计算。科学。6650333-372（2011年；兹比尔1309.68220） 全文： 内政部
安德鲁·德鲁克 有效的概率可检查辩论。 （英语） Zbl 1343.68026号 Goldberg，Leslie Ann（编辑）等，近似、随机化和组合优化。算法和技术。第14次国际研讨会，APPROX 2011，第15次国际研讨会，RANDOM2011，美国新泽西州普林斯顿，2011年8月17日至19日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22934-3/pbk）。计算机科学课堂讲稿6845519-529（2011）。MSC公司：68个M12 2015年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Drucker}，莱克特。注释计算。科学。6845、519--529（2011；Zbl 1343.68026） 全文： 内政部 链接
埃里克·艾伦德;米查尔·库克;德特勒夫Ronneburger;罗伊，萨姆布达 在计算复杂性理论中，基于资源的Kolmogorov复杂性的广泛应用。 （英语） Zbl 1235.68085号 J.计算。系统。科学。 77，编号1，14-40（2011）. 审核人：杰克·巴泽维奇（波兹南） MSC公司：68问题30 PDF格式BibTeX公司 XML格式引用 \textit{E.Allender}等人，J.Compute。系统。科学。77，No.1，14--40（2011；Zbl 1235.68085） 全文： 内政部
奥德·戈尔德雷奇 简短的局部可测试代码和证明：分两部分进行的调查。 （英语） Zbl 1309.68218号 Goldreich，Oded（编辑），《性能测试》。当前的研究和调查。柏林：施普林格出版社（ISBN 978-3-642-16366-1/pbk）。计算机科学课堂讲稿6390，65-104（2010）。MSC公司：68瓦20 20层03 68页30 65年第68季度 60年第68季度 94比99 PDF格式BibTeX公司 XML格式引用 \textit{O.Goldreich}，莱克特。注释计算。科学。6390，65-104（2010年；兹比尔1309.68218） 全文： 内政部
V·阿尔文德。;帕塔·穆霍帕迪亚 理想隶属度问题和多项式恒等式检验。 （英语） Zbl 1190.68027号 Inf.计算。 208，第4期，351-363（2010）.MSC公司：65年第68季度 13层20 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{V.Arvind}和\textit{P.Mukhopadhyay}，Inf.Compute。208，第4号，351--363（2010；Zbl 1190.68027） 全文： 内政部
兰·拉兹 量子信息和PCP定理。 （英语） Zbl 1192.68280号 算法 55，第3期，462-489（2009）.MSC公司：2010年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{R.Raz}，Algorithmica 55，No.3，462--489（2009；Zbl 1192.68280） 全文： 内政部 arXiv公司
西村春日;山崎富代 量子有限自动机在交互式证明系统中的应用。 （英语） Zbl 1183.68350号 J.计算。系统。科学。 75，第4期，255-269（2009）.MSC公司：65年第68季度 2010年第68季度 68吨15 81页68 PDF格式BibTeX公司 XML格式引用 \textit{H.Nishimura}和\textit{T.Yamakami}，J.Compute。系统。科学。75，第4号，255--269（2009；Zbl 1183.68350） 全文： 内政部
V·阿尔文德。;帕塔·穆霍帕迪亚 单项式理想隶属度问题与多项式恒等式检验。 （英语） Zbl 1193.68125号 德山武（编辑），《算法与计算》。第18届国际研讨会，ISAAC 2007，日本仙台，2007年12月17日至19日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-77118-0/pbk）。计算机科学课堂讲稿4835，800-811（2007）。MSC公司：65年第68季度 13页第10页 68瓦20 68瓦30 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{V.Arvind}和\textit{P.Mukhopadhyay}，莱克特。注释计算。科学。4835800-811（2007年；兹bl 1193.68125） 全文： 内政部