mixbytes/zkllvm-doomreplay

Issues

• [PROVE 2] Pass inputs sequence as inputs

  #37 opened a year ago
  0

• [COMPILE 5] Circuitize G_InitNew function (gamestate initialization)

  #36 opened a year ago
  0

• [INFO] provide very high-level estimation of operations for prover

  #35 opened a year ago
  2

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

  #34 opened a year ago
  1

• [VERIFY 1] Verify the proof, recieved from proving

  #33 opened a year ago
  0

• [PROVING 1] prove something small in multi-linked circuits env

  #32 opened a year ago
  0

• [REMINDER] return submodules branches to 'master' in ZKLLVM

  #30 opened a year ago
  1

• Create CMake target for running assigner

  #29 opened a year ago
  1

• Deal with linking multiple files

  #28 opened a year ago
  2

• Create input sequence, using several game features

  #27 opened a year ago
  2

• Create sync log for zkldoom and doomgeneric processing engines

  #26 opened a year ago
  3

• Start stripping drawing functions in r_draw.c

  #25 opened a year ago
  3

• Deal with P_Random() function

  #24 opened a year ago
  1

• Migrate to CMake to add linker and support multiple files in Doom

  #23 opened a year ago
  2

• [BLOCKER] Deal with "bool", "boolean" and old C standards

  #22 opened a year ago
  1

• Deal with "switch" opcode

  #21 opened a year ago
  1

• Deal with char input arrays

  #20 opened a year ago
  1

• Circuitize input keys structs (prove working with structs)

  #19 opened a year ago
  1

• Circuitize ```while(i++ < n_inputs) {...}```, where ```n_inputs``` is a dynamic variable

  #18 opened a year ago
  1

• Circuitize ```unisgned char * arr; arr = malloc(42); // + loop``` construction in minimal circuit

  #17 opened a year ago
  1

• [COMPILE 4] Move ST_Init() into z_main()

  #16 opened a year ago
  0

• [COMPILE 4] Circuitize D_CheckNetGame() into z_main()

  #15 opened a year ago
  0

• Move P_Init() into z_main()

  #14 opened a year ago
  1

• Cirzuitize Z_Init() function in z_main()

  #13 opened a year ago
  1

• Move R_Init() into z_main()

  #12 opened a year ago
  1

• [COMPILE 4] Move I_InitTimer() into z_main()

  #11 opened a year ago
  0

• [COMPILE 3] Circuitize W_AddFile (loading .wad.file)

  #10 opened a year ago
  0

• [MILESTONE 2] Complie circuitized z_main function running a single tick

  #9 opened a year ago
  0

• "Pure"-ification of z_main - main processing cycle, part 1

  #8 opened a year ago
  1

• Strip graphics processing in zkldoom branch, part 1

  #7 opened a year ago
  1

• Load .wad file from static variable, not a file

  #6 opened a year ago
  1

• Stripping, part 1: remove unneeded string banners, options processing, sound initialization, versions handling

  #5 opened a year ago
  3

• Remove start menu, start level immediately

  #4 opened a year ago
  1

• Add state debug to main doomreplay loop

  #3 opened a year ago
  1

• [MILESTONE] Select right way to circuitize Doom state transition

  #2 opened a year ago
  3

• [MILESTONE] Compile a minimal viable circuit in Doom environment

  #1 opened a year ago
  4