×
宫崎骏;羽田、广口;高崎水木

用于图问题的基于卡的零知识证明协议及其计算模型。 （英语） Zbl 1511.94138号

黄琼（编辑）等，《可证明和实用安全》。第十五届国际会议，ProvSec 2021，中国广州，2021年11月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13059, 136-152 (2021).
概要：零知识证明（ZKP）是一种加密技术，它使证明程序能够说服验证者给定的语句是正确的，而不会泄露除其真实性之外的任何信息。众所周知，ZKP可以通过物理对象实现，例如一副卡片；最近，许多用于铅笔谜题（如数独和数字链接）的“基于卡片的”ZKP协议已经被设计出来。在本文中，我们将注意力从铅笔谜转移到图论问题上：我们针对图3-着色问题和图同构问题提出了基于卡片的ZKP协议。与大多数现有的基于卡的ZKP协议类似，我们的两个协议没有稳健性错误。所提出的协议可以在不需要任何技术知识的情况下实现，并且零知识证明的原理很容易理解。特别是，我们的图同构问题协议只需要三次洗牌，而不考虑给定图对的大小。此外，为了更严格地处理我们提出的协议，我们提出了一个基于卡片的ZKP协议的形式化框架，该协议是非交互的，没有稳健性错误。
关于整个系列，请参见[兹比尔1508.94002].

引用于三文件

理学硕士：

94A60 密码学
94A62 身份验证、数字签名和秘密共享
05C15号 图和超图的着色
05C60型 图论中的同态问题（重构猜想等）和同态（子图嵌入等）

关键词：

物理零知识证明;基于卡的加密;图3-着色问题;图同构问题
PDF格式BibTeX公司 XML格式引用
\textit{D.Miyahara}等人，Lect。注释计算。科学。13059136-152（2021年；Zbl 1511.94138）
全文： 内政部

参考文献：

[1] Babai，L.：拟多项式时间中的图同构。摘自：ACM计算理论研讨会，STOC 2016，ACM，纽约，第684-697页（2016）。doi:10.1145/2897518.2897542·Zbl 1376.68058号
[2] Bultel，X.，Dreier，J.，Dumas，J.G.，Lafourcade，P.：Akari，Takuzu，Kakuro和KenKen的物理零知识证明。摘自：Demaine，E.D.，Grandoni，F.（eds.）Fun with Algorithms，Schloss Dagstuhl，Dagstuhel，LIPIcs，第49卷，第8:1-8:20页（2016）。doi:10.4230/LIPIcs。趣味2016.8·Zbl 1369.91037号
[3] 布勒特尔，X。；Izumi，T。；Kuznetsov，P.，Makaro的物理零知识证明，分布式系统的稳定、安全和安全，111-125（2018），Cham:Springer，Cham·Zbl 1519.68103号 ·doi:10.1007/978-3-030-03232-68
[4] 克雷珀，C。；Kilian，J。；斯蒂森博士，《谨慎的孤独游戏》，《密码学的进展——93，319-330》（1994），海德堡：斯普林格，海德伯格·Zbl 0870.94024号 ·doi:10.1007/3-540-48329-2_27
[5] 大仲马，J-G；拉福卡德，P。；Miyahara，D。；水木，T。；Sasaki，T。；Sone，H。；杜，D-Z；段，Z。；Tian，C.，Norinori的交互式物理零知识证明，计算与组合学，166-177（2019），Cham:Springer，Cham·Zbl 1534.68068号 ·doi:10.1007/978-3-030-26176-4_14
[6] Garey，M.，Johnson，D.，Stockmeyer，L.：一些简化的NP完全图问题。理论。计算。科学。1(3), 237-267 (1976). doi:10.1016/0304-3975（76）90059-1·Zbl 0338.05120号
[7] Godsil，C.，Royle，G.F.：代数图论，数学研究生教材，第207卷。施普林格，纽约（2001年）。doi:10.1007/978-1-4613-0163-9·Zbl 0968.05002号
[8] Goldreich，O.，Micali，S.，Wigderson，A.：只产生有效性的证明，或者NP中的所有语言都有零知识证明系统。《美国临床医学杂志》38（3），690-728（1991）。数字对象标识代码：10.1145/116825.116852·Zbl 0799.68101号
[9] Goldwasser，S.、Micali，S.和Rackoff，C.：交互证明系统的知识复杂性。SIAM J.计算。18(1), 186-208 (1989). 数字对象标识代码：10.1137/0218012·Zbl 0677.68062号
[10] Gradwohl，R.，Naor，M.，Pinkas，B.，Rothblum，G.N.：用于解决数独难题的密码和物理零知识证明系统。理论计算。系统。44(2), 245-268 (2009). doi:10.1007/s00224-008-9119-9·Zbl 1179.68055号
[11] Grohe，M.，Schweitzer，P.：图同构问题。Commun公司。ACM 63（11），128-134（2020）。数字对象标识代码：10.1145/3372123
[12] 石川，R。；Chida，E。；水木，T。；卡卢德，CS；Dinneen，MJ，《无固定点生成隐藏随机排列的高效基于卡的协议》，《非常规计算和自然计算》，215-226（2015），查姆：斯普林格，查姆·Zbl 1465.94072号 ·doi:10.1007/978-3-319-21819-9_16
[13] 卡普，R.M.：组合问题的可还原性。摘自：Miller，R.E.，Thatcher，J.W.，Bohlinger，J.D.（编辑）《计算机计算的复杂性》，第85-103页。斯普林格，波士顿（1972）。doi:10.1007/978-1-4684-2001-2_9·Zbl 1467.68065号
[14] Koch，A.：基于物理假设的密码协议。卡尔斯鲁厄理工学院（KIT）博士论文（2019年）。doi:10.5445/IR/1000097756
[15] Koch，A.，Schrempp，M.，Kirsten，M.:基于卡的加密满足形式验证。新一代。计算。39(1), 115-158 (2021). doi:10.1007/s00354-020-00120-0
[16] Lafourcade，P.、Miyahara，D.、Mizuki，T.、Robert，L.、Sasaki，T.和Sone，H.：如何为具有“单循环”条件的谜题构造物理零知识证明。理论。计算。科学。(2021). doi:10.1016/j.tcs2021.07019，正在印刷中·Zbl 1517.94122号
[17] Miyahara，D.等人：用于Takuzu和Juosan的基于卡的ZKP协议。收录于：Farach-Colton，M.，Prencipe，G.，Uehara，R.（编辑）《算法的乐趣》，Schloss Dagstuhl，Dagstuhel，LIPIcs，第157卷，第20:1-20:21页（2020年）。doi:10.4230/LIPIcs。函数2021.20·Zbl 1515.91039号
[18] 水木，T。；Shizuya，H.，《通过抽象机器对基于卡片的密码协议进行形式化》，国际期刊信息安全。，13, 1, 15-23 (2013) ·doi:10.1007/s10207-013-0219-4
[19] 水木，T。；Sone，H。；邓，X。；JE霍普克罗夫特；Xue，J.，六卡安全与四卡安全异或，算法前沿，358-369（2009），海德堡：施普林格·Zbl 1248.94083号 ·doi:10.1007/978-3642-02270-8_36
[20] Niemi，V.，Renvall，A.：无需计算机即可确保多方计算的安全。理论。计算。科学。191(1-2), 173-183 (1998). doi:10.1016/S0304-3975（97）00107-2·Zbl 0895.68097号
[21] Ono，H.，Manabe，Y.：使用私有操作的基于卡的加密逻辑计算。新一代。计算。39(1), 19-40 (2021). doi:10.1007/s00354-020-00113-z
[22] 罗伯特·L。；Miyahara，D。；拉弗卡德，P。；水木，T。；Devismes，S。；Mittal，N.，《Suguru难题的物理零知识证明，分布式系统的稳定、安全和安全》，235-247（2020），Cham:Springer，Cham·兹比尔1517.68139 ·doi:10.1007/978-3-030-64348-5_19
[23] 罗伯特·L。；Miyahara，D。；拉福卡德，P。；水木，T。；De Mol，L。；魏尔曼，A。；Manea，F。；Fernández-Duque，D.，《连接的交互式物理ZKP：对Nurikabe和Hitori的应用》，《连接与可计算性》，373-384（2021），查姆：斯普林格，查姆·兹伯利07495184 ·doi:10.1007/978-3-030-80049-9_37
[24] Ruangwises，S.：两副标准的扑克牌足够用于数独游戏的ZKP。专业：计算与组合数学。LNCS、Springer、Cham（2021年，即将上市）·Zbl 07670498号
[25] Ruangwises，S.，Itoh，T.：连通生成子图问题和桥之谜的物理零知识证明（2020）。https://arxiv.org/abs/2011.02313
[26] Ruangwises，S.，Itoh，T.：Numberlink难题和k顶点不相交路径问题的物理零知识证明。新一代。计算。39(1), 3-17 (2021). doi:10.1007/s00354-020-00114-y
[27] Ruangwises，S。；伊藤，T。；Uehara，R。；洪，S-H；南迪，SC，涟漪效应的物理零知识证明，WALCOM:算法与计算，296-307（2021），查姆：施普林格，查姆·Zbl 1517.94147号 ·doi:10.1007/978-3-030-68211-8_24
[28] Ruangwises，S.，Itoh，T.：连通生成子图的物理ZKP：在桥梁难题和其他问题中的应用。In：非常规计算和自然计算。LNCS、Springer、Cham（2021年，即将上市）·Zbl 07553909号
[29] Sasaki，T.、Miyahara，D.、Mizuki，T.和Sone，H.：高效的基于卡片的数独零知识证明。理论。计算。科学。839, 135-142 (2020). doi:10.1016/j.tcs.2020.05.036·兹比尔1453.94113
[30] Shinagawa，K.：关于构建易于执行的基于卡的协议。东京理工大学博士论文（2020年）
[31] Shinagawa，K。；Au、M-H；Miyaji，A.，《使用规则多边形卡的具有较小洗牌复杂性的多方计算》，《可证明安全》，127-146（2015），查姆：斯普林格，查姆·Zbl 1388.94078号 ·doi:10.1007/978-3-319-26059-47
[32] 上田，I。；Miyahara，D。；西村，A。；Hayashi，Y。；水木，T。；Sone，H.，《随机二分法切割的安全实现》，国际期刊《信息安全》。，19, 4, 445-452 (2019) ·doi:10.1007/s10207-019-00463-w
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。