vacp2p/linea-monorepo
1
0
Fork 0
mirror of https://github.com/vacp2p/linea-monorepo.git synced 2026-01-08 03:43:56 -05:00
Code Issues Packages Projects Releases Wiki Activity

Revert "Revert: Prover: bump to arithmetization beta-v0.8.0-rc6 (#362) (#371)" (#418)

Browse Source 
This reverts commit 8be665e11c.
This commit is contained in:
AlexandreBelling
2024-12-10 16:09:06 +01:00
committed by GitHub
parent c511121317
commit 0bcfa5e26a
8 changed files with 10 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
constraints

Submodule constraints updated: 1c658b55bc...f0ce0da1e1

2
corset

Submodule corset updated: 0f6fb5d309...de977bdf0e

7
prover/Makefile
View File

@@ -46,13 +46,6 @@ corset:
zkevm/arithmetization/zkevm.bin: corset
cd ../constraints && $(CORSET) make zkevm.bin && mv zkevm.bin ../prover/zkevm/arithmetization
##
## Generate `define.go` based on the latest version of corset and the constraints
##
wizard: zkevm/define/define.go
zkevm/define/define.go: corset
cd ../constraints && $(CORSET) make -B define.go && mv define.go ../prover/zkevm/arithmetization/define/define.go
##
## Generate the setup for the execution prover (to be run with S3 access)
##

2
prover/README.md
View File

@@ -33,4 +33,4 @@ make setup
```
./integration/run.sh dev-mode
./integration/run.sh full-mode
```
```

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.20241007145620-e26bbdf97a4a
github.com/consensys/go-corset v0.0.0-20241009181119-b687f2ec84ed
github.com/consensys/go-corset v0.0.0-20241125005324-5cb0c289c021
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.20241007145620-e26bbdf97a4a h1:yUHuYq+v1C3maTwnntLYhTDmboq3scSo1PQIl375/sE=
github.com/consensys/gnark-crypto v0.14.1-0.20241007145620-e26bbdf97a4a/go.mod h1:F/hJyWBcTr1sWeifAKfEN3aVb3G4U5zheEC8IbWQun4=
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/consensys/go-corset v0.0.0-20241125005324-5cb0c289c021 h1:zAPMHjY72pXmjuyb/niQ816pd+B9RAmZoL/W/f5uJSU=
github.com/consensys/go-corset v0.0.0-20241125005324-5cb0c289c021/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=

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

@@ -176,10 +176,11 @@ func (s *schemaScanner) addConstraintInComp(name string, corsetCS schema.Constra
s.Comp.InsertLocal(0, ifaces.QueryID(name), wExpr)
case *constraint.RangeConstraint:
case *constraint.RangeConstraint[*air.ColumnAccess]:
bound := cs.Bound()
// #nosec G115 -- this bound will not overflow
s.Comp.InsertRange(0, ifaces.QueryID(name), s.compColumnByCorsetID(cs.Column()), int(cs.Bound()))
s.Comp.InsertRange(0, ifaces.QueryID(name), s.compColumnByCorsetID(cs.Target().Column), int(bound.Uint64()))
default:

2
prover/zkevm/arithmetization/zkevm.bin
View File

File diff suppressed because one or more lines are too long