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: switch the go import path to linea-monorepo (#20)

Browse Source 
* switch the go import path to linea-monorepo
* address every occurence to zkevm-monorepo
This commit is contained in:
AlexandreBelling
2024-09-13 15:10:04 +02:00
committed by GitHub
parent 347f3af6cf
commit e63c730d6d
682 changed files with 3182 additions and 3152 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
prover/example/test_cases/fibonacci_test.go
View File

@@ -5,10 +5,10 @@ package test_cases_test
import (
"testing"
"github.com/consensys/zkevm-monorepo/prover/maths/common/smartvectors"
"github.com/consensys/zkevm-monorepo/prover/protocol/column"
"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/protocol/column"
"github.com/consensys/linea-monorepo/prover/protocol/ifaces"
"github.com/consensys/linea-monorepo/prover/protocol/wizard"
)
func defineFibo(build *wizard.Builder) {

6
prover/example/test_cases/fixed_permutation_test.go
View File

@@ -5,9 +5,9 @@ package test_cases_test
import (
"testing"
"github.com/consensys/zkevm-monorepo/prover/maths/common/smartvectors"
"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/protocol/ifaces"
"github.com/consensys/linea-monorepo/prover/protocol/wizard"
)
var (

26
prover/example/test_cases/framework_test.go
View File

@@ -8,19 +8,19 @@ import (
"github.com/consensys/gnark-crypto/ecc"
"github.com/consensys/gnark/frontend"
"github.com/consensys/gnark/frontend/cs/scs"
"github.com/consensys/zkevm-monorepo/prover/protocol/coin"
"github.com/consensys/zkevm-monorepo/prover/protocol/compiler/dummy"
"github.com/consensys/zkevm-monorepo/prover/protocol/compiler/globalcs"
"github.com/consensys/zkevm-monorepo/prover/protocol/compiler/innerproduct"
"github.com/consensys/zkevm-monorepo/prover/protocol/compiler/localcs"
"github.com/consensys/zkevm-monorepo/prover/protocol/compiler/lookup"
"github.com/consensys/zkevm-monorepo/prover/protocol/compiler/permutation"
"github.com/consensys/zkevm-monorepo/prover/protocol/compiler/specialqueries"
"github.com/consensys/zkevm-monorepo/prover/protocol/compiler/splitter"
"github.com/consensys/zkevm-monorepo/prover/protocol/compiler/univariates"
"github.com/consensys/zkevm-monorepo/prover/protocol/compiler/vortex"
"github.com/consensys/zkevm-monorepo/prover/protocol/ifaces"
"github.com/consensys/zkevm-monorepo/prover/protocol/wizard"
"github.com/consensys/linea-monorepo/prover/protocol/coin"
"github.com/consensys/linea-monorepo/prover/protocol/compiler/dummy"
"github.com/consensys/linea-monorepo/prover/protocol/compiler/globalcs"
"github.com/consensys/linea-monorepo/prover/protocol/compiler/innerproduct"
"github.com/consensys/linea-monorepo/prover/protocol/compiler/localcs"
"github.com/consensys/linea-monorepo/prover/protocol/compiler/lookup"
"github.com/consensys/linea-monorepo/prover/protocol/compiler/permutation"
"github.com/consensys/linea-monorepo/prover/protocol/compiler/specialqueries"
"github.com/consensys/linea-monorepo/prover/protocol/compiler/splitter"
"github.com/consensys/linea-monorepo/prover/protocol/compiler/univariates"
"github.com/consensys/linea-monorepo/prover/protocol/compiler/vortex"
"github.com/consensys/linea-monorepo/prover/protocol/ifaces"
"github.com/consensys/linea-monorepo/prover/protocol/wizard"
"github.com/sirupsen/logrus"
"github.com/stretchr/testify/require"
)

6
prover/example/test_cases/inclusion_multi_col_test.go
View File

@@ -5,9 +5,9 @@ package test_cases_test
import (
"testing"
"github.com/consensys/zkevm-monorepo/prover/maths/common/smartvectors"
"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/protocol/ifaces"
"github.com/consensys/linea-monorepo/prover/protocol/wizard"
)
func defineIncluMultiCol(build *wizard.Builder) {

6
prover/example/test_cases/inclusion_test.go
View File

@@ -5,9 +5,9 @@ package test_cases_test
import (
"testing"
"github.com/consensys/zkevm-monorepo/prover/maths/common/smartvectors"
"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/protocol/ifaces"
"github.com/consensys/linea-monorepo/prover/protocol/wizard"
)
func defineInclu(build *wizard.Builder) {

6
prover/example/test_cases/issue_test.go
View File

@@ -7,9 +7,9 @@ package test_cases_test
import (
"testing"
"github.com/consensys/zkevm-monorepo/prover/maths/common/smartvectors"
"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/protocol/ifaces"
"github.com/consensys/linea-monorepo/prover/protocol/wizard"
)
func defineIssuePermSingleCol(build *wizard.Builder) {

8
prover/example/test_cases/local_constraint_test.go
View File

@@ -5,10 +5,10 @@ package test_cases_test
import (
"testing"
"github.com/consensys/zkevm-monorepo/prover/maths/common/smartvectors"
"github.com/consensys/zkevm-monorepo/prover/protocol/column"
"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/protocol/column"
"github.com/consensys/linea-monorepo/prover/protocol/ifaces"
"github.com/consensys/linea-monorepo/prover/protocol/wizard"
)
func defineLocal(build *wizard.Builder) {

10
prover/example/test_cases/local_opening_test.go
View File

@@ -8,11 +8,11 @@ import (
"github.com/consensys/gnark-crypto/ecc"
"github.com/consensys/gnark/frontend"
"github.com/consensys/gnark/frontend/cs/scs"
"github.com/consensys/zkevm-monorepo/prover/maths/common/smartvectors"
"github.com/consensys/zkevm-monorepo/prover/maths/field"
"github.com/consensys/zkevm-monorepo/prover/protocol/column"
"github.com/consensys/zkevm-monorepo/prover/protocol/compiler/splitter"
"github.com/consensys/zkevm-monorepo/prover/protocol/wizard"
"github.com/consensys/linea-monorepo/prover/maths/common/smartvectors"
"github.com/consensys/linea-monorepo/prover/maths/field"
"github.com/consensys/linea-monorepo/prover/protocol/column"
"github.com/consensys/linea-monorepo/prover/protocol/compiler/splitter"
"github.com/consensys/linea-monorepo/prover/protocol/wizard"
"github.com/stretchr/testify/require"
)

6
prover/example/test_cases/multi_point_test.go
View File

@@ -5,9 +5,9 @@ package test_cases_test
import (
"testing"
"github.com/consensys/zkevm-monorepo/prover/maths/common/smartvectors"
"github.com/consensys/zkevm-monorepo/prover/protocol/coin"
"github.com/consensys/zkevm-monorepo/prover/protocol/wizard"
"github.com/consensys/linea-monorepo/prover/maths/common/smartvectors"
"github.com/consensys/linea-monorepo/prover/protocol/coin"
"github.com/consensys/linea-monorepo/prover/protocol/wizard"
)
func defineMultiPoint(build *wizard.Builder) {

6
prover/example/test_cases/permutation_multicol_test.go
View File

@@ -5,9 +5,9 @@ package test_cases_test
import (
"testing"
"github.com/consensys/zkevm-monorepo/prover/maths/common/smartvectors"
"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/protocol/ifaces"
"github.com/consensys/linea-monorepo/prover/protocol/wizard"
)
func definePermutationMultiCol(build *wizard.Builder) {

6
prover/example/test_cases/permutation_test.go
View File

@@ -5,9 +5,9 @@ package test_cases_test
import (
"testing"
"github.com/consensys/zkevm-monorepo/prover/maths/common/smartvectors"
"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/protocol/ifaces"
"github.com/consensys/linea-monorepo/prover/protocol/wizard"
)
func definePermSingleCol(build *wizard.Builder) {

8
prover/example/test_cases/pythagore_test.go
View File

@@ -5,10 +5,10 @@ package test_cases_test
import (
"testing"
"github.com/consensys/zkevm-monorepo/prover/maths/common/smartvectors"
"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/linea-monorepo/prover/maths/common/smartvectors"
"github.com/consensys/linea-monorepo/prover/protocol/ifaces"
"github.com/consensys/linea-monorepo/prover/protocol/wizard"
"github.com/consensys/linea-monorepo/prover/symbolic"
)
func definePythagore(build *wizard.Builder) {

6
prover/example/test_cases/range_test.go
View File

@@ -5,9 +5,9 @@ package test_cases_test
import (
"testing"
"github.com/consensys/zkevm-monorepo/prover/maths/common/smartvectors"
"github.com/consensys/zkevm-monorepo/prover/protocol/compiler/splitter"
"github.com/consensys/zkevm-monorepo/prover/protocol/wizard"
"github.com/consensys/linea-monorepo/prover/maths/common/smartvectors"
"github.com/consensys/linea-monorepo/prover/protocol/compiler/splitter"
"github.com/consensys/linea-monorepo/prover/protocol/wizard"
)
func defineRange(build *wizard.Builder) {