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
When continuations are ready, we should add support for proof segmentation with an adaptable max cpu length, in order to easily test a variety of cases, and also to speed-up proving if --witness-only isn't passed as argument.
The text was updated successfully, but these errors were encountered:
When continuations are ready, we should add support for proof segmentation with an adaptable max cpu length, in order to easily test a variety of cases, and also to speed-up proving if
--witness-only
isn't passed as argument.The text was updated successfully, but these errors were encountered: