plonk

succinctlabs · Feb 15, 2024 · 884ec51 · 884ec51
1 parent b62eb2c
commit 884ec51
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 12 deletions.
diff --git a/go.mod b/go.mod
@@ -3,13 +3,13 @@ module github.com/succinctlabs/succinctx
 go 1.20
 
 require (
-	github.com/consensys/gnark v0.9.0
-	github.com/consensys/gnark-crypto v0.11.2
+	github.com/consensys/gnark v0.9.1
+	github.com/consensys/gnark-crypto v0.12.2-0.20231013160410-1f65e75b6dfb
 	github.com/ethereum/go-ethereum v1.12.0
 	github.com/pkg/errors v0.9.1
 	github.com/rs/zerolog v1.31.0
 	github.com/stretchr/testify v1.8.4
-	github.com/succinctlabs/gnark-plonky2-verifier v0.0.1
+	github.com/succinctlabs/gnark-plonky2-verifier v0.0.2
 )
 
 require (

diff --git a/go.sum b/go.sum
@@ -18,10 +18,10 @@ github.com/cockroachdb/pebble v0.0.0-20230209160836-829675f94811 h1:ytcWPaNPhNoG
 github.com/cockroachdb/redact v1.1.3 h1:AKZds10rFSIj7qADf0g46UixK8NNLwWTNdCIGS5wfSQ=
 github.com/consensys/bavard v0.1.13 h1:oLhMLOFGTLdlda/kma4VOJazblc7IM5y5QPd2A/YjhQ=
 github.com/consensys/bavard v0.1.13/go.mod h1:9ItSMtA/dXMAiL7BG6bqW2m3NdSEObYWoH223nGHukI=
-github.com/consensys/gnark v0.9.0 h1:OoOr0Q771mQINVdP3s1AF2Rs1y8gtXhWVkadz/9KmZc=
-github.com/consensys/gnark v0.9.0/go.mod h1:Sy9jJjIaGJFfNeupyNOR9Ei2IbAB6cfCO78DfG27YvM=
-github.com/consensys/gnark-crypto v0.11.2 h1:GJjjtWJ+db1xGao7vTsOgAOGgjfPe7eRGPL+xxMX0qE=
-github.com/consensys/gnark-crypto v0.11.2/go.mod h1:v2Gy7L/4ZRosZ7Ivs+9SfUDr0f5UlG+EM5t7MPHiLuY=
+github.com/consensys/gnark v0.9.1 h1:aTwBp5469MY/2jNrf4ABrqHRW3+JytfkADdw4ZBY7T0=
+github.com/consensys/gnark v0.9.1/go.mod h1:udWvWGXnfBE7mn7BsNoGAvZDnUhcONBEtNijvVjfY80=
+github.com/consensys/gnark-crypto v0.12.2-0.20231013160410-1f65e75b6dfb h1:f0BMgIjhZy4lSRHCXFbQst85f5agZAjtDMixQqBWNpc=
+github.com/consensys/gnark-crypto v0.12.2-0.20231013160410-1f65e75b6dfb/go.mod h1:v2Gy7L/4ZRosZ7Ivs+9SfUDr0f5UlG+EM5t7MPHiLuY=
 github.com/coreos/go-systemd/v22 v22.5.0/go.mod h1:Y58oyj3AT4RCenI/lSvhwexgC+NSVTIJ3seZv2GcEnc=
 github.com/davecgh/go-spew v1.1.1 h1:vj9j/u1bqnvCEfJOwUhtlOARqs3+rkHYY13jYWTU97c=
 github.com/davecgh/go-spew v1.1.1/go.mod h1:J7Y8YcW2NihsgmVo/mv3lAwl/skON4iLHjSsI+c5H38=
@@ -94,8 +94,8 @@ github.com/shirou/gopsutil v3.21.4-0.20210419000835-c7a38de76ee5+incompatible/go
 github.com/status-im/keycard-go v0.2.0 h1:QDLFswOQu1r5jsycloeQh3bVU8n/NatHHaZobtDnDzA=
 github.com/stretchr/testify v1.8.4 h1:CcVxjf3Q8PM0mHUKJCdn+eZZtm5yQwehR5yeSVQQcUk=
 github.com/stretchr/testify v1.8.4/go.mod h1:sz/lmYIOXD/1dqDmKjjqLyZ2RngseejIcXlSw2iwfAo=
-github.com/succinctlabs/gnark-plonky2-verifier v0.0.1 h1:MFNd9EoJQlZIyftSS3Gv4IgoL6/CEfDVJFLKJj6EoQ4=
-github.com/succinctlabs/gnark-plonky2-verifier v0.0.1/go.mod h1:33fqngzJywBvG2tiETIPCFUCnRGkyTOybblVB9M7aOs=
+github.com/succinctlabs/gnark-plonky2-verifier v0.0.2 h1:wdRnIonINDQUd16LcX71RQxtm4tGMA/awydBYusmUwQ=
+github.com/succinctlabs/gnark-plonky2-verifier v0.0.2/go.mod h1:KfQWe59ELvPg+snt1C4YE7T7hm9Cdi1UYJIez3bWELQ=
 github.com/syndtr/goleveldb v1.0.1-0.20210819022825-2ae1ddf74ef7 h1:epCh84lMvA70Z7CTTCmYQn2CKbY8j86K7/FAIr141uY=
 github.com/tklauser/go-sysconf v0.3.5 h1:uu3Xl4nkLzQfXNsWn15rPc/HQCJKObbt1dKJeWp3vU4=
 github.com/tklauser/go-sysconf v0.3.5/go.mod h1:MkWzOF4RMCshBAMXuhXJs64Rte09mITnppBXY/rYEFI=

diff --git a/plonky2x/verifier/cli.go b/plonky2x/verifier/cli.go
@@ -19,7 +19,7 @@ func main() {
 	verifyFlag := flag.Bool("verify", false, "verify a proof")
 	compileFlag := flag.Bool("compile", false, "compile and save the universal verifier circuit")
 	exportFlag := flag.Bool("export", false, "export the Solidity verifier")
-	systemFlag := flag.String("system", "groth16", "proving system to use (groth16, plonk)")
+	systemFlag := flag.String("system", "plonk", "proving system to use (plonk, groth16)")
 	contractFlag := flag.Bool("contract", true, "Generate solidity contract")
 	flag.Parse()
 

diff --git a/plonky2x/verifier/system/plonk.go b/plonky2x/verifier/system/plonk.go
@@ -12,7 +12,7 @@ import (
 
 	"github.com/consensys/gnark-crypto/ecc"
 	"github.com/consensys/gnark/backend/plonk"
-	plonk16Bn254 "github.com/consensys/gnark/backend/plonk/bn254"
+	plonk_bn254 "github.com/consensys/gnark/backend/plonk/bn254"
 	"github.com/consensys/gnark/backend/witness"
 	"github.com/consensys/gnark/constraint"
 	"github.com/consensys/gnark/frontend"
@@ -246,7 +246,7 @@ func (s *PlonkSystem) ProveCircuit(r1cs constraint.ConstraintSystem, pk plonk.Pr
 	elapsed = time.Since(start)
 	s.logger.Info().Msg("Successfully created proof in " + elapsed.String())
 
-	_proof := proof.(*plonk16Bn254.Proof)
+	_proof := proof.(*plonk_bn254.Proof)
 	s.logger.Info().Msg("Saving proof to proof.json")
 	jsonProof, err := json.Marshal(ProofResult{
 		Output: []byte{},