Search results

[PROVE 2] Pass inputs sequence as inputs

Status: Open.

#37 In mixbytes/zkllvm-doomreplay;

· BoogerWooger opened on Sep 25, 2023

[COMPILE 5] Circuitize G_InitNew function (gamestate initialization)

Status: Open.

#36 In mixbytes/zkllvm-doomreplay;

· BoogerWooger opened on Sep 25, 2023

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

Status: Open.

#34 In mixbytes/zkllvm-doomreplay;

· BoogerWooger opened on Aug 25, 2023

[VERIFY 1] Verify the proof, recieved from proving

Status: Open.

#33 In mixbytes/zkllvm-doomreplay;

· BoogerWooger opened on Aug 4, 2023

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

Status: Open.

#32 In mixbytes/zkllvm-doomreplay;

· BoogerWooger opened on Aug 4, 2023

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

Status: Open.

#22 In mixbytes/zkllvm-doomreplay;

· BoogerWooger opened on Jul 12, 2023

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

Status: Open.

#16 In mixbytes/zkllvm-doomreplay;

· BoogerWooger opened on Jun 16, 2023

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

Status: Open.

#15 In mixbytes/zkllvm-doomreplay;

· BoogerWooger opened on Jun 16, 2023

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

Status: Open.

#11 In mixbytes/zkllvm-doomreplay;

· BoogerWooger opened on Jun 16, 2023

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

Status: Open.

#10 In mixbytes/zkllvm-doomreplay;

· BoogerWooger opened on Jun 16, 2023

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

Status: Open.

#9 In mixbytes/zkllvm-doomreplay;

· BoogerWooger opened on Jun 16, 2023