This puzzle game uses zk-SNARKs to enable you to prove in zero-knowledge that you found the empty cell in a dotted grid, that is, without revealing its location. The proof is generated with Circom and snarkjs using the Groth16 proving system and is displayed as a QR code. Open the app on another device and select Verify to validate QR proofs. Zero-knowledge guarantees that the data in the QR code contains no information about the empty cell location.

Copyright (c) 2025 Fabio Banfi (fabiobanfi.com)

Generate ZK Proof i