diff --git a/prover/protocol/column/verifiercol/expand_verifcol.go b/prover/protocol/column/verifiercol/expand_verifcol.go index 620e47691..b984cc3e5 100644 --- a/prover/protocol/column/verifiercol/expand_verifcol.go +++ b/prover/protocol/column/verifiercol/expand_verifcol.go @@ -2,11 +2,11 @@ package verifiercol import ( "github.com/consensys/gnark/frontend" - "github.com/consensys/zkevm-monorepo/prover/maths/common/smartvectors" - "github.com/consensys/zkevm-monorepo/prover/maths/common/vector" - "github.com/consensys/zkevm-monorepo/prover/maths/field" - "github.com/consensys/zkevm-monorepo/prover/protocol/ifaces" - "github.com/consensys/zkevm-monorepo/prover/protocol/wizard" + "github.com/consensys/linea-monorepo/prover/maths/common/smartvectors" + "github.com/consensys/linea-monorepo/prover/maths/common/vector" + "github.com/consensys/linea-monorepo/prover/maths/field" + "github.com/consensys/linea-monorepo/prover/protocol/ifaces" + "github.com/consensys/linea-monorepo/prover/protocol/wizard" ) // compile check to enforce the struct to belong to the corresponding interface diff --git a/prover/protocol/compiler/splitter/stitcher/constraints.go b/prover/protocol/compiler/splitter/stitcher/constraints.go index c12043395..cb818477b 100644 --- a/prover/protocol/compiler/splitter/stitcher/constraints.go +++ b/prover/protocol/compiler/splitter/stitcher/constraints.go @@ -1,16 +1,16 @@ package stitcher import ( - "github.com/consensys/zkevm-monorepo/prover/protocol/coin" - "github.com/consensys/zkevm-monorepo/prover/protocol/column" - "github.com/consensys/zkevm-monorepo/prover/protocol/column/verifiercol" - "github.com/consensys/zkevm-monorepo/prover/protocol/ifaces" - "github.com/consensys/zkevm-monorepo/prover/protocol/query" - "github.com/consensys/zkevm-monorepo/prover/protocol/variables" - "github.com/consensys/zkevm-monorepo/prover/protocol/wizard" - "github.com/consensys/zkevm-monorepo/prover/symbolic" - "github.com/consensys/zkevm-monorepo/prover/utils" - "github.com/consensys/zkevm-monorepo/prover/utils/collection" + "github.com/consensys/linea-monorepo/prover/protocol/coin" + "github.com/consensys/linea-monorepo/prover/protocol/column" + "github.com/consensys/linea-monorepo/prover/protocol/column/verifiercol" + "github.com/consensys/linea-monorepo/prover/protocol/ifaces" + "github.com/consensys/linea-monorepo/prover/protocol/query" + "github.com/consensys/linea-monorepo/prover/protocol/variables" + "github.com/consensys/linea-monorepo/prover/protocol/wizard" + "github.com/consensys/linea-monorepo/prover/symbolic" + "github.com/consensys/linea-monorepo/prover/utils" + "github.com/consensys/linea-monorepo/prover/utils/collection" ) func (ctx stitchingContext) constraints() { diff --git a/prover/protocol/compiler/splitter/stitcher/stitcher.go b/prover/protocol/compiler/splitter/stitcher/stitcher.go index efd1b58be..211f9972e 100644 --- a/prover/protocol/compiler/splitter/stitcher/stitcher.go +++ b/prover/protocol/compiler/splitter/stitcher/stitcher.go @@ -3,16 +3,16 @@ package stitcher import ( "strings" - "github.com/consensys/zkevm-monorepo/prover/maths/common/smartvectors" - "github.com/consensys/zkevm-monorepo/prover/maths/common/vector" - "github.com/consensys/zkevm-monorepo/prover/maths/field" - "github.com/consensys/zkevm-monorepo/prover/protocol/column" - "github.com/consensys/zkevm-monorepo/prover/protocol/column/verifiercol" - "github.com/consensys/zkevm-monorepo/prover/protocol/ifaces" - "github.com/consensys/zkevm-monorepo/prover/protocol/wizard" - "github.com/consensys/zkevm-monorepo/prover/symbolic" - "github.com/consensys/zkevm-monorepo/prover/utils" - "github.com/consensys/zkevm-monorepo/prover/utils/profiling" + "github.com/consensys/linea-monorepo/prover/maths/common/smartvectors" + "github.com/consensys/linea-monorepo/prover/maths/common/vector" + "github.com/consensys/linea-monorepo/prover/maths/field" + "github.com/consensys/linea-monorepo/prover/protocol/column" + "github.com/consensys/linea-monorepo/prover/protocol/column/verifiercol" + "github.com/consensys/linea-monorepo/prover/protocol/ifaces" + "github.com/consensys/linea-monorepo/prover/protocol/wizard" + "github.com/consensys/linea-monorepo/prover/symbolic" + "github.com/consensys/linea-monorepo/prover/utils" + "github.com/consensys/linea-monorepo/prover/utils/profiling" ) type stitchingContext struct { @@ -364,7 +364,7 @@ func isExprEligible(ctx stitchingContext, board symbolic.ExpressionBoard) bool { if allAreVeriferCol { // 4. we expect no expression involving only and only the verifierCols. // We expect that this case wont happen. - // Otherwise should be handled in the [github.com/consensys/zkevm-monorepo/prover/protocol/query] package. + // Otherwise should be handled in the [github.com/consensys/linea-monorepo/prover/protocol/query] package. // Namely, Local/Global queries should be checked directly by the verifer. panic("all the columns in the expression are verifierCols, unsupported by the compiler") } diff --git a/prover/protocol/compiler/splitter/stitcher/stitcher_test.go b/prover/protocol/compiler/splitter/stitcher/stitcher_test.go index 69a42b1d8..c05dff5c1 100644 --- a/prover/protocol/compiler/splitter/stitcher/stitcher_test.go +++ b/prover/protocol/compiler/splitter/stitcher/stitcher_test.go @@ -3,18 +3,18 @@ package stitcher_test import ( "testing" - "github.com/consensys/zkevm-monorepo/prover/maths/common/smartvectors" - "github.com/consensys/zkevm-monorepo/prover/maths/field" - "github.com/consensys/zkevm-monorepo/prover/protocol/accessors" - "github.com/consensys/zkevm-monorepo/prover/protocol/coin" - "github.com/consensys/zkevm-monorepo/prover/protocol/column" - "github.com/consensys/zkevm-monorepo/prover/protocol/column/verifiercol" - "github.com/consensys/zkevm-monorepo/prover/protocol/compiler/dummy" - "github.com/consensys/zkevm-monorepo/prover/protocol/compiler/splitter/stitcher" - "github.com/consensys/zkevm-monorepo/prover/protocol/ifaces" - "github.com/consensys/zkevm-monorepo/prover/protocol/query" - "github.com/consensys/zkevm-monorepo/prover/protocol/wizard" - "github.com/consensys/zkevm-monorepo/prover/symbolic" + "github.com/consensys/linea-monorepo/prover/maths/common/smartvectors" + "github.com/consensys/linea-monorepo/prover/maths/field" + "github.com/consensys/linea-monorepo/prover/protocol/accessors" + "github.com/consensys/linea-monorepo/prover/protocol/coin" + "github.com/consensys/linea-monorepo/prover/protocol/column" + "github.com/consensys/linea-monorepo/prover/protocol/column/verifiercol" + "github.com/consensys/linea-monorepo/prover/protocol/compiler/dummy" + "github.com/consensys/linea-monorepo/prover/protocol/compiler/splitter/stitcher" + "github.com/consensys/linea-monorepo/prover/protocol/ifaces" + "github.com/consensys/linea-monorepo/prover/protocol/query" + "github.com/consensys/linea-monorepo/prover/protocol/wizard" + "github.com/consensys/linea-monorepo/prover/symbolic" "github.com/stretchr/testify/assert" "github.com/stretchr/testify/require" )