mixbytes zkllvm-doomreplay issues

mixbytes / zkllvm-doomreplay

zkllvm proving of Doom videogame state transition

GNU General Public License v2.0

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

[PROVE 2] Pass inputs sequence as inputs

#37 BoogerWooger opened 1 year ago
0
[COMPILE 5] Circuitize G_InitNew function (gamestate initialization)

#36 BoogerWooger opened 1 year ago
0
[INFO] provide very high-level estimation of operations for prover

#35 BoogerWooger closed 1 year ago
2
[MILESTONE 1] Make minimal viable cycle compile-assign-prove-verify

#34 BoogerWooger opened 1 year ago
1
[VERIFY 1] Verify the proof, recieved from proving

#33 BoogerWooger opened 1 year ago
0
[PROVING 1] prove something small in multi-linked circuits env

#32 BoogerWooger opened 1 year ago
0
Algo testing

#31 BoogerWooger closed 1 year ago
0
[REMINDER] return submodules branches to 'master' in ZKLLVM

#30 BoogerWooger closed 1 year ago
1
Create CMake target for running assigner

#29 BoogerWooger closed 1 year ago
1
Deal with linking multiple files

#28 BoogerWooger closed 1 year ago
2
Create input sequence, using several game features

#27 BoogerWooger closed 1 year ago
2
Create sync log for zkldoom and doomgeneric processing engines

#26 BoogerWooger closed 1 year ago
3
Start stripping drawing functions in r_draw.c

#25 BoogerWooger closed 1 year ago
3
Deal with P_Random() function

#24 BoogerWooger closed 1 year ago
1
Migrate to CMake to add linker and support multiple files in Doom

#23 BoogerWooger closed 1 year ago
2
[BLOCKER] Deal with "bool", "boolean" and old C standards

#22 BoogerWooger opened 1 year ago
1
Deal with "switch" opcode

#21 BoogerWooger closed 1 year ago
1
Deal with char input arrays

#20 BoogerWooger closed 1 year ago
1
Circuitize input keys structs (prove working with structs)

#19 BoogerWooger closed 1 year ago
1
Circuitize ```while(i++ < n_inputs) {...}```, where ```n_inputs``` is a dynamic variable

#18 BoogerWooger closed 1 year ago
1
Circuitize ```unisgned char * arr; arr = malloc(42); // + loop``` construction in minimal circuit

#17 BoogerWooger closed 1 year ago
1
[COMPILE 4] Move ST_Init() into z_main()

#16 BoogerWooger opened 1 year ago
0
[COMPILE 4] Circuitize D_CheckNetGame() into z_main()

#15 BoogerWooger opened 1 year ago
0
Move P_Init() into z_main()

#14 BoogerWooger closed 1 year ago
1
Cirzuitize Z_Init() function in z_main()

#13 BoogerWooger closed 1 year ago
1
Move R_Init() into z_main()

#12 BoogerWooger closed 1 year ago
1
[COMPILE 4] Move I_InitTimer() into z_main()

#11 BoogerWooger opened 1 year ago
0
[COMPILE 3] Circuitize W_AddFile (loading .wad.file)

#10 BoogerWooger opened 1 year ago
0
[MILESTONE 2] Complie circuitized z_main function running a single tick

#9 BoogerWooger opened 1 year ago
0
"Pure"-ification of z_main - main processing cycle, part 1

#8 BoogerWooger closed 1 year ago
1
Strip graphics processing in zkldoom branch, part 1

#7 BoogerWooger closed 1 year ago
1
Load .wad file from static variable, not a file

#6 BoogerWooger closed 1 year ago
1
Stripping, part 1: remove unneeded string banners, options processing, sound initialization, versions handling

#5 BoogerWooger closed 1 year ago
3
Remove start menu, start level immediately

#4 BoogerWooger closed 1 year ago
1
Add state debug to main doomreplay loop

#3 BoogerWooger closed 1 year ago
1
[MILESTONE] Select right way to circuitize Doom state transition

#2 BoogerWooger closed 1 year ago
3
[MILESTONE] Compile a minimal viable circuit in Doom environment

#1 BoogerWooger closed 1 year ago
4