[MILESTONE 1] Make minimal viable cycle compile-assign-prove-verify - Githubissues

mixbytes / zkllvm-doomreplay

zkllvm proving of Doom videogame state transition

GNU General Public License v2.0

0 stars 0 forks source link

[MILESTONE 1] Make minimal viable cycle compile-assign-prove-verify #34

Open BoogerWooger opened 1 year ago

BoogerWooger commented 1 year ago

accept user inputs as circuit inputs
mock game engine
verify something based in inputs
demonstrate

BoogerWooger commented 1 year ago

all done except verify