Diginouns

This project is a browser based story game where the main character has to defeat a monster by programming an attack. The code logic is tested by a ZK circuit to prove that the player has indeed defeated the monster and code logic is sound.

The main character needs to save its friend in a tower by defeating the monster. The main character needs to program 4 elements and craft an attack on the monster.

Once the player is done the code is submitted to a zk circuit to prove that the attack worked.

The zk circuit is a custom circuit that has constraints based on the logic of the game.

This project utilises Aztec-NoirJS to generate the proofs clientside, Dynamic Wallet for a seemless login and Nouns Assets for the visuals.

The game required an careful design of the circuits ensuring that the circuit could test any arbitrary code and prove that it worked.

It was super cool to utilise ZK proofs to prove the state of the game, massively reducing the gas fees.