State machine AIR

[shaharsamocha7]

This change is 

[shaharsamocha7]

Warning

This pull request is not mergeable via GitHub because a downstack PR is open. Once all requirements are satisfied, merge this PR as a stack on Graphite.
Learn more

• State machine prover #845
• State machine AIR #841 👈
• Add constraint for Logup claimed cumsum #830
• Logup generator returns multiple prefix sums #829
• Logup - rename claimed_sum to total_sum #825
• Revert logup without is_first #818
• dev

This stack of pull requests is managed by Graphite. Learn more about stacking.

Join @shaharsamocha7 and the rest of your teammates on Graphite

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Please upload report for BASE (09-10-Add_constraint_for_Logup_claimed_cumsum@da54d68). Learn more about missing BASE report.

Additional details and impacted files

@@                               Coverage Diff                                @@
##             09-10-Add_constraint_for_Logup_claimed_cumsum     #841   +/-   ##
================================================================================
  Coverage                                                 ?   91.88%           
================================================================================
  Files                                                    ?       89           
  Lines                                                    ?    12104           
  Branches                                                 ?    12104           
================================================================================
  Hits                                                     ?    11122           
  Misses                                                   ?      875           
  Partials                                                 ?      107           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.