Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Problem with "ptr" type in proof-generator #109

Open
BoogerWooger opened this issue Sep 22, 2023 · 1 comment
Open

Problem with "ptr" type in proof-generator #109

BoogerWooger opened this issue Sep 22, 2023 · 1 comment

Comments

@BoogerWooger
Copy link

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

@BoogerWooger BoogerWooger changed the title Problem with "ptr" type Problem with "ptr" type in proof-generator Sep 22, 2023
@SK0M0R0H SK0M0R0H assigned SK0M0R0H and unassigned SK0M0R0H Sep 23, 2023
@SK0M0R0H
Copy link
Member

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants