Merge pull request #248 from ConsenSys/perf-ccs-solver

perf: r1cs solver 40% faster by avoiding redudnant check

go.mod

@@ -5,13 +5,16 @@ go 1.17
 require (
 	github.com/consensys/bavard v0.1.8-0.20210915155054-088da2f7f54a
 	github.com/consensys/gnark-crypto v0.6.1-0.20220203133229-a70fdc7da969
-	github.com/davecgh/go-spew v1.1.1 // indirect
 	github.com/fxamacker/cbor/v2 v2.2.0
-	github.com/kr/pretty v0.2.0 // indirect
 	github.com/leanovate/gopter v0.2.9
+	github.com/stretchr/testify v1.7.0
+)
+
+require (
+	github.com/davecgh/go-spew v1.1.1 // indirect
+	github.com/kr/pretty v0.2.0 // indirect
 	github.com/mmcloughlin/addchain v0.4.0 // indirect
 	github.com/pmezard/go-difflib v1.0.0 // indirect
-	github.com/stretchr/testify v1.7.0
 	github.com/x448/float16 v0.8.4 // indirect
 	golang.org/x/crypto v0.0.0-20210322153248-0c34fe9e7dc2 // indirect
 	golang.org/x/sys v0.0.0-20210420205809-ac73e9fd8988 // indirect

go.sum

@@ -1,15 +1,5 @@
 github.com/consensys/bavard v0.1.8-0.20210915155054-088da2f7f54a h1:AEpwbXTjBGKoqxuQ6QAcBMEuK0+PtajQj0wJkhTnSd0=
 github.com/consensys/bavard v0.1.8-0.20210915155054-088da2f7f54a/go.mod h1:9ItSMtA/dXMAiL7BG6bqW2m3NdSEObYWoH223nGHukI=
-github.com/consensys/gnark-crypto v0.5.4-0.20211222202820-aee0c136fb9f h1:HT4hl58/L66zdhJi8wEbdoXceHv9AnIJij5lP1iOuQw=
-github.com/consensys/gnark-crypto v0.5.4-0.20211222202820-aee0c136fb9f/go.mod h1:PicAZJP763+7N9LZFfj+MquTXq98pwjD6l8Ry8WdHSU=
-github.com/consensys/gnark-crypto v0.6.1-0.20220202084753-13a5294ab744 h1:P9zNirCiOG0QJfnicNSe+MTRZpRzE6OMwkjiNtm9D4c=
-github.com/consensys/gnark-crypto v0.6.1-0.20220202084753-13a5294ab744/go.mod h1:PicAZJP763+7N9LZFfj+MquTXq98pwjD6l8Ry8WdHSU=
-github.com/consensys/gnark-crypto v0.6.1-0.20220202090557-876cf1c9d281 h1:GIuvjPX6WL3NRDAEtw3/9puWLxUKIB652ODqtMUL5NM=
-github.com/consensys/gnark-crypto v0.6.1-0.20220202090557-876cf1c9d281/go.mod h1:PicAZJP763+7N9LZFfj+MquTXq98pwjD6l8Ry8WdHSU=
-github.com/consensys/gnark-crypto v0.6.1-0.20220202101857-f9e35f654649 h1:xsWITMlfdkO4EBgyvns9iSi1qM3KFh6xpVZSiqOzPsc=
-github.com/consensys/gnark-crypto v0.6.1-0.20220202101857-f9e35f654649/go.mod h1:PicAZJP763+7N9LZFfj+MquTXq98pwjD6l8Ry8WdHSU=
-github.com/consensys/gnark-crypto v0.6.1-0.20220202113516-032351c35ce0 h1:XPqm3EsyhGaKasVKmjDM0qry0oEXbxryAZxTfaeURro=
-github.com/consensys/gnark-crypto v0.6.1-0.20220202113516-032351c35ce0/go.mod h1:PicAZJP763+7N9LZFfj+MquTXq98pwjD6l8Ry8WdHSU=
 github.com/consensys/gnark-crypto v0.6.1-0.20220203133229-a70fdc7da969 h1:SPKwScbSTdl2p+QvJulHumGa2+5FO6RPh857TCPxda0=
 github.com/consensys/gnark-crypto v0.6.1-0.20220203133229-a70fdc7da969/go.mod h1:PicAZJP763+7N9LZFfj+MquTXq98pwjD6l8Ry8WdHSU=
 github.com/davecgh/go-spew v1.1.0/go.mod h1:J7Y8YcW2NihsgmVo/mv3lAwl/skON4iLHjSsI+c5H38=