From 97538c7b57b0a6265ccff52029ccbc9e23848946 Mon Sep 17 00:00:00 2001 From: M Alghazwi Date: Tue, 27 May 2025 10:51:28 +0200 Subject: [PATCH] rename imports --- benchmark.go | 8 ++++---- challenger/challenger.go | 10 +++++----- fri/fri.go | 8 ++++---- fri/fri_test.go | 12 ++++++------ fri/fri_utils.go | 4 ++-- fri/vars.go | 2 +- go.mod | 2 +- plonk/gates/arithmetic_extension_gate.go | 2 +- plonk/gates/arithmetic_gate.go | 2 +- plonk/gates/base_sum_gate.go | 2 +- plonk/gates/constant_gate.go | 2 +- plonk/gates/coset_interpolation_gate.go | 2 +- plonk/gates/evaluate_gates.go | 2 +- plonk/gates/exponentiation_gate.go | 2 +- plonk/gates/gates.go | 2 +- plonk/gates/gates_test.go | 8 ++++---- plonk/gates/multiplication_extension_gate.go | 2 +- plonk/gates/noop_gate.go | 2 +- plonk/gates/poseidon_gate.go | 4 ++-- plonk/gates/poseidon_mds_gate.go | 4 ++-- plonk/gates/public_input_gate.go | 2 +- plonk/gates/random_access_gate.go | 2 +- plonk/gates/reducing_extension_gate.go | 2 +- plonk/gates/reducing_gate.go | 2 +- plonk/gates/vars.go | 4 ++-- plonk/plonk.go | 10 +++++----- plonk/plonk_test.go | 8 ++++---- poseidon/bn254.go | 2 +- poseidon/bn254_test.go | 2 +- poseidon/goldilocks.go | 2 +- poseidon/goldilocks_test.go | 2 +- poseidon/public_inputs_hash_test.go | 2 +- types/common_data.go | 2 +- types/types.go | 2 +- variables/circuit.go | 4 ++-- variables/deserialize.go | 6 +++--- variables/deserialize_test.go | 2 +- variables/fri.go | 4 ++-- variables/plonk.go | 2 +- verifier/util.go | 6 +++--- verifier/verifier.go | 14 +++++++------- verifier/verifier_test.go | 6 +++--- 42 files changed, 85 insertions(+), 85 deletions(-) diff --git a/benchmark.go b/benchmark.go index 11b6b39..6a5b0dc 100644 --- a/benchmark.go +++ b/benchmark.go @@ -8,6 +8,10 @@ import ( "os" "time" + "github.com/codex-storage/gnark-plonky2-verifier/trusted_setup" + "github.com/codex-storage/gnark-plonky2-verifier/types" + "github.com/codex-storage/gnark-plonky2-verifier/variables" + "github.com/codex-storage/gnark-plonky2-verifier/verifier" "github.com/consensys/gnark-crypto/ecc" "github.com/consensys/gnark-crypto/kzg" "github.com/consensys/gnark/backend/groth16" @@ -18,10 +22,6 @@ import ( "github.com/consensys/gnark/frontend/cs/scs" "github.com/consensys/gnark/profile" "github.com/consensys/gnark/test" - "github.com/succinctlabs/gnark-plonky2-verifier/trusted_setup" - "github.com/succinctlabs/gnark-plonky2-verifier/types" - "github.com/succinctlabs/gnark-plonky2-verifier/variables" - "github.com/succinctlabs/gnark-plonky2-verifier/verifier" ) func runBenchmark(plonky2Circuit string, proofSystem string, profileCircuit bool, dummy bool, saveArtifacts bool) { diff --git a/challenger/challenger.go b/challenger/challenger.go index 20da42a..62973d2 100644 --- a/challenger/challenger.go +++ b/challenger/challenger.go @@ -3,12 +3,12 @@ package challenger import ( "fmt" + "github.com/codex-storage/gnark-plonky2-verifier/fri" + gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" + "github.com/codex-storage/gnark-plonky2-verifier/poseidon" + "github.com/codex-storage/gnark-plonky2-verifier/types" + "github.com/codex-storage/gnark-plonky2-verifier/variables" "github.com/consensys/gnark/frontend" - "github.com/succinctlabs/gnark-plonky2-verifier/fri" - gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" - "github.com/succinctlabs/gnark-plonky2-verifier/poseidon" - "github.com/succinctlabs/gnark-plonky2-verifier/types" - "github.com/succinctlabs/gnark-plonky2-verifier/variables" ) type Chip struct { diff --git a/fri/fri.go b/fri/fri.go index 2e37f0f..dc0ae51 100644 --- a/fri/fri.go +++ b/fri/fri.go @@ -6,12 +6,12 @@ import ( "math/big" "math/bits" + gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" + "github.com/codex-storage/gnark-plonky2-verifier/poseidon" + "github.com/codex-storage/gnark-plonky2-verifier/types" + "github.com/codex-storage/gnark-plonky2-verifier/variables" "github.com/consensys/gnark-crypto/field/goldilocks" "github.com/consensys/gnark/frontend" - gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" - "github.com/succinctlabs/gnark-plonky2-verifier/poseidon" - "github.com/succinctlabs/gnark-plonky2-verifier/types" - "github.com/succinctlabs/gnark-plonky2-verifier/variables" ) type Chip struct { diff --git a/fri/fri_test.go b/fri/fri_test.go index a094421..f61256c 100644 --- a/fri/fri_test.go +++ b/fri/fri_test.go @@ -3,15 +3,15 @@ package fri_test import ( "testing" + "github.com/codex-storage/gnark-plonky2-verifier/challenger" + "github.com/codex-storage/gnark-plonky2-verifier/fri" + gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" + "github.com/codex-storage/gnark-plonky2-verifier/poseidon" + "github.com/codex-storage/gnark-plonky2-verifier/types" + "github.com/codex-storage/gnark-plonky2-verifier/variables" "github.com/consensys/gnark-crypto/ecc" "github.com/consensys/gnark/frontend" "github.com/consensys/gnark/test" - "github.com/succinctlabs/gnark-plonky2-verifier/challenger" - "github.com/succinctlabs/gnark-plonky2-verifier/fri" - gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" - "github.com/succinctlabs/gnark-plonky2-verifier/poseidon" - "github.com/succinctlabs/gnark-plonky2-verifier/types" - "github.com/succinctlabs/gnark-plonky2-verifier/variables" ) type TestFriCircuit struct { diff --git a/fri/fri_utils.go b/fri/fri_utils.go index fe3b5a6..06b193d 100644 --- a/fri/fri_utils.go +++ b/fri/fri_utils.go @@ -3,9 +3,9 @@ package fri import ( "math" + "github.com/codex-storage/gnark-plonky2-verifier/types" + "github.com/codex-storage/gnark-plonky2-verifier/variables" "github.com/consensys/gnark-crypto/field/goldilocks" - "github.com/succinctlabs/gnark-plonky2-verifier/types" - "github.com/succinctlabs/gnark-plonky2-verifier/variables" ) type PolynomialInfo struct { diff --git a/fri/vars.go b/fri/vars.go index e3ef63b..d39b5bc 100644 --- a/fri/vars.go +++ b/fri/vars.go @@ -1,6 +1,6 @@ package fri -import gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" +import gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" type BatchInfo struct { Point gl.QuadraticExtensionVariable diff --git a/go.mod b/go.mod index e8087cf..2b7e771 100644 --- a/go.mod +++ b/go.mod @@ -1,4 +1,4 @@ -module github.com/succinctlabs/gnark-plonky2-verifier +module github.com/codex-storage/gnark-plonky2-verifier go 1.20 diff --git a/plonk/gates/arithmetic_extension_gate.go b/plonk/gates/arithmetic_extension_gate.go index 3e689e5..d888ebf 100644 --- a/plonk/gates/arithmetic_extension_gate.go +++ b/plonk/gates/arithmetic_extension_gate.go @@ -5,8 +5,8 @@ import ( "regexp" "strconv" + gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" "github.com/consensys/gnark/frontend" - gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" ) var arithmeticExtensionGateRegex = regexp.MustCompile("ArithmeticExtensionGate { num_ops: (?P[0-9]+) }") diff --git a/plonk/gates/arithmetic_gate.go b/plonk/gates/arithmetic_gate.go index 3abb62d..7b5f6a0 100644 --- a/plonk/gates/arithmetic_gate.go +++ b/plonk/gates/arithmetic_gate.go @@ -5,8 +5,8 @@ import ( "regexp" "strconv" + gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" "github.com/consensys/gnark/frontend" - gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" ) var arithmeticGateRegex = regexp.MustCompile("ArithmeticGate { num_ops: (?P[0-9]+) }") diff --git a/plonk/gates/base_sum_gate.go b/plonk/gates/base_sum_gate.go index 9b7d23a..eff1fc6 100644 --- a/plonk/gates/base_sum_gate.go +++ b/plonk/gates/base_sum_gate.go @@ -5,8 +5,8 @@ import ( "regexp" "strconv" + gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" "github.com/consensys/gnark/frontend" - gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" ) var baseSumGateRegex = regexp.MustCompile(`BaseSumGate { num_limbs: (?P[0-9]+) } \+ Base: (?P[0-9]+)`) diff --git a/plonk/gates/constant_gate.go b/plonk/gates/constant_gate.go index c5280f2..91b25aa 100644 --- a/plonk/gates/constant_gate.go +++ b/plonk/gates/constant_gate.go @@ -5,8 +5,8 @@ import ( "regexp" "strconv" + gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" "github.com/consensys/gnark/frontend" - gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" ) var constantGateRegex = regexp.MustCompile("ConstantGate { num_consts: (?P[0-9]+) }") diff --git a/plonk/gates/coset_interpolation_gate.go b/plonk/gates/coset_interpolation_gate.go index 26d4dd9..1d26095 100644 --- a/plonk/gates/coset_interpolation_gate.go +++ b/plonk/gates/coset_interpolation_gate.go @@ -6,9 +6,9 @@ import ( "strconv" "strings" + gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" "github.com/consensys/gnark-crypto/field/goldilocks" "github.com/consensys/gnark/frontend" - gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" ) var cosetInterpolationGateRegex = regexp.MustCompile(`CosetInterpolationGate { subgroup_bits: (?P[0-9]+), degree: (?P[0-9]+), barycentric_weights: \[(?P[0-9, ]+)\], _phantom: PhantomData }`) diff --git a/plonk/gates/evaluate_gates.go b/plonk/gates/evaluate_gates.go index d95f9a3..9909a0a 100644 --- a/plonk/gates/evaluate_gates.go +++ b/plonk/gates/evaluate_gates.go @@ -1,8 +1,8 @@ package gates import ( + gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" "github.com/consensys/gnark/frontend" - gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" ) type EvaluateGatesChip struct { diff --git a/plonk/gates/exponentiation_gate.go b/plonk/gates/exponentiation_gate.go index f4f1fab..894a300 100644 --- a/plonk/gates/exponentiation_gate.go +++ b/plonk/gates/exponentiation_gate.go @@ -5,8 +5,8 @@ import ( "regexp" "strconv" + gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" "github.com/consensys/gnark/frontend" - gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" ) var exponentiationGateRegex = regexp.MustCompile("ExponentiationGate { num_power_bits: (?P[0-9]+), _phantom: PhantomData }[0-9]+)>") diff --git a/plonk/gates/gates.go b/plonk/gates/gates.go index fc76580..b6d6ab0 100644 --- a/plonk/gates/gates.go +++ b/plonk/gates/gates.go @@ -4,8 +4,8 @@ import ( "fmt" "regexp" + gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" "github.com/consensys/gnark/frontend" - gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" ) type Gate interface { diff --git a/plonk/gates/gates_test.go b/plonk/gates/gates_test.go index f9b4672..738aaa9 100644 --- a/plonk/gates/gates_test.go +++ b/plonk/gates/gates_test.go @@ -4,14 +4,14 @@ import ( "errors" "testing" + gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" + "github.com/codex-storage/gnark-plonky2-verifier/plonk/gates" + "github.com/codex-storage/gnark-plonky2-verifier/poseidon" + "github.com/codex-storage/gnark-plonky2-verifier/types" "github.com/consensys/gnark-crypto/ecc" "github.com/consensys/gnark-crypto/field/goldilocks" "github.com/consensys/gnark/frontend" "github.com/consensys/gnark/test" - gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" - "github.com/succinctlabs/gnark-plonky2-verifier/plonk/gates" - "github.com/succinctlabs/gnark-plonky2-verifier/poseidon" - "github.com/succinctlabs/gnark-plonky2-verifier/types" ) // From recursive_step circuit diff --git a/plonk/gates/multiplication_extension_gate.go b/plonk/gates/multiplication_extension_gate.go index febc0f6..f51c576 100644 --- a/plonk/gates/multiplication_extension_gate.go +++ b/plonk/gates/multiplication_extension_gate.go @@ -5,8 +5,8 @@ import ( "regexp" "strconv" + gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" "github.com/consensys/gnark/frontend" - gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" ) var mulExtensionGateRegex = regexp.MustCompile("MulExtensionGate { num_ops: (?P[0-9]+) }") diff --git a/plonk/gates/noop_gate.go b/plonk/gates/noop_gate.go index 6df7630..2379f68 100644 --- a/plonk/gates/noop_gate.go +++ b/plonk/gates/noop_gate.go @@ -3,8 +3,8 @@ package gates import ( "regexp" + gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" "github.com/consensys/gnark/frontend" - gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" ) var noopGateRegex = regexp.MustCompile("NoopGate") diff --git a/plonk/gates/poseidon_gate.go b/plonk/gates/poseidon_gate.go index 2d3dbe4..69ff476 100644 --- a/plonk/gates/poseidon_gate.go +++ b/plonk/gates/poseidon_gate.go @@ -3,9 +3,9 @@ package gates import ( "regexp" + gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" + "github.com/codex-storage/gnark-plonky2-verifier/poseidon" "github.com/consensys/gnark/frontend" - gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" - "github.com/succinctlabs/gnark-plonky2-verifier/poseidon" ) var poseidonGateRegex = regexp.MustCompile("PoseidonGate.*") diff --git a/plonk/gates/poseidon_mds_gate.go b/plonk/gates/poseidon_mds_gate.go index 48cf20e..69b400f 100644 --- a/plonk/gates/poseidon_mds_gate.go +++ b/plonk/gates/poseidon_mds_gate.go @@ -3,9 +3,9 @@ package gates import ( "regexp" + gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" + "github.com/codex-storage/gnark-plonky2-verifier/poseidon" "github.com/consensys/gnark/frontend" - gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" - "github.com/succinctlabs/gnark-plonky2-verifier/poseidon" ) var poseidonMdsGateRegex = regexp.MustCompile("PoseidonMdsGate.*") diff --git a/plonk/gates/public_input_gate.go b/plonk/gates/public_input_gate.go index cdb8cdf..a596153 100644 --- a/plonk/gates/public_input_gate.go +++ b/plonk/gates/public_input_gate.go @@ -3,8 +3,8 @@ package gates import ( "regexp" + gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" "github.com/consensys/gnark/frontend" - gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" ) var publicInputGateRegex = regexp.MustCompile("PublicInputGate") diff --git a/plonk/gates/random_access_gate.go b/plonk/gates/random_access_gate.go index 706f47f..812f01e 100644 --- a/plonk/gates/random_access_gate.go +++ b/plonk/gates/random_access_gate.go @@ -5,8 +5,8 @@ import ( "regexp" "strconv" + gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" "github.com/consensys/gnark/frontend" - gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" ) var randomAccessGateRegex = regexp.MustCompile("RandomAccessGate { bits: (?P[0-9]+), num_copies: (?P[0-9]+), num_extra_constants: (?P[0-9]+), _phantom: PhantomData }[0-9]+)>") diff --git a/plonk/gates/reducing_extension_gate.go b/plonk/gates/reducing_extension_gate.go index 7bb9aee..3e41896 100644 --- a/plonk/gates/reducing_extension_gate.go +++ b/plonk/gates/reducing_extension_gate.go @@ -5,8 +5,8 @@ import ( "regexp" "strconv" + gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" "github.com/consensys/gnark/frontend" - gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" ) var reducingExtensionGateRegex = regexp.MustCompile("ReducingExtensionGate { num_coeffs: (?P[0-9]+) }") diff --git a/plonk/gates/reducing_gate.go b/plonk/gates/reducing_gate.go index 57c29a3..a7d43dc 100644 --- a/plonk/gates/reducing_gate.go +++ b/plonk/gates/reducing_gate.go @@ -5,8 +5,8 @@ import ( "regexp" "strconv" + gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" "github.com/consensys/gnark/frontend" - gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" ) var reducingGateRegex = regexp.MustCompile("ReducingGate { num_coeffs: (?P[0-9]+) }") diff --git a/plonk/gates/vars.go b/plonk/gates/vars.go index c18663a..0d5bdf5 100644 --- a/plonk/gates/vars.go +++ b/plonk/gates/vars.go @@ -1,8 +1,8 @@ package gates import ( - gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" - "github.com/succinctlabs/gnark-plonky2-verifier/poseidon" + gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" + "github.com/codex-storage/gnark-plonky2-verifier/poseidon" ) type EvaluationVars struct { diff --git a/plonk/plonk.go b/plonk/plonk.go index ac2348c..72f3294 100644 --- a/plonk/plonk.go +++ b/plonk/plonk.go @@ -1,12 +1,12 @@ package plonk import ( + gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" + "github.com/codex-storage/gnark-plonky2-verifier/plonk/gates" + "github.com/codex-storage/gnark-plonky2-verifier/poseidon" + "github.com/codex-storage/gnark-plonky2-verifier/types" + "github.com/codex-storage/gnark-plonky2-verifier/variables" "github.com/consensys/gnark/frontend" - gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" - "github.com/succinctlabs/gnark-plonky2-verifier/plonk/gates" - "github.com/succinctlabs/gnark-plonky2-verifier/poseidon" - "github.com/succinctlabs/gnark-plonky2-verifier/types" - "github.com/succinctlabs/gnark-plonky2-verifier/variables" ) type PlonkChip struct { diff --git a/plonk/plonk_test.go b/plonk/plonk_test.go index 5b27c1b..3934164 100644 --- a/plonk/plonk_test.go +++ b/plonk/plonk_test.go @@ -3,13 +3,13 @@ package plonk_test import ( "testing" + "github.com/codex-storage/gnark-plonky2-verifier/plonk" + "github.com/codex-storage/gnark-plonky2-verifier/types" + "github.com/codex-storage/gnark-plonky2-verifier/variables" + "github.com/codex-storage/gnark-plonky2-verifier/verifier" "github.com/consensys/gnark-crypto/ecc" "github.com/consensys/gnark/frontend" "github.com/consensys/gnark/test" - "github.com/succinctlabs/gnark-plonky2-verifier/plonk" - "github.com/succinctlabs/gnark-plonky2-verifier/types" - "github.com/succinctlabs/gnark-plonky2-verifier/variables" - "github.com/succinctlabs/gnark-plonky2-verifier/verifier" ) type TestPlonkCircuit struct { diff --git a/poseidon/bn254.go b/poseidon/bn254.go index 80dab15..27f0122 100644 --- a/poseidon/bn254.go +++ b/poseidon/bn254.go @@ -10,9 +10,9 @@ package poseidon import ( "math/big" + gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" "github.com/consensys/gnark-crypto/ecc/bn254" "github.com/consensys/gnark/frontend" - gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" ) const BN254_FULL_ROUNDS int = 8 diff --git a/poseidon/bn254_test.go b/poseidon/bn254_test.go index 8df999c..640246e 100644 --- a/poseidon/bn254_test.go +++ b/poseidon/bn254_test.go @@ -3,10 +3,10 @@ package poseidon import ( "testing" + gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" "github.com/consensys/gnark-crypto/ecc" "github.com/consensys/gnark/frontend" "github.com/consensys/gnark/test" - gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" ) type TestPoseidonBN254Circuit struct { diff --git a/poseidon/goldilocks.go b/poseidon/goldilocks.go index 93e1ebe..0e8e962 100644 --- a/poseidon/goldilocks.go +++ b/poseidon/goldilocks.go @@ -1,8 +1,8 @@ package poseidon import ( + gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" "github.com/consensys/gnark/frontend" - gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" ) const HALF_N_FULL_ROUNDS = 4 diff --git a/poseidon/goldilocks_test.go b/poseidon/goldilocks_test.go index bad7aa4..f328a2a 100644 --- a/poseidon/goldilocks_test.go +++ b/poseidon/goldilocks_test.go @@ -3,12 +3,12 @@ package poseidon import ( "testing" + gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" "github.com/consensys/gnark-crypto/ecc" "github.com/consensys/gnark/backend/groth16" "github.com/consensys/gnark/frontend" "github.com/consensys/gnark/frontend/cs/r1cs" "github.com/consensys/gnark/test" - gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" ) type TestPoseidonCircuit struct { diff --git a/poseidon/public_inputs_hash_test.go b/poseidon/public_inputs_hash_test.go index 51ef4dd..e680265 100644 --- a/poseidon/public_inputs_hash_test.go +++ b/poseidon/public_inputs_hash_test.go @@ -3,11 +3,11 @@ package poseidon import ( "testing" + gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" "github.com/consensys/gnark-crypto/ecc" "github.com/consensys/gnark/backend" "github.com/consensys/gnark/frontend" "github.com/consensys/gnark/test" - gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" ) var testCurve = ecc.BN254 diff --git a/types/common_data.go b/types/common_data.go index c3a6177..015871c 100644 --- a/types/common_data.go +++ b/types/common_data.go @@ -5,7 +5,7 @@ import ( "io" "os" - "github.com/succinctlabs/gnark-plonky2-verifier/plonk/gates" + "github.com/codex-storage/gnark-plonky2-verifier/plonk/gates" ) type CommonCircuitDataRaw struct { diff --git a/types/types.go b/types/types.go index 03bd38f..e68eebf 100644 --- a/types/types.go +++ b/types/types.go @@ -1,7 +1,7 @@ package types import ( - "github.com/succinctlabs/gnark-plonky2-verifier/plonk/gates" + "github.com/codex-storage/gnark-plonky2-verifier/plonk/gates" ) type FriConfig struct { diff --git a/variables/circuit.go b/variables/circuit.go index 829d362..3840268 100644 --- a/variables/circuit.go +++ b/variables/circuit.go @@ -1,8 +1,8 @@ package variables import ( - gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" - "github.com/succinctlabs/gnark-plonky2-verifier/poseidon" + gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" + "github.com/codex-storage/gnark-plonky2-verifier/poseidon" ) type Proof struct { diff --git a/variables/deserialize.go b/variables/deserialize.go index 33acaf3..0e4a323 100644 --- a/variables/deserialize.go +++ b/variables/deserialize.go @@ -3,10 +3,10 @@ package variables import ( "math/big" + gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" + "github.com/codex-storage/gnark-plonky2-verifier/poseidon" + "github.com/codex-storage/gnark-plonky2-verifier/types" "github.com/consensys/gnark/frontend" - gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" - "github.com/succinctlabs/gnark-plonky2-verifier/poseidon" - "github.com/succinctlabs/gnark-plonky2-verifier/types" ) func DeserializeMerkleCap(merkleCapRaw []string) FriMerkleCap { diff --git a/variables/deserialize_test.go b/variables/deserialize_test.go index a1d9017..6cf23c2 100644 --- a/variables/deserialize_test.go +++ b/variables/deserialize_test.go @@ -3,7 +3,7 @@ package variables import ( "testing" - "github.com/succinctlabs/gnark-plonky2-verifier/types" + "github.com/codex-storage/gnark-plonky2-verifier/types" ) func TestDeserializeProofWithPublicInputs(t *testing.T) { diff --git a/variables/fri.go b/variables/fri.go index 3042a87..d0bfa63 100644 --- a/variables/fri.go +++ b/variables/fri.go @@ -1,8 +1,8 @@ package variables import ( - gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" - "github.com/succinctlabs/gnark-plonky2-verifier/poseidon" + gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" + "github.com/codex-storage/gnark-plonky2-verifier/poseidon" ) type PolynomialCoeffs struct { diff --git a/variables/plonk.go b/variables/plonk.go index 245a01e..137b44d 100644 --- a/variables/plonk.go +++ b/variables/plonk.go @@ -1,6 +1,6 @@ package variables -import gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" +import gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" type OpeningSet struct { Constants []gl.QuadraticExtensionVariable // Length = CommonCircuitData.Constants diff --git a/verifier/util.go b/verifier/util.go index e7525ae..b69060d 100644 --- a/verifier/util.go +++ b/verifier/util.go @@ -1,10 +1,10 @@ package verifier import ( + gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" + "github.com/codex-storage/gnark-plonky2-verifier/types" + "github.com/codex-storage/gnark-plonky2-verifier/variables" "github.com/consensys/gnark/frontend" - gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" - "github.com/succinctlabs/gnark-plonky2-verifier/types" - "github.com/succinctlabs/gnark-plonky2-verifier/variables" ) type ExampleVerifierCircuit struct { diff --git a/verifier/verifier.go b/verifier/verifier.go index 05d5ea3..687505f 100644 --- a/verifier/verifier.go +++ b/verifier/verifier.go @@ -1,14 +1,14 @@ package verifier import ( + "github.com/codex-storage/gnark-plonky2-verifier/challenger" + "github.com/codex-storage/gnark-plonky2-verifier/fri" + gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks" + "github.com/codex-storage/gnark-plonky2-verifier/plonk" + "github.com/codex-storage/gnark-plonky2-verifier/poseidon" + "github.com/codex-storage/gnark-plonky2-verifier/types" + "github.com/codex-storage/gnark-plonky2-verifier/variables" "github.com/consensys/gnark/frontend" - "github.com/succinctlabs/gnark-plonky2-verifier/challenger" - "github.com/succinctlabs/gnark-plonky2-verifier/fri" - gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks" - "github.com/succinctlabs/gnark-plonky2-verifier/plonk" - "github.com/succinctlabs/gnark-plonky2-verifier/poseidon" - "github.com/succinctlabs/gnark-plonky2-verifier/types" - "github.com/succinctlabs/gnark-plonky2-verifier/variables" ) type VerifierChip struct { diff --git a/verifier/verifier_test.go b/verifier/verifier_test.go index c41c9e8..2a05763 100644 --- a/verifier/verifier_test.go +++ b/verifier/verifier_test.go @@ -3,11 +3,11 @@ package verifier_test import ( "testing" + "github.com/codex-storage/gnark-plonky2-verifier/types" + "github.com/codex-storage/gnark-plonky2-verifier/variables" + "github.com/codex-storage/gnark-plonky2-verifier/verifier" "github.com/consensys/gnark-crypto/ecc" "github.com/consensys/gnark/test" - "github.com/succinctlabs/gnark-plonky2-verifier/types" - "github.com/succinctlabs/gnark-plonky2-verifier/variables" - "github.com/succinctlabs/gnark-plonky2-verifier/verifier" ) func TestStepVerifier(t *testing.T) {