Prover: Beta v1.3

[gusiri]

This PR

• bump constraints to beta-v1.3-rc3
• update trace limits
• use go-corset to generate zkevm.bin

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.

[cla-assistant]

All committers have signed the CLA.

[cla-assistant]

Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you all sign our Contributor License Agreement before we can accept your contribution.
1 out of 2 committers have signed the CLA.

✅ gusiri
❌ DavePearce
_{You have signed the CLA already but the status is still pending? Let us recheck it.}

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 68.38%. Comparing base (a72a7e9) to head (958e7fa).

Additional details and impacted files

@@            Coverage Diff            @@
##               main     #703   +/-   ##
=========================================
  Coverage     68.38%   68.38%           
  Complexity     1185     1185           
=========================================
  Files           323      323           
  Lines         13131    13131           
  Branches       1319     1319           
=========================================
  Hits           8979     8979           
  Misses         3600     3600           
  Partials        552      552           

Flag	Coverage Δ		*Carryforward flag
hardhat	98.52% <ø> (ø)
kotlin	66.03% <ø> (ø)		Carriedforward from 08ea4c9

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