Removed dead definitions.

succinctlabs · Jun 18, 2024 · 18234ce · 18234ce
1 parent 5772576
commit 18234ce
Show file tree

Hide file tree

Showing 4 changed files with 1 addition and 5 deletions.
diff --git a/recursion/gnark-ffi/go/sp1/babybear/babybear.go b/recursion/gnark-ffi/go/sp1/babybear/babybear.go
@@ -14,7 +14,6 @@ import (
 )
 
 var modulus = new(big.Int).SetUint64(2013265921)
-var W = new(big.Int).SetUint64(11)
 
 func init() {
 	solver.RegisterHint(invFHint)

diff --git a/recursion/gnark-ffi/go/sp1/poseidon2/poseidon2.go b/recursion/gnark-ffi/go/sp1/poseidon2/poseidon2.go
@@ -12,7 +12,7 @@ const degree = 5
 type Poseidon2Chip struct {
 	api                   frontend.API
 	internal_linear_layer [width]frontend.Variable
-	zero, one             frontend.Variable
+	zero                  frontend.Variable
 }
 
 func NewChip(api frontend.API) *Poseidon2Chip {
@@ -24,7 +24,6 @@ func NewChip(api frontend.API) *Poseidon2Chip {
 			frontend.Variable(2),
 		},
 		zero: frontend.Variable(0),
-		one:  frontend.Variable(1),
 	}
 }
 

diff --git a/recursion/gnark-ffi/go/sp1/poseidon2/poseidon2_babybear.go b/recursion/gnark-ffi/go/sp1/poseidon2/poseidon2_babybear.go
@@ -8,7 +8,6 @@ import (
 const BABYBEAR_WIDTH = 16
 const babybearNumExternalRounds = 8
 const babybearNumInternalRounds = 13
-const BABYBEAR_DEGREE = 7
 
 type Poseidon2BabyBearChip struct {
 	api      frontend.API

diff --git a/recursion/gnark-ffi/go/sp1/sp1.go b/recursion/gnark-ffi/go/sp1/sp1.go
@@ -14,7 +14,6 @@ import (
 var srsFile string = "srs.bin"
 var srsLagrangeFile string = "srs_lagrange.bin"
 var constraintsJsonFile string = "constraints.json"
-var WITNESS_JSON_FILE string = "witness.json"
 var verifierContractPath string = "PlonkVerifier.sol"
 var circuitPath string = "circuit.bin"
 var vkPath string = "vk.bin"