使用标准扑克牌的 Makaro 物理零知识证明
密码学与安全
2023-01-03 v3
摘要
Makaro 是一种逻辑谜题,目标是在矩形网格中填入数字以满足特定条件。2018 年,Bultel 等人利用一副扑克牌开发了 Makaro 的物理零知识证明(ZKP)协议,允许证明者在不泄露解的情况下物理地说服验证者其知道该谜题的解。然而,他们的协议需要某些牌的多张相同副本,这使得其在日常生活中常见的全异牌扑克牌中并不实用。本文中,我们提出了一种可使用标准牌堆(由全部不同牌组成的牌堆)实现的 Makaro 新 ZKP 协议。我们的协议所用牌数也比 Bultel 等人的协议渐近更少。最重要的是,我们开发了一种用全异牌序列编码数字的一般方法。这使我们能用标准牌堆安全计算若干数值函数,例如验证两个给定数字不同以及验证某数字为给定数字中最大者。
引用
@article{arxiv.2112.12042,
title = {Physical ZKP for Makaro Using a Standard Deck of Cards},
author = {Suthee Ruangwises and Toshiya Itoh},
journal= {arXiv preprint arXiv:2112.12042},
year = {2023}
}
备注
This paper has appeared at TAMC 2022