Tatami Printer：面向 Tatami 拼图的物理零知识证明
密码学与安全
2025-06-10 v2 计算机科学中的逻辑
摘要
Tatami 拼图是一类需将矩形网格划分为不共享同一点上四个区域的矩形区域，并且需满足其他约束条件的铅笔拼图。本文开发了一种名为 Tatami printer 的基于卡片的物理协议，用于验证 Tatami 拼图的解。随后，我们利用 Tatami printer 构建了两种拼图的零知识证明协议：Tatamibari 与 Square Jam。这些协议使证明者能够在不透露解答的情况下向验证者展示拼图解的存在性。
引用
@article{arxiv.2408.13507,
title = {Tatami Printer: Physical ZKPs for Tatami Puzzles},
author = {Suthee Ruangwises},
journal= {arXiv preprint arXiv:2408.13507},
year = {2025}
}
备注
This paper has appeared at CIAC 2025