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 92.29%. Comparing base (f86b74a) to head (529bc8b).

Additional details and impacted files

@@                     Coverage Diff                     @@
##           09-18-State_machine_AIR     #845      +/-   ##
===========================================================
+ Coverage                    92.21%   92.29%   +0.08%     
===========================================================
  Files                           90       90              
  Lines                        12322    12322              
  Branches                     12322    12322              
===========================================================
+ Hits                         11363    11373      +10     
+ Misses                         853      844       -9     
+ Partials                       106      105       -1     

Flag	Coverage Δ
	92.29% <ø> (+0.08%)	⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

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

[Alon-Ti]

Reviewed 3 of 3 files at r1, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @shaharsamocha7)