From 18234ce752e5536ecf04911edf7a8cdcd2afb5bd Mon Sep 17 00:00:00 2001 From: erabinov Date: Tue, 18 Jun 2024 09:11:59 -0700 Subject: [PATCH] Removed dead definitions. --- recursion/gnark-ffi/go/sp1/babybear/babybear.go | 1 - recursion/gnark-ffi/go/sp1/poseidon2/poseidon2.go | 3 +-- recursion/gnark-ffi/go/sp1/poseidon2/poseidon2_babybear.go | 1 - recursion/gnark-ffi/go/sp1/sp1.go | 1 - 4 files changed, 1 insertion(+), 5 deletions(-) diff --git a/recursion/gnark-ffi/go/sp1/babybear/babybear.go b/recursion/gnark-ffi/go/sp1/babybear/babybear.go index b7cea6705a..74219c428c 100644 --- 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 index 0f406bdc67..b737d8368d 100644 --- 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 index e3a2353018..711b0dad26 100644 --- 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 index ad731be6e6..a7fe4b651c 100644 --- 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"