You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
There's no way to pass feature flags or lookup config to dummy proofs. This means a dummy proof will trigger an assert when used as input to a recursive proof, even if the recursive proof doesn't verify it.
Dummy proofs are an important pattern that enables collapsing base case and recursive case into the same method, which is more efficient than having two separate methods. So it'd be nice to add feature flags etc to dummy proofs in Pickles, and automatically pass in the correct feature flags from o1js.
From trying to hack around that, I know that this is not the only problem -- there is another assertion which seems to be related to the lookup config of the proof, triggered here somehow: src/mina/src/lib/pickles/plonk_checks/scalars.ml:3387:32
The text was updated successfully, but these errors were encountered:
There's no way to pass feature flags or lookup config to dummy proofs. This means a dummy proof will trigger an assert when used as input to a recursive proof, even if the recursive proof doesn't verify it.
Dummy proofs are an important pattern that enables collapsing base case and recursive case into the same method, which is more efficient than having two separate methods. So it'd be nice to add feature flags etc to dummy proofs in Pickles, and automatically pass in the correct feature flags from o1js.
For reference, the assertion that a dummy proof currently triggers (when representing a zkprogram with some feature flags set to true) is this one:
https://github.com/MinaProtocol/mina/blob/86135da5c95a07690218aabdae19d318c3bae27c/src/lib/pickles_types/plonk_types.ml#L398
From trying to hack around that, I know that this is not the only problem -- there is another assertion which seems to be related to the lookup config of the proof, triggered here somehow:
src/mina/src/lib/pickles/plonk_checks/scalars.ml:3387:32
The text was updated successfully, but these errors were encountered: