State machine prover

[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 ✅

Project coverage is 91.96%. Comparing base (2495710) to head (c8b4ff7).

Additional details and impacted files

@@                     Coverage Diff                     @@
##           09-18-State_machine_AIR     #845      +/-   ##
===========================================================
+ Coverage                    91.88%   91.96%   +0.08%     
===========================================================
  Files                           89       89              
  Lines                        12104    12104              
  Branches                     12104    12104              
===========================================================
+ Hits                         11122    11132      +10     
+ Misses                         875      866       -9     
+ Partials                       107      106       -1     

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