验证序列中的第一个非零项：ABC终点视图和碁石广井的物理零知识证明
摘要：用一副扑克牌开发了一种验证序列的第一个非零项的物理协议。该协议使证明者能够向验证者展示给定序列中的第一个非零项的值，而不泄露它是哪一项。我们的协议使用$Theta(1)$次洗牌，相比于福川和马那贝在2022年开发的类似协议使用的$Theta(n)$次洗牌来说更简单和实用，其中$n$是序列的长度。我们还将我们的协议应用于构建两个著名的逻辑谜题的零知识证明协议：ABC End View和Goishi Hiroi。这些零知识证明协议允许证明者在不泄露解答的情况下，物理上展示他/她知道这些谜题的解答。
作者：Suthee Ruangwises
论文ID：2304.12388
分类：Cryptography and Security
分类简称：cs.CR
提交时间：2023-08-29