Prover: bump go-corset to the latest version

[gusiri]

This PR

• bumps go-corset to the latest commit as this fixes some performance issues exposed by this bug 82f81b5.
• fixes compile error with the latest go-corset (String() undefined)

zkevm/arithmetization/definition.go:90:20: corsetCS.String undefined (type "github.com/consensys/go-corset/pkg/schema".Constraint has no field or method String)
zkevm/arithmetization/definition.go:234:57: e.String undefined (type air.Expr has no field or method String)

• fixes golangci-lint version to v1.61.0
• fixes error code 77 message format (Go-corset code 77 error format #162)

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.46%. Comparing base (d86aa9a) to head (4414aa8).
Report is 1 commits behind head on main.

Additional details and impacted files

@@             Coverage Diff              @@
##               main     #160      +/-   ##
============================================
+ Coverage     70.39%   70.46%   +0.06%     
  Complexity     1040     1040              
============================================
  Files           282      282              
  Lines         11312    11314       +2     
  Branches       1082     1030      -52     
============================================
+ Hits           7963     7972       +9     
+ Misses         2882     2875       -7     
  Partials        467      467              

Flag	Coverage Δ		*Carryforward flag
hardhat	98.70% <ø> (ø)		Carriedforward from ea6148c
kotlin	67.94% <ø> (+0.07%)	⬆️

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

see 4 files with indirect coverage changes

[gusiri]

I am looking at some errors:

run golangci-lint
  Running [/home/runner/golangci-lint-1.61.0-linux-amd64/golangci-lint run --out-format=github-actions --path-prefix=prover --timeout=5m] in [/runner/_work/linea-monorepo/linea-monorepo/prover] ...
  Error: could not import github.com/consensys/linea-monorepo/prover/zkevm/arithmetization (-: # github.com/consensys/linea-monorepo/prover/zkevm/arithmetization
  Error: zkevm/arithmetization/definition.go:90:20: corsetCS.String undefined (type "github.com/consensys/go-corset/pkg/schema".Constraint has no field or method String)
  Error: zkevm/arithmetization/definition.go:234:57: e.String undefined (type air.Expr has no field or method String)) (typecheck)
  Error: could not import github.com/consensys/linea-monorepo/prover/zkevm/arithmetization (-: # github.com/consensys/linea-monorepo/prover/zkevm/arithmetization
  Error: zkevm/arithmetization/definition.go:90:20: corsetCS.String undefined (type "github.com/consensys/go-corset/pkg/schema".Constraint has no field or method String)
  Error: zkevm/arithmetization/definition.go:234:57: e.String undefined (type air.Expr has no field or method String)) (typecheck)
  Error: : # github.com/consensys/linea-monorepo/prover/zkevm/arithmetization [github.com/consensys/linea-monorepo/prover/zkevm/arithmetization.test]
  Error: zkevm/arithmetization/definition.go:90:20: corsetCS.String undefined (type "github.com/consensys/go-corset/pkg/schema".Constraint has no field or method String)
  Error: zkevm/arithmetization/definition.go:234:57: e.String undefined (type air.Expr has no field or method String) (typecheck)

[AlexandreBelling]

Is it the linter or also the whole compilation?