Prover: connect the codehash and the statesummary module

[AlexandreBelling]

This PR implements issue(s) #

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.

[Anon-im]

Thats cool

[cla-assistant]

All committers have signed the CLA.

[codecov-commenter]

Codecov Report

Attention: Patch coverage is 0% with 1 line in your changes missing coverage. Please review.

Project coverage is 68.18%. Comparing base (5e7e7e1) to head (81930ab).
Report is 3 commits behind head on main.

Files with missing lines	Patch %	Lines
...acts/verifiers/PlonkVerifierForDataAggregation.sol	0.00%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff            @@
##               main     #463   +/-   ##
=========================================
  Coverage     68.18%   68.18%           
  Complexity     1129     1129           
=========================================
  Files           320      320           
  Lines         12855    12855           
  Branches       1292     1292           
=========================================
  Hits           8765     8765           
  Misses         3558     3558           
  Partials        532      532           

Flag	Coverage Δ		*Carryforward flag
hardhat	98.74% <0.00%> (ø)
kotlin	65.71% <ø> (ø)		Carriedforward from 5e7e7e1

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

Files with missing lines	Coverage Δ
...acts/verifiers/PlonkVerifierForDataAggregation.sol	0.00% <0.00%> (ø)