Verifying the First Nonzero Term: Physical ZKPs for ABC End View, Goishi
Hiroi, and ToichikaJournal of combinatorial optimization (J. Comb. Optim.), 2023 |
Physical Zero-Knowledge Proof for Ball Sort PuzzleConference on Computability in Europe (CiE), 2023 |
How to Physically Verify a Rectangle in a Grid: A Physical ZKP for
ShikakuFun with Algorithms (FWA), 2022 |
Physical ZKP for Makaro Using a Standard Deck of CardsTheory and Applications of Models of Computation (TAMC), 2021 |
Graph Automorphism Shuffles from Pile-Scramble ShufflesNew generation computing (NGC), 2021 |
An Improved Physical ZKP for Nonogram and Nonogram ColorJournal of combinatorial optimization (J. Comb. Optim.), 2021 |
Physical Zero-Knowledge Proof for Ripple EffectWorkshop on Algorithms and Computation (AC), 2020 |
Physical Zero-Knowledge Proof for Numberlink Puzzle and
Vertex-Disjoint Paths ProblemNew generation computing (NGC), 2020 |