Prover: fix full prover over Sepolia issues

[AlexandreBelling]

This fixes 2 issues:

• Assignment of the functional public inputs
• Constraints for the rolling-hash update
• Constraints in the pi-interconnection over the rollingHash as well

Checklist

• I wrote new tests for my new core changes.
• I have successfully ran tests, style checker and build against my new changes locally.
• I have informed the team of any breaking changes if there are any.

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 70.38%. Comparing base (a4dbf57) to head (30bfcc7).

Additional details and impacted files

@@             Coverage Diff              @@
##               main     #448      +/-   ##
============================================
+ Coverage     68.11%   70.38%   +2.27%     
+ Complexity     1125     1061      -64     
============================================
  Files           319      305      -14     
  Lines         12789    12201     -588     
  Branches       1275     1166     -109     
============================================
- Hits           8711     8588     -123     
+ Misses         3548     3141     -407     
+ Partials        530      472      -58     

Flag	Coverage Δ		*Carryforward flag
hardhat	98.70% <ø> (ø)
kotlin	68.06% <ø> (+2.33%)	⬆️	Carriedforward from d0d6145

*This pull request uses carry forward flags. Click here to find out more.

see 51 files with indirect coverage changes