Aargon is a 1998 puzzle game where the player completes objectives using lasers and mirrors in a 2D grid. zkAargon was built to prove a solution to a puzzle without revealing how. Github https://github.com/erhant/zkAargon/