Watch a guy make a game for the SNES. This kind of bit twiddling really gives me the urge to make an old school 2d style game, but zk provable with onchain rewards

Watch a guy make a game for the SNES. This kind of bit twiddling really gives me the urge to make an old school 2d style game, but zk provable with onchain rewards
https://youtu.be/kYLJLJkVfLk

Did you see risc zero's proof of doom thing they did last year? Proving the time of a doom speedrun without any other details of how it was done. 

Super intriguing concept for a competitive game mechanic, and really something that could never have been done before.

Interested in ZK, FHE, PUFs, hardware, system design, ai safety, and smart contact security.

Did you see risc zero's proof of doom thing they did last year? Proving the time of a doom speedrun without any other details of how it was done. 

Super intriguing concept for a competitive game mechanic, and really something that could never have been done before.
https://risczero.com/blog/when-the-doom-music-kicks-in

I did see this! I would definitely only want to write a circuit/circuits that proves the bare minimum necessary for the game mechanics. Doing a full vm seems like overkill and would be pretty computationally wasteful for the kind simple 2d game I would want to do. Like anything to do with graphics and art assets doesn't need to be proved. Just player inputs and the resulting world interactions