验证首个非零项：面向ABC End View、Goishi Hiroi与Toichika的物理零知识证明

本文提出一种利用一副扑克牌验证序列首个非零项的物理协议。该协议使证明者能够向验证者展示给定序列首个非零项的值，而不泄露其为第几项。我们的协议使用$\Theta(1)$次洗牌，渐近地低于Fukusawa与Manabe现有协议的$\Theta(n)$次洗牌（其中$n$为序列长度）。我们还将该协议应用于构建三种知名逻辑谜题——ABC End View、Goishi Hiroi与Toichika——的零知识证明协议。这些协议使证明者能以物理方式表明自己知晓谜题解而不泄露解本身。