-
Notifications
You must be signed in to change notification settings - Fork 528
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 async circuits #15084
Pickles async circuits #15084
Conversation
!ci-build-me |
!ci-build-me |
Tested and working in o1js here: o1-labs/o1js#1450 |
Heads up @mrmr1993 - this seems to change all verification keys |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Functional changes looks okay, but there's enough updating to discuss to wait for merging.
!ci-build-me |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Platform engineering team may have only been called out due to script/zkapp_metrics.sh, which has a very simple change.
!ci-build-me |
!ci-build-me |
@@ -243,6 +248,37 @@ module Storables = struct | |||
} | |||
end | |||
|
|||
let create_lock () = |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This should never have made it into the codebase. I am annoyed.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Disagree. It is only applied to sequencing the circuit runs that compile
creates when compiling different step constraint systems. This is necessary and has none of the downsides we discussed
Adresses MinaFoundation/Core-Grants#4