Skip to content

Conversation

@ilyalesokhin-starkware
Copy link
Collaborator

@ilyalesokhin-starkware ilyalesokhin-starkware commented Sep 17, 2025

This change is Reviewable

@ilyalesokhin-starkware
Copy link
Collaborator Author

stwo_cairo_prover/crates/cairo-air/src/air.rs line 76 at r1 (raw file):

            }
          }
        output[0] = (output.len() -1).into();

I need to add the claim len before the claim to deserialize it as Span.

Code quote:

  output[0] = (output.len() -1).into();

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant