The presentation needs to be improved by taking the minimalistic Sokoban game example and generating all the boolean expressions from it, then converting it to arithmetic circuits, and then R1CS, and then feed it to libsnark to produce zero-knowledge proof.