Problem with "ptr" type in proof-generator

[BoogerWooger]

Trying to prove with compiled, linked and assigned data leads to an error:

zkldoom/zkldoom-proof.bin_tmp.ll:6:77: warning: ptr type is only supported in -opaque-pointers mode
%struct.replay_data_t = type { i32, i32, i32, i32, i32, i32, i32, i32, i32, ptr, ptr, ptr }
                                                                            ^
assigner: zkldoom/zkldoom-proof.bin_tmp.ll:6:77: error: expected type
%struct.replay_data_t = type { i32, i32, i32, i32, i32, i32, i32, i32, i32, ptr, ptr, ptr }

(the same error was fixed in assigner, maybe prover uses too old version of assigner)

run with command (paths removed):

./proof-generator --circuit_input=zkldoom/zkldoom-statement.json --public_input=zkldoom/zkldoom-input.json --proof_out=zkldoom/zkldoom-proof.bin

Attached 'zkldoom-statement.json' and zkldoom-input.json zkldoom-statement-inputs.zip

[SK0M0R0H]

Hey, @BoogerWooger! We're updating our distribution pipeline right now. Issue #111 will resolve this issue with the updated proof generator.