logos-storage/gnark-plonky2-verifier
1
0
Fork 0
mirror of https://github.com/logos-storage/gnark-plonky2-verifier.git synced 2026-01-02 13:13:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

rename imports

Browse Source
This commit is contained in:
M Alghazwi 2025-05-27 10:51:28 +02:00
parent b5eec1d2c9
commit 97538c7b57
42 changed files with 85 additions and 85 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
benchmark.go
View File

@ -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) {

10
challenger/challenger.go
View File

@ -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 {

8
fri/fri.go
View File

@ -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 {

12
fri/fri_test.go
View File

@ -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 {

4
fri/fri_utils.go
View File

@ -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 {

2
fri/vars.go
View File

@ -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

2
go.mod
View File

@ -1,4 +1,4 @@
module github.com/succinctlabs/gnark-plonky2-verifier
module github.com/codex-storage/gnark-plonky2-verifier
go 1.20

2
plonk/gates/arithmetic_extension_gate.go
View File

@ -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<numOps>[0-9]+) }")

2
plonk/gates/arithmetic_gate.go
View File

@ -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<numOps>[0-9]+) }")

2
plonk/gates/base_sum_gate.go
View File

@ -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<numLimbs>[0-9]+) } \+ Base: (?P<base>[0-9]+)`)

2
plonk/gates/constant_gate.go
View File

@ -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<numConsts>[0-9]+) }")

2
plonk/gates/coset_interpolation_gate.go
View File

@ -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<subgroupBits>[0-9]+), degree: (?P<degree>[0-9]+), barycentric_weights: \[(?P<barycentricWeights>[0-9, ]+)\], _phantom: PhantomData<plonky2_field::goldilocks_field::GoldilocksField> }<D=2>`)

2
plonk/gates/evaluate_gates.go
View File

@ -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 {

2
plonk/gates/exponentiation_gate.go
View File

@ -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<numPowerBits>[0-9]+), _phantom: PhantomData<plonky2_field::goldilocks_field::GoldilocksField> }<D=(?P<base>[0-9]+)>")

2
plonk/gates/gates.go
View File

@ -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 {

8
plonk/gates/gates_test.go
View File

@ -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

2
plonk/gates/multiplication_extension_gate.go
View File

@ -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<numOps>[0-9]+) }")

2
plonk/gates/noop_gate.go
View File

@ -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")

4
plonk/gates/poseidon_gate.go
View File

@ -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.*")

4
plonk/gates/poseidon_mds_gate.go
View File

@ -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.*")

2
plonk/gates/public_input_gate.go
View File

@ -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")

2
plonk/gates/random_access_gate.go
View File

@ -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<bits>[0-9]+), num_copies: (?P<numCopies>[0-9]+), num_extra_constants: (?P<numExtraConstants>[0-9]+), _phantom: PhantomData<plonky2_field::goldilocks_field::GoldilocksField> }<D=(?P<base>[0-9]+)>")

2
plonk/gates/reducing_extension_gate.go
View File

@ -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<numCoeffs>[0-9]+) }")

2
plonk/gates/reducing_gate.go
View File

@ -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<numCoeffs>[0-9]+) }")

4
plonk/gates/vars.go
View File

@ -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 {

10
plonk/plonk.go
View File

@ -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 {

8
plonk/plonk_test.go
View File

@ -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 {

2
poseidon/bn254.go
View File

@ -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

2
poseidon/bn254_test.go
View File

@ -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 {

2
poseidon/goldilocks.go
View File

@ -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

2
poseidon/goldilocks_test.go
View File

@ -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 {

2
poseidon/public_inputs_hash_test.go
View File

@ -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

2
types/common_data.go
View File

@ -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 {

2
types/types.go
View File

@ -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 {

4
variables/circuit.go
View File

@ -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 {

6
variables/deserialize.go
View File

@ -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 {

2
variables/deserialize_test.go
View File

@ -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) {

4
variables/fri.go
View File

@ -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 {

2
variables/plonk.go
View File

@ -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

6
verifier/util.go
View File

@ -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 {

14
verifier/verifier.go
View File

@ -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 {

6
verifier/verifier_test.go
View File

@ -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) {