The underlying issue was that we were using the feature flags for the step circuit when reasoning about the contents of the wrap proofs. In particular,
when the circuit uses a feature
and it uses recursion
then it expects that feature to be used by the wrap proof that it recurses over (even though wrap never uses any custom gates).
This PR fixes that by hard-coding Features.Full.none.
This PR fixes https://github.com/o1-labs/o1js/issues/1336 (using https://github.com/o1-labs/o1js/pull/1335 as the repro case).
The underlying issue was that we were using the feature flags for the step circuit when reasoning about the contents of the wrap proofs. In particular,
This PR fixes that by hard-coding
Features.Full.none
.