vacp2p/linea-monorepo
1
0
Fork 0
mirror of https://github.com/vacp2p/linea-monorepo.git synced 2026-01-09 20:27:58 -05:00
Code Issues Packages Projects Releases Wiki Activity

Prover: bump go-corset to the latest version (#160)

Browse Source 
* bump go-corset to the latest commit

* disable typecheck

* fix error code 77 msg format

* fix missing String method error

* enable typecheck

* bump go-corset version

* gofmt and fix comments

* fix golangci-lint version to v1.61.0

---------

Co-authored-by: AlexandreBelling <alexandrebelling8@gmail.com>
This commit is contained in:
Leo Jeong
2024-10-12 01:09:19 +09:00
committed by GitHub
parent ac758f609b
commit 37a2fb04e6
5 changed files with 9 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
.github/workflows/prover-testing.yml vendored
View File

@@ -44,6 +44,7 @@ jobs:
- name: golangci-lint
uses: golangci/golangci-lint-action@v3
with:
version: v1.61.0
working-directory: prover
args: --timeout=5m
- name: generated files should not be modified

2
prover/go.mod
View File

@@ -9,7 +9,7 @@ require (
github.com/consensys/compress v0.2.5
github.com/consensys/gnark v0.11.1-0.20240910135928-e8cb61d0be1d
github.com/consensys/gnark-crypto v0.14.1-0.20240909204211-78a6dc12799c
github.com/consensys/go-corset v0.0.0-20240920085445-2d0aad43bfbd
github.com/consensys/go-corset v0.0.0-20241009181119-b687f2ec84ed
github.com/crate-crypto/go-kzg-4844 v1.1.0
github.com/dlclark/regexp2 v1.11.2
github.com/fxamacker/cbor/v2 v2.7.0

4
prover/go.sum
View File

@@ -100,8 +100,8 @@ github.com/consensys/gnark v0.11.1-0.20240910135928-e8cb61d0be1d h1:TmNupI1+K5/L
github.com/consensys/gnark v0.11.1-0.20240910135928-e8cb61d0be1d/go.mod h1:f9CH911SPCrbSZp5z9LYzJ3rZvI7mOUzzf48lCZO/5o=
github.com/consensys/gnark-crypto v0.14.1-0.20240909204211-78a6dc12799c h1:fkRJCyz4EBjDNhiNTyyyEJBEW7RsFzmDVd/ot4jtSrE=
github.com/consensys/gnark-crypto v0.14.1-0.20240909204211-78a6dc12799c/go.mod h1:AL8vs/7MyZ0P93tcNDkUWVwf2rWLUGFUP/1iqiF7h4E=
github.com/consensys/go-corset v0.0.0-20240920085445-2d0aad43bfbd h1:yNUrtBL6JEGq9lpTHyjTZ5i3VGhqkKhoYokTVnt0Iqs=
github.com/consensys/go-corset v0.0.0-20240920085445-2d0aad43bfbd/go.mod h1:J64guTfpmfXl4Yk2D7lsWdYg0ilP+N8JWPudP7+sZpA=
github.com/consensys/go-corset v0.0.0-20241009181119-b687f2ec84ed h1:tA+JpjGO3tB2+Q7lsrlDper2L5BcvgS2sNd6DLS2ViM=
github.com/consensys/go-corset v0.0.0-20241009181119-b687f2ec84ed/go.mod h1:J64guTfpmfXl4Yk2D7lsWdYg0ilP+N8JWPudP7+sZpA=
github.com/coreos/go-semver v0.3.0/go.mod h1:nnelYz7RCh+5ahJtPPxZlU+153eP4D4r3EedlOD2RNk=
github.com/coreos/go-systemd/v22 v22.3.2/go.mod h1:Y58oyj3AT4RCenI/lSvhwexgC+NSVTIJ3seZv2GcEnc=
github.com/coreos/go-systemd/v22 v22.5.0/go.mod h1:Y58oyj3AT4RCenI/lSvhwexgC+NSVTIJ3seZv2GcEnc=

4
prover/zkevm/arithmetization/assignment.go
View File

@@ -40,14 +40,14 @@ func AssignFromLtTraces(run *wizard.ProverRuntime, schema *air.Schema, expTraces
if uint(limit) < height {
level = logrus.ErrorLevel
err77 = errors.Join(err77, fmt.Errorf("limit overflow: module %q overflows its limit height=%v limit=%v ratio=%v", name, height, limit, ratio))
err77 = errors.Join(err77, fmt.Errorf("limit overflow: module '%s' overflows its limit height=%v limit=%v ratio=%v", name, height, limit, ratio))
}
logrus.StandardLogger().Logf(level, "module utilization module=%v height=%v limit=%v ratio=%v", name, height, limit, ratio)
}
if err77 != nil {
logrus.Errorf("Error code 77: \n%v", err77)
logrus.Errorf("Error code 77 %v", err77)
os.Exit(TraceOverflowExitCode)
}

6
prover/zkevm/arithmetization/definition.go
View File

@@ -87,7 +87,7 @@ func (s *schemaScanner) scanConstraints() {
corsetCSs := s.Schema.Constraints().Collect()
for _, corsetCS := range corsetCSs {
name := corsetCS.String()
name := fmt.Sprintf("%v", corsetCS)
if s.Comp.QueriesNoParams.Exists(ifaces.QueryID(name)) {
continue
}
@@ -230,8 +230,8 @@ func (s *schemaScanner) castExpression(expr air.Expr) *symbolic.Expression {
return symbolic.NewVariable(c)
default:
panic(fmt.Sprintf("unsupported type: %T for %v", e, e.String()))
eStr := fmt.Sprintf("%v", e)
panic(fmt.Sprintf("unsupported type: %T for %v", e, eStr))
}
}