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

Pickles.compile is accidentally async #16271

Open
L-as opened this issue Oct 22, 2024 · 0 comments
Open

Pickles.compile is accidentally async #16271

L-as opened this issue Oct 22, 2024 · 0 comments

Comments

@L-as
Copy link

L-as commented Oct 22, 2024

Pickles.compile returns before finishing compilation. This is evident by the "Snarky's internal state has been clobbered" error,
which happens I assume due to multiple circuits that use the impure interface being evaluated at the same time.

The workaround we employ is

let (tag, _, _, _) as r = Pickles.compile ... in
let _ = Async.Thread_safe.block_on_async_exn (fun () -> Pickles.Side_loaded.Verification_key.of_compiled tag) in
r

This works for us fine but I assume it's a symptom of some deeper bug somewhere.

Our fork begins at 7935f89, but I assume the issue hasn't been fixed on the latest version of compatible yet.

Credit: @MartinOndejka found the issue originally IIRC.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
Status: No status
Development

No branches or pull requests

1 participant