如何在网格中物理验证矩形：面向Shikaku的物理零知识证明
密码学与安全
2022-10-26 v2 组合数学
摘要
Shikaku是一种铅笔谜题，由一个矩形网格组成，其中一些单元格包含数字。玩家须将网格划分为矩形，使得每个矩形恰好包含一个等于该矩形面积的数字。本文中，我们提出两种使用一副扑克牌的Shikaku物理零知识证明协议，允许证明者在不泄露谜题解的情况下物理展示其知道该解。最重要的是，在我们的第二个协议中，我们开发了一种通用技术，用于在矩形网格中物理验证具有特定大小的矩形区域，该技术可用于验证具有类似约束的其他问题。
引用
@article{arxiv.2202.09788,
title = {How to Physically Verify a Rectangle in a Grid: A Physical ZKP for Shikaku},
author = {Suthee Ruangwises and Toshiya Itoh},
journal= {arXiv preprint arXiv:2202.09788},
year = {2022}
}
备注
This paper has appeared at FUN 2022