#461 Prover: Add constraints version validation

[srinathln7]

This PR implements issue(s) #

• Adds a command in the MakeFile under zkevm/arithmetization/zkevm.bin to extract the version from the git branch in the constraints repo and creates a constraints-versions.txt file. This approach relies on branch naming conventions as the linea-constraints repo does not support tags for every release. Tags with version names for every release are recommended to reliably extract versions from tags instead of branches.
• Adds version validation in the prover to ensure the version from the conflated trace file matches the trace engine version and the ones listed in the constraints-versions.txt file.
• Code changes and validation checks were successfully tested manually with correct and incorrect trace files in the prover dev mode.

[gusiri]

I think you can exclude *.config.toml files and run.sh

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 68.18%. Comparing base (29a8d19) to head (ac6a3b6).
Report is 7 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff            @@
##               main     #470   +/-   ##
=========================================
  Coverage     68.17%   68.18%           
  Complexity     1125     1125           
=========================================
  Files           319      319           
  Lines         12789    12789           
  Branches       1275     1275           
=========================================
+ Hits           8719     8720    +1     
+ Misses         3542     3541    -1     
  Partials        528      528           

Flag	Coverage Δ		*Carryforward flag
hardhat	98.70% <ø> (+0.10%)	⬆️
kotlin	65.80% <ø> (ø)		Carriedforward from 359b02d

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

see 1 file with indirect coverage changes

[gusiri]

You can change the title of this PR to something like
Prover: Add constraints version validation, as many different parts of the zkEVMs are merging into main.

[gusiri]

Looks good to me.

[srinathln7]

UPDATE: @gusiri @AlexandreBelling Reworking this PR as e2e tests are failing due to the absence of constraints-versions.txt file in the environment. The plan now is to use go embed plugin and moving this file into backend/execution.

[srinathln7]

Ok, previous e2e test was failing because apparently the conflated trace file can contain optional dir path For eg: /data/traces/v2/conflated/33-33.conflated.v0.8.0-rc8.ltas opposed to just 7036668-7036683.conflated.v0.8.0-rc8.lt that we see from proof requests. Have fixed this by updating the regex pattern to accommodate optional dir prefix so that works for both the file patterns. @gusiri @AlexandreBelling Requesting for review and approval.