https://123dok.net/document/yevwnj0z-interactive-physical-zkp-for-connectivity-applications-to-nurikabe-and-hitori.html