Play connect4 against an RL agent and prove its outcome using Nova.
This project aims at being a pot-pourri of Nova things: zkML (in the vein of zator), wasm development and webworker setup. The idea is to lay out how to do development with Nova, from ideation to deployment.
An extensive writeup can be found here. We detail how to work with wasm-pack
, how to link keras-to-circom
with Nova and also how to setup a webworker to run Nova in the background while the app runs on the browser's main thread.
$ git clone git@github.com:dmpierre/zkconnect4.git && cd zkconnect4
$ pnpm i && pnpm dev