diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
index 68c752c2a..0f283a5e0 100644
--- a/.github/workflows/pr.yml
+++ b/.github/workflows/pr.yml
@@ -22,6 +22,10 @@ jobs:
         key: ${{ runner.os }}-go-${{ hashFiles('**/go.sum') }}
         restore-keys: |
           ${{ runner.os }}-go-
+    - name: golangci-lint
+      uses: golangci/golangci-lint-action@v3
+      with:
+          args: --timeout=5m
     - name: install deps
       run: go install golang.org/x/tools/cmd/goimports@latest && go install github.com/klauspost/asmfmt/cmd/asmfmt@latest
     - name: gofmt
@@ -74,17 +78,46 @@ jobs:
       run: |
         go test -v -short -timeout=30m ./...
   
-  slack-workflow-status:
-    if: always()
+  slack-workflow-status-failed:
+    if: failure()
+    name: post workflow status to slack
+    needs:
+      - staticcheck
+      - test
+    runs-on: ubuntu-latest
+    steps:
+      - name: Notify slack -- workflow failed
+        id: slack
+        uses: slackapi/slack-github-action@v1.19.0
+        with:
+          payload: |
+            {
+              "actor": "${{ github.actor }}",
+              "repo": "${{ github.repository }}",
+              "status": "FAIL",
+              "url": "${{ github.event.pull_request.html_url || github.event.head_commit.url }}"
+            }
+        env:
+          SLACK_WEBHOOK_URL: ${{ secrets.SLACK_WEBHOOK_URL }}
+
+  slack-workflow-status-success:
+    if: success()
     name: post workflow status to slack
     needs:
       - staticcheck
       - test
     runs-on: ubuntu-latest
     steps:
-      - name: Build notification
-        uses: Gamesight/slack-workflow-status@master
+      - name: Notify slack -- workflow succeeded
+        id: slack
+        uses: slackapi/slack-github-action@v1.19.0
         with:
-          repo_token: ${{secrets.GITHUB_TOKEN}}
-          slack_webhook_url: ${{secrets.SLACK_WEBHOOK_URL}}
-          channel: '#team-gnark-build'
\ No newline at end of file
+          payload: |
+            {
+              "actor": "${{ github.actor }}",
+              "repo": "${{ github.repository }}",
+              "status": "SUCCESS",
+              "url": "${{ github.event.pull_request.html_url || github.event.head_commit.url }}"
+            }
+        env:
+          SLACK_WEBHOOK_URL: ${{ secrets.SLACK_WEBHOOK_SUCCESS }}
\ No newline at end of file
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 417e66655..03cb72489 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -26,6 +26,10 @@ jobs:
         key: ${{ runner.os }}-go-${{ hashFiles('**/go.sum') }}
         restore-keys: |
           ${{ runner.os }}-go-
+    - name: golangci-lint
+      uses: golangci/golangci-lint-action@v3
+      with:
+          args: --timeout=5m
     - name: install deps
       run: go install golang.org/x/tools/cmd/goimports@latest && go install github.com/klauspost/asmfmt/cmd/asmfmt@latest
     - name: gofmt
@@ -82,17 +86,46 @@ jobs:
       run: |
         go test -v -timeout=50m -race -short ./...
   
-  slack-workflow-status:
-    if: always()
+  slack-workflow-status-failed:
+    if: failure()
+    name: post workflow status to slack
+    needs:
+      - staticcheck
+      - test
+    runs-on: ubuntu-latest
+    steps:
+      - name: Notify slack -- workflow failed
+        id: slack
+        uses: slackapi/slack-github-action@v1.19.0
+        with:
+          payload: |
+            {
+              "actor": "${{ github.actor }}",
+              "repo": "${{ github.repository }}",
+              "status": "FAIL",
+              "url": "${{ github.event.pull_request.html_url || github.event.head_commit.url }}"
+            }
+        env:
+          SLACK_WEBHOOK_URL: ${{ secrets.SLACK_WEBHOOK_URL }}
+
+  slack-workflow-status-success:
+    if: success()
     name: post workflow status to slack
     needs:
       - staticcheck
       - test
     runs-on: ubuntu-latest
     steps:
-      - name: Build notification
-        uses: Gamesight/slack-workflow-status@master
+      - name: Notify slack -- workflow succeeded
+        id: slack
+        uses: slackapi/slack-github-action@v1.19.0
         with:
-          repo_token: ${{secrets.GITHUB_TOKEN}}
-          slack_webhook_url: ${{secrets.SLACK_WEBHOOK_URL}}
-          channel: '#team-gnark-build'
\ No newline at end of file
+          payload: |
+            {
+              "actor": "${{ github.actor }}",
+              "repo": "${{ github.repository }}",
+              "status": "SUCCESS",
+              "url": "${{ github.event.pull_request.html_url || github.event.head_commit.url }}"
+            }
+        env:
+          SLACK_WEBHOOK_URL: ${{ secrets.SLACK_WEBHOOK_SUCCESS }}
\ No newline at end of file
diff --git a/backend/groth16/bellman_test.go b/backend/groth16/bellman_test.go
index 686f0d818..f53fd4950 100644
--- a/backend/groth16/bellman_test.go
+++ b/backend/groth16/bellman_test.go
@@ -107,7 +107,7 @@ func TestVerifyBellmanProof(t *testing.T) {
 		// verify groth16 proof
 		// we need to prepend the number of elements in the witness.
 		var buf bytes.Buffer
-		binary.Write(&buf, binary.BigEndian, uint32(len(inputsBytes)/(fr.Limbs*8)))
+		_ = binary.Write(&buf, binary.BigEndian, uint32(len(inputsBytes)/(fr.Limbs*8)))
 		buf.Write(inputsBytes)
 
 		witness := &witness.Witness{
diff --git a/frontend/compiled/term.go b/frontend/compiled/term.go
index 08148636e..278d81e73 100644
--- a/frontend/compiled/term.go
+++ b/frontend/compiled/term.go
@@ -56,7 +56,6 @@ const (
 const TermDelimitor Term = Term(maskDelimitor)
 
 const (
-	shiftWireID             = 0
 	shiftCoeffID            = nbBitsWireID
 	shiftDelimitor          = shiftCoeffID + nbBitsCoeffID
 	shiftFutureUse          = shiftDelimitor + nbBitsDelimitor
@@ -67,7 +66,7 @@ const (
 	maskWireID             = uint64((1 << nbBitsWireID) - 1)
 	maskCoeffID            = uint64((1<<nbBitsCoeffID)-1) << shiftCoeffID
 	maskDelimitor          = uint64((1<<nbBitsDelimitor)-1) << shiftDelimitor
-	maskFutureUse          = uint64((1<<nbBitsFutureUse)-1) << shiftFutureUse
+	_                      = uint64((1<<nbBitsFutureUse)-1) << shiftFutureUse
 	maskVariableVisibility = uint64((1<<nbBitsVariableVisibility)-1) << shiftVariableVisibility
 )
 
diff --git a/internal/utils/convert_test.go b/internal/utils/convert_test.go
index f59a44f82..727223e91 100644
--- a/internal/utils/convert_test.go
+++ b/internal/utils/convert_test.go
@@ -29,7 +29,7 @@ func TestFromInterfaceValidFormats(t *testing.T) {
 	}()
 
 	var a fr.Element
-	a.SetRandom()
+	_, _ = a.SetRandom()
 
 	_ = FromInterface(a)
 	_ = FromInterface(&a)
diff --git a/std/algebra/fields_bls12377/e12_test.go b/std/algebra/fields_bls12377/e12_test.go
index fe09c948a..30742b57c 100644
--- a/std/algebra/fields_bls12377/e12_test.go
+++ b/std/algebra/fields_bls12377/e12_test.go
@@ -47,8 +47,8 @@ func TestAddFp12(t *testing.T) {
 
 	// witness values
 	var a, b, c bls12377.E12
-	a.SetRandom()
-	b.SetRandom()
+	_, _ = a.SetRandom()
+	_, _ = b.SetRandom()
 	c.Add(&a, &b)
 
 	witness.A.Assign(&a)
@@ -78,8 +78,8 @@ func TestSubFp12(t *testing.T) {
 
 	// witness values
 	var a, b, c bls12377.E12
-	a.SetRandom()
-	b.SetRandom()
+	_, _ = a.SetRandom()
+	_, _ = b.SetRandom()
 	c.Sub(&a, &b)
 
 	witness.A.Assign(&a)
@@ -110,8 +110,8 @@ func TestMulFp12(t *testing.T) {
 
 	// witness values
 	var a, b, c bls12377.E12
-	a.SetRandom()
-	b.SetRandom()
+	_, _ = a.SetRandom()
+	_, _ = b.SetRandom()
 	c.Mul(&a, &b)
 
 	witness.A.Assign(&a)
@@ -141,7 +141,7 @@ func TestSquareFp12(t *testing.T) {
 
 	// witness values
 	var a, b bls12377.E12
-	a.SetRandom()
+	_, _ = a.SetRandom()
 	b.Square(&a)
 
 	witness.A.Assign(&a)
@@ -174,7 +174,7 @@ func TestFp12CyclotomicSquare(t *testing.T) {
 
 	// witness values
 	var a, b bls12377.E12
-	a.SetRandom()
+	_, _ = a.SetRandom()
 
 	// put a in the cyclotomic subgroup (we assume the group is Fp12, field of definition of bls277)
 	var tmp bls12377.E12
@@ -215,7 +215,7 @@ func TestFp12CyclotomicSquareCompressed(t *testing.T) {
 
 	// witness values
 	var a, b bls12377.E12
-	a.SetRandom()
+	_, _ = a.SetRandom()
 
 	// put a in the cyclotomic subgroup (we assume the group is Fp12, field of definition of bls277)
 	var tmp bls12377.E12
@@ -253,7 +253,7 @@ func TestConjugateFp12(t *testing.T) {
 
 	// witness values
 	var a, c bls12377.E12
-	a.SetRandom()
+	_, _ = a.SetRandom()
 	c.Conjugate(&a)
 
 	witness.A.Assign(&a)
@@ -291,7 +291,7 @@ func TestFrobeniusFp12(t *testing.T) {
 
 	// witness values
 	var a, c, d, e bls12377.E12
-	a.SetRandom()
+	_, _ = a.SetRandom()
 	c.Frobenius(&a)
 	d.FrobeniusSquare(&a)
 	e.FrobeniusCube(&a)
@@ -325,7 +325,7 @@ func TestInverseFp12(t *testing.T) {
 
 	// witness values
 	var a, c bls12377.E12
-	a.SetRandom()
+	_, _ = a.SetRandom()
 	c.Inverse(&a)
 
 	witness.A.Assign(&a)
@@ -352,8 +352,8 @@ func TestDivFp12(t *testing.T) {
 
 	// witness values
 	var a, b, c bls12377.E12
-	a.SetRandom()
-	b.SetRandom()
+	_, _ = a.SetRandom()
+	_, _ = b.SetRandom()
 	c.Inverse(&b).Mul(&c, &a)
 
 	var witness e12Div
@@ -387,7 +387,7 @@ func TestExpFixedExpoFp12(t *testing.T) {
 	expo := uint64(9586122913090633729)
 
 	// put a in the cyclotomic subgroup (we assume the group is Fp12, field of definition of bls277)
-	a.SetRandom()
+	_, _ = a.SetRandom()
 	b.Conjugate(&a)
 	a.Inverse(&a)
 	b.Mul(&b, &a)
@@ -423,13 +423,13 @@ func TestFp12MulBy034(t *testing.T) {
 	var a bls12377.E12
 	var b, c, one bls12377.E2
 	one.SetOne()
-	a.SetRandom()
+	_, _ = a.SetRandom()
 	witness.A.Assign(&a)
 
-	b.SetRandom()
+	_, _ = b.SetRandom()
 	witness.B.Assign(&b)
 
-	c.SetRandom()
+	_, _ = c.SetRandom()
 	witness.C.Assign(&c)
 
 	a.MulBy034(&one, &b, &c)
diff --git a/std/algebra/fields_bls12377/e2_test.go b/std/algebra/fields_bls12377/e2_test.go
index a633dacc7..ab65964f2 100644
--- a/std/algebra/fields_bls12377/e2_test.go
+++ b/std/algebra/fields_bls12377/e2_test.go
@@ -42,8 +42,8 @@ func TestAddFp2(t *testing.T) {
 
 	// witness values
 	var a, b, c bls12377.E2
-	a.SetRandom()
-	b.SetRandom()
+	_, _ = a.SetRandom()
+	_, _ = b.SetRandom()
 	c.Add(&a, &b)
 
 	var witness e2Add
@@ -71,8 +71,8 @@ func TestSubFp2(t *testing.T) {
 
 	// witness values
 	var a, b, c bls12377.E2
-	a.SetRandom()
-	b.SetRandom()
+	_, _ = a.SetRandom()
+	_, _ = b.SetRandom()
 	c.Sub(&a, &b)
 
 	var witness e2Sub
@@ -101,8 +101,8 @@ func TestMulFp2(t *testing.T) {
 
 	// witness values
 	var a, b, c bls12377.E2
-	a.SetRandom()
-	b.SetRandom()
+	_, _ = a.SetRandom()
+	_, _ = b.SetRandom()
 	c.Mul(&a, &b)
 
 	var witness e2Mul
@@ -131,8 +131,8 @@ func TestDivFp2(t *testing.T) {
 
 	// witness values
 	var a, b, c bls12377.E2
-	a.SetRandom()
-	b.SetRandom()
+	_, _ = a.SetRandom()
+	_, _ = b.SetRandom()
 	c.Inverse(&b).Mul(&c, &a)
 
 	var witness e2Div
@@ -166,8 +166,8 @@ func TestMulByFpFp2(t *testing.T) {
 	// witness values
 	var a, c bls12377.E2
 	var b fp.Element
-	a.SetRandom()
-	b.SetRandom()
+	_, _ = a.SetRandom()
+	_, _ = b.SetRandom()
 	c.MulByElement(&a, &b)
 
 	witness.A.Assign(&a)
@@ -199,7 +199,7 @@ func TestConjugateFp2(t *testing.T) {
 
 	// witness values
 	var a, c bls12377.E2
-	a.SetRandom()
+	_, _ = a.SetRandom()
 	c.Conjugate(&a)
 
 	witness.A.Assign(&a)
@@ -230,7 +230,7 @@ func TestInverseFp2(t *testing.T) {
 
 	// witness values
 	var a, c bls12377.E2
-	a.SetRandom()
+	_, _ = a.SetRandom()
 	c.Inverse(&a)
 
 	witness.A.Assign(&a)
diff --git a/std/algebra/fields_bls12377/e6_test.go b/std/algebra/fields_bls12377/e6_test.go
index 1ce6efdb0..4649fcfee 100644
--- a/std/algebra/fields_bls12377/e6_test.go
+++ b/std/algebra/fields_bls12377/e6_test.go
@@ -46,8 +46,8 @@ func TestAddFp6(t *testing.T) {
 
 	// witness values
 	var a, b, c bls12377.E6
-	a.SetRandom()
-	b.SetRandom()
+	_, _ = a.SetRandom()
+	_, _ = b.SetRandom()
 	c.Add(&a, &b)
 
 	witness.A.Assign(&a)
@@ -77,8 +77,8 @@ func TestSubFp6(t *testing.T) {
 
 	// witness values
 	var a, b, c bls12377.E6
-	a.SetRandom()
-	b.SetRandom()
+	_, _ = a.SetRandom()
+	_, _ = b.SetRandom()
 	c.Sub(&a, &b)
 
 	witness.A.Assign(&a)
@@ -109,8 +109,8 @@ func TestMulFp6(t *testing.T) {
 
 	// witness values
 	var a, b, c bls12377.E6
-	a.SetRandom()
-	b.SetRandom()
+	_, _ = a.SetRandom()
+	_, _ = b.SetRandom()
 	c.Mul(&a, &b)
 
 	witness.A.Assign(&a)
@@ -142,7 +142,7 @@ func TestMulByNonResidueFp6(t *testing.T) {
 
 	// witness values
 	var a, c bls12377.E6
-	a.SetRandom()
+	_, _ = a.SetRandom()
 	c.MulByNonResidue(&a)
 
 	witness.A.Assign(&a)
@@ -174,7 +174,7 @@ func TestInverseFp6(t *testing.T) {
 
 	// witness values
 	var a, c bls12377.E6
-	a.SetRandom()
+	_, _ = a.SetRandom()
 	c.Inverse(&a)
 
 	witness.A.Assign(&a)
@@ -202,8 +202,8 @@ func TestDivFp6(t *testing.T) {
 
 	// witness values
 	var a, b, c bls12377.E6
-	a.SetRandom()
-	b.SetRandom()
+	_, _ = a.SetRandom()
+	_, _ = b.SetRandom()
 	c.Inverse(&b).Mul(&c, &a)
 
 	var witness e6Div
diff --git a/std/algebra/fields_bls24315/e12_test.go b/std/algebra/fields_bls24315/e12_test.go
index aff788fb5..f2cbd9c52 100644
--- a/std/algebra/fields_bls24315/e12_test.go
+++ b/std/algebra/fields_bls24315/e12_test.go
@@ -46,8 +46,8 @@ func TestAddFp12(t *testing.T) {
 
 	// witness values
 	var a, b, c bls24315.E12
-	a.SetRandom()
-	b.SetRandom()
+	_, _ = a.SetRandom()
+	_, _ = b.SetRandom()
 	c.Add(&a, &b)
 
 	witness.A.Assign(&a)
@@ -77,8 +77,8 @@ func TestSubFp12(t *testing.T) {
 
 	// witness values
 	var a, b, c bls24315.E12
-	a.SetRandom()
-	b.SetRandom()
+	_, _ = a.SetRandom()
+	_, _ = b.SetRandom()
 	c.Sub(&a, &b)
 
 	witness.A.Assign(&a)
@@ -109,8 +109,8 @@ func TestMulFp12(t *testing.T) {
 
 	// witness values
 	var a, b, c bls24315.E12
-	a.SetRandom()
-	b.SetRandom()
+	_, _ = a.SetRandom()
+	_, _ = b.SetRandom()
 	c.Mul(&a, &b)
 
 	witness.A.Assign(&a)
@@ -142,7 +142,7 @@ func TestMulByNonResidueFp12(t *testing.T) {
 
 	// witness values
 	var a, c bls24315.E12
-	a.SetRandom()
+	_, _ = a.SetRandom()
 	c.MulByNonResidue(&a)
 
 	witness.A.Assign(&a)
@@ -170,8 +170,8 @@ func TestDivFp12(t *testing.T) {
 
 	// witness values
 	var a, b, c bls24315.E12
-	a.SetRandom()
-	b.SetRandom()
+	_, _ = a.SetRandom()
+	_, _ = b.SetRandom()
 	c.Inverse(&b).Mul(&c, &a)
 
 	var witness e12Div
@@ -203,7 +203,7 @@ func TestInverseFp12(t *testing.T) {
 
 	// witness values
 	var a, c bls24315.E12
-	a.SetRandom()
+	_, _ = a.SetRandom()
 	c.Inverse(&a)
 
 	witness.A.Assign(&a)
diff --git a/std/algebra/fields_bls24315/e24.go b/std/algebra/fields_bls24315/e24.go
index f5a72aa9f..3c0d3a900 100644
--- a/std/algebra/fields_bls24315/e24.go
+++ b/std/algebra/fields_bls24315/e24.go
@@ -600,9 +600,8 @@ func (e *E24) nSquare(api frontend.API, n int) {
 // This function is only used for the final expo of the pairing for bls24315, so the exponent is supposed to be hardcoded and on 32 bits.
 func (e *E24) Expt(api frontend.API, x E24, exponent uint64) *E24 {
 
-	res := E24{}
 	xInv := E24{}
-	res = x
+	res := x
 	xInv.Conjugate(api, x)
 
 	res.nSquare(api, 2)
diff --git a/std/algebra/fields_bls24315/e24_test.go b/std/algebra/fields_bls24315/e24_test.go
index 8ab2d7944..cad0651c4 100644
--- a/std/algebra/fields_bls24315/e24_test.go
+++ b/std/algebra/fields_bls24315/e24_test.go
@@ -47,8 +47,8 @@ func TestAddFp24(t *testing.T) {
 
 	// witness values
 	var a, b, c bls24315.E24
-	a.SetRandom()
-	b.SetRandom()
+	_, _ = a.SetRandom()
+	_, _ = b.SetRandom()
 	c.Add(&a, &b)
 
 	witness.A.Assign(&a)
@@ -78,8 +78,8 @@ func TestSubFp24(t *testing.T) {
 
 	// witness values
 	var a, b, c bls24315.E24
-	a.SetRandom()
-	b.SetRandom()
+	_, _ = a.SetRandom()
+	_, _ = b.SetRandom()
 	c.Sub(&a, &b)
 
 	witness.A.Assign(&a)
@@ -110,8 +110,8 @@ func TestMulFp24(t *testing.T) {
 
 	// witness values
 	var a, b, c bls24315.E24
-	a.SetRandom()
-	b.SetRandom()
+	_, _ = a.SetRandom()
+	_, _ = b.SetRandom()
 	c.Mul(&a, &b)
 
 	witness.A.Assign(&a)
@@ -141,7 +141,7 @@ func TestSquareFp24(t *testing.T) {
 
 	// witness values
 	var a, b bls24315.E24
-	a.SetRandom()
+	_, _ = a.SetRandom()
 	b.Square(&a)
 
 	witness.A.Assign(&a)
@@ -174,7 +174,7 @@ func TestFp24CyclotomicSquare(t *testing.T) {
 
 	// witness values
 	var a, b bls24315.E24
-	a.SetRandom()
+	_, _ = a.SetRandom()
 
 	// put a in the cyclotomic subgroup (we assume the group is Fp24, field of definition of bls24-315)
 	var tmp bls24315.E24
@@ -215,7 +215,7 @@ func TestFp24CyclotomicSquareCompressed(t *testing.T) {
 
 	// witness values
 	var a, b bls24315.E24
-	a.SetRandom()
+	_, _ = a.SetRandom()
 
 	// put a in the cyclotomic subgroup (we assume the group is Fp24, field of definition of bls24-315)
 	var tmp bls24315.E24
@@ -253,7 +253,7 @@ func TestConjugateFp24(t *testing.T) {
 
 	// witness values
 	var a, c bls24315.E24
-	a.SetRandom()
+	_, _ = a.SetRandom()
 	c.Conjugate(&a)
 
 	witness.A.Assign(&a)
@@ -280,8 +280,8 @@ func TestDivFp24(t *testing.T) {
 
 	// witness values
 	var a, b, c bls24315.E24
-	a.SetRandom()
-	b.SetRandom()
+	_, _ = a.SetRandom()
+	_, _ = b.SetRandom()
 	c.Inverse(&b).Mul(&c, &a)
 
 	var witness e24Div
@@ -312,7 +312,7 @@ func TestInverseFp24(t *testing.T) {
 
 	// witness values
 	var a, c bls24315.E24
-	a.SetRandom()
+	_, _ = a.SetRandom()
 	c.Inverse(&a)
 
 	witness.A.Assign(&a)
@@ -343,13 +343,13 @@ func TestFp24MulBy034(t *testing.T) {
 	var a bls24315.E24
 	var b, c, one bls24315.E4
 	one.SetOne()
-	a.SetRandom()
+	_, _ = a.SetRandom()
 	witness.A.Assign(&a)
 
-	b.SetRandom()
+	_, _ = b.SetRandom()
 	witness.B.Assign(&b)
 
-	c.SetRandom()
+	_, _ = c.SetRandom()
 	witness.C.Assign(&c)
 
 	a.MulBy034(&one, &b, &c)
@@ -389,7 +389,7 @@ func TestFrobeniusFp24(t *testing.T) {
 
 	// witness values
 	var a, c, d, e bls24315.E24
-	a.SetRandom()
+	_, _ = a.SetRandom()
 	c.Frobenius(&a)
 	d.FrobeniusSquare(&a)
 	e.FrobeniusQuad(&a)
diff --git a/std/algebra/fields_bls24315/e2_test.go b/std/algebra/fields_bls24315/e2_test.go
index 6c9a72ee3..c352a8dbd 100644
--- a/std/algebra/fields_bls24315/e2_test.go
+++ b/std/algebra/fields_bls24315/e2_test.go
@@ -42,8 +42,8 @@ func TestAddFp2(t *testing.T) {
 
 	// witness values
 	var a, b, c bls24315.E2
-	a.SetRandom()
-	b.SetRandom()
+	_, _ = a.SetRandom()
+	_, _ = b.SetRandom()
 	c.Add(&a, &b)
 
 	var witness e2Add
@@ -71,8 +71,8 @@ func TestSubFp2(t *testing.T) {
 
 	// witness values
 	var a, b, c bls24315.E2
-	a.SetRandom()
-	b.SetRandom()
+	_, _ = a.SetRandom()
+	_, _ = b.SetRandom()
 	c.Sub(&a, &b)
 
 	var witness e2Sub
@@ -101,7 +101,7 @@ func TestSquareFp2(t *testing.T) {
 
 	// witness values
 	var a, c bls24315.E2
-	a.SetRandom()
+	_, _ = a.SetRandom()
 	c.Square(&a)
 
 	var witness e2Square
@@ -129,8 +129,8 @@ func TestMulFp2(t *testing.T) {
 
 	// witness values
 	var a, b, c bls24315.E2
-	a.SetRandom()
-	b.SetRandom()
+	_, _ = a.SetRandom()
+	_, _ = b.SetRandom()
 	c.Mul(&a, &b)
 
 	var witness e2Mul
@@ -159,8 +159,8 @@ func TestDivFp2(t *testing.T) {
 
 	// witness values
 	var a, b, c bls24315.E2
-	a.SetRandom()
-	b.SetRandom()
+	_, _ = a.SetRandom()
+	_, _ = b.SetRandom()
 	c.Inverse(&b).Mul(&c, &a)
 
 	var witness e2Div
@@ -194,8 +194,8 @@ func TestMulByFpFp2(t *testing.T) {
 	// witness values
 	var a, c bls24315.E2
 	var b fp.Element
-	a.SetRandom()
-	b.SetRandom()
+	_, _ = a.SetRandom()
+	_, _ = b.SetRandom()
 	c.MulByElement(&a, &b)
 
 	witness.A.Assign(&a)
@@ -227,7 +227,7 @@ func TestConjugateFp2(t *testing.T) {
 
 	// witness values
 	var a, c bls24315.E2
-	a.SetRandom()
+	_, _ = a.SetRandom()
 	c.Conjugate(&a)
 
 	witness.A.Assign(&a)
@@ -258,7 +258,7 @@ func TestInverseFp2(t *testing.T) {
 
 	// witness values
 	var a, c bls24315.E2
-	a.SetRandom()
+	_, _ = a.SetRandom()
 	c.Inverse(&a)
 
 	witness.A.Assign(&a)
diff --git a/std/algebra/fields_bls24315/e4_test.go b/std/algebra/fields_bls24315/e4_test.go
index 4106e43e4..536d93cce 100644
--- a/std/algebra/fields_bls24315/e4_test.go
+++ b/std/algebra/fields_bls24315/e4_test.go
@@ -42,8 +42,8 @@ func TestAddFp4(t *testing.T) {
 
 	// witness values
 	var a, b, c bls24315.E4
-	a.SetRandom()
-	b.SetRandom()
+	_, _ = a.SetRandom()
+	_, _ = b.SetRandom()
 	c.Add(&a, &b)
 
 	var witness e4Add
@@ -71,8 +71,8 @@ func TestSubFp4(t *testing.T) {
 
 	// witness values
 	var a, b, c bls24315.E4
-	a.SetRandom()
-	b.SetRandom()
+	_, _ = a.SetRandom()
+	_, _ = b.SetRandom()
 	c.Sub(&a, &b)
 
 	var witness e4Sub
@@ -101,7 +101,7 @@ func TestSquareFp4(t *testing.T) {
 
 	// witness values
 	var a, c bls24315.E4
-	a.SetRandom()
+	_, _ = a.SetRandom()
 	c.Square(&a)
 
 	var witness e4Square
@@ -129,8 +129,8 @@ func TestMulFp4(t *testing.T) {
 
 	// witness values
 	var a, b, c bls24315.E4
-	a.SetRandom()
-	b.SetRandom()
+	_, _ = a.SetRandom()
+	_, _ = b.SetRandom()
 	c.Mul(&a, &b)
 
 	var witness e4Mul
@@ -164,8 +164,8 @@ func TestMulByFpFp4(t *testing.T) {
 	// witness values
 	var a, c bls24315.E4
 	var b fp.Element
-	a.SetRandom()
-	b.SetRandom()
+	_, _ = a.SetRandom()
+	_, _ = b.SetRandom()
 	c.MulByElement(&a, &b)
 
 	witness.A.Assign(&a)
@@ -197,7 +197,7 @@ func TestConjugateFp4(t *testing.T) {
 
 	// witness values
 	var a, c bls24315.E4
-	a.SetRandom()
+	_, _ = a.SetRandom()
 	c.Conjugate(&a)
 
 	witness.A.Assign(&a)
@@ -224,8 +224,8 @@ func TestDivFp4(t *testing.T) {
 
 	// witness values
 	var a, b, c bls24315.E4
-	a.SetRandom()
-	b.SetRandom()
+	_, _ = a.SetRandom()
+	_, _ = b.SetRandom()
 	c.Inverse(&b).Mul(&c, &a)
 
 	var witness e4Div
@@ -257,7 +257,7 @@ func TestInverseFp4(t *testing.T) {
 
 	// witness values
 	var a, c bls24315.E4
-	a.SetRandom()
+	_, _ = a.SetRandom()
 	c.Inverse(&a)
 
 	witness.A.Assign(&a)
diff --git a/std/algebra/sw_bls12377/g1_test.go b/std/algebra/sw_bls12377/g1_test.go
index b55610b4e..98bfecd8c 100644
--- a/std/algebra/sw_bls12377/g1_test.go
+++ b/std/algebra/sw_bls12377/g1_test.go
@@ -275,7 +275,7 @@ func TestConstantScalarMulG1(t *testing.T) {
 	// create the cs
 	var circuit, witness g1constantScalarMul
 	var r fr.Element
-	r.SetRandom()
+	_, _ = r.SetRandom()
 	// assign the inputs
 	witness.A.Assign(&a)
 	// compute the result
@@ -314,7 +314,7 @@ func TestVarScalarMulG1(t *testing.T) {
 	// create the cs
 	var circuit, witness g1varScalarMul
 	var r fr.Element
-	r.SetRandom()
+	_, _ = r.SetRandom()
 	witness.R = r.String()
 	// assign the inputs
 	witness.A.Assign(&a)
@@ -353,7 +353,7 @@ func TestScalarMulG1(t *testing.T) {
 	// create the cs
 	var circuit, witness g1ScalarMul
 	var r fr.Element
-	r.SetRandom()
+	_, _ = r.SetRandom()
 	witness.Rvar = r.String()
 	circuit.Rcon = r
 	// assign the inputs
@@ -374,7 +374,7 @@ func randomPointG1() bls12377.G1Jac {
 
 	var r1 fr.Element
 	var b big.Int
-	r1.SetRandom()
+	_, _ = r1.SetRandom()
 	p1.ScalarMultiplication(&p1, r1.ToBigIntRegular(&b))
 
 	return p1
diff --git a/std/algebra/sw_bls12377/g2_test.go b/std/algebra/sw_bls12377/g2_test.go
index 54bfe04b5..05c487cdd 100644
--- a/std/algebra/sw_bls12377/g2_test.go
+++ b/std/algebra/sw_bls12377/g2_test.go
@@ -282,7 +282,7 @@ func TestConstantScalarMulG2(t *testing.T) {
 	// create the cs
 	var circuit, witness g2constantScalarMul
 	var r fr.Element
-	r.SetRandom()
+	_, _ = r.SetRandom()
 	// assign the inputs
 	witness.A.Assign(&a)
 	// compute the result
@@ -321,7 +321,7 @@ func TestVarScalarMulG2(t *testing.T) {
 	// create the cs
 	var circuit, witness g2varScalarMul
 	var r fr.Element
-	r.SetRandom()
+	_, _ = r.SetRandom()
 	witness.R = r.String()
 	// assign the inputs
 	witness.A.Assign(&a)
@@ -360,7 +360,7 @@ func TestScalarMulG2(t *testing.T) {
 	// create the cs
 	var circuit, witness g2ScalarMul
 	var r fr.Element
-	r.SetRandom()
+	_, _ = r.SetRandom()
 	witness.Rvar = r.String()
 	circuit.Rcon = r
 	// assign the inputs
@@ -379,7 +379,7 @@ func randomPointG2() bls12377.G2Jac {
 
 	var r1 fr.Element
 	var b big.Int
-	r1.SetRandom()
+	_, _ = r1.SetRandom()
 	p2.ScalarMultiplication(&p2, r1.ToBigIntRegular(&b))
 	return p2
 }
diff --git a/std/algebra/sw_bls12377/pairing_test.go b/std/algebra/sw_bls12377/pairing_test.go
index 36be4de13..2cdd5b31c 100644
--- a/std/algebra/sw_bls12377/pairing_test.go
+++ b/std/algebra/sw_bls12377/pairing_test.go
@@ -140,8 +140,8 @@ func triplePairingData() (P [3]bls12377.G1Affine, Q [3]bls12377.G2Affine, pairin
 	var u, v fr.Element
 	var _u, _v big.Int
 	for i := 1; i < 3; i++ {
-		u.SetRandom()
-		v.SetRandom()
+		_, _ = u.SetRandom()
+		_, _ = v.SetRandom()
 		u.ToBigIntRegular(&_u)
 		v.ToBigIntRegular(&_v)
 		P[i].ScalarMultiplication(&P[0], &_u)
diff --git a/std/algebra/sw_bls24315/g1_test.go b/std/algebra/sw_bls24315/g1_test.go
index 85e732e58..6483b41fc 100644
--- a/std/algebra/sw_bls24315/g1_test.go
+++ b/std/algebra/sw_bls24315/g1_test.go
@@ -275,7 +275,7 @@ func TestConstantScalarMulG1(t *testing.T) {
 	// create the cs
 	var circuit, witness g1constantScalarMul
 	var r fr.Element
-	r.SetRandom()
+	_, _ = r.SetRandom()
 	// assign the inputs
 	witness.A.Assign(&a)
 	// compute the result
@@ -314,7 +314,7 @@ func TestVarScalarMulG1(t *testing.T) {
 	// create the cs
 	var circuit, witness g1varScalarMul
 	var r fr.Element
-	r.SetRandom()
+	_, _ = r.SetRandom()
 	witness.R = r.String()
 	// assign the inputs
 	witness.A.Assign(&a)
@@ -353,7 +353,7 @@ func TestScalarMulG1(t *testing.T) {
 	// create the cs
 	var circuit, witness g1ScalarMul
 	var r fr.Element
-	r.SetRandom()
+	_, _ = r.SetRandom()
 	witness.Rvar = r.String()
 	circuit.Rcon = r
 	// assign the inputs
@@ -374,7 +374,7 @@ func randomPointG1() bls24315.G1Jac {
 
 	var r1 fr.Element
 	var b big.Int
-	r1.SetRandom()
+	_, _ = r1.SetRandom()
 	p1.ScalarMultiplication(&p1, r1.ToBigIntRegular(&b))
 
 	return p1
diff --git a/std/algebra/sw_bls24315/g2_test.go b/std/algebra/sw_bls24315/g2_test.go
index 6e7f7f8b9..9fd1f7caa 100644
--- a/std/algebra/sw_bls24315/g2_test.go
+++ b/std/algebra/sw_bls24315/g2_test.go
@@ -282,7 +282,7 @@ func TestConstantScalarMulG2(t *testing.T) {
 	// create the cs
 	var circuit, witness g2constantScalarMul
 	var r fr.Element
-	r.SetRandom()
+	_, _ = r.SetRandom()
 	// assign the inputs
 	witness.A.Assign(&a)
 	// compute the result
@@ -321,7 +321,7 @@ func TestVarScalarMulG2(t *testing.T) {
 	// create the cs
 	var circuit, witness g2varScalarMul
 	var r fr.Element
-	r.SetRandom()
+	_, _ = r.SetRandom()
 	witness.R = r.String()
 	// assign the inputs
 	witness.A.Assign(&a)
@@ -360,7 +360,7 @@ func TestScalarMulG2(t *testing.T) {
 	// create the cs
 	var circuit, witness g2ScalarMul
 	var r fr.Element
-	r.SetRandom()
+	_, _ = r.SetRandom()
 	witness.Rvar = r.String()
 	circuit.Rcon = r
 	// assign the inputs
@@ -379,7 +379,7 @@ func randomPointG2() bls24315.G2Jac {
 
 	var r1 fr.Element
 	var b big.Int
-	r1.SetRandom()
+	_, _ = r1.SetRandom()
 	p2.ScalarMultiplication(&p2, r1.ToBigIntRegular(&b))
 	return p2
 }
diff --git a/std/algebra/sw_bls24315/pairing_test.go b/std/algebra/sw_bls24315/pairing_test.go
index 0a5f4d459..51708f611 100644
--- a/std/algebra/sw_bls24315/pairing_test.go
+++ b/std/algebra/sw_bls24315/pairing_test.go
@@ -141,8 +141,8 @@ func triplePairingData() (P [3]bls24315.G1Affine, Q [3]bls24315.G2Affine, pairin
 	var u, v fr.Element
 	var _u, _v big.Int
 	for i := 1; i < 3; i++ {
-		u.SetRandom()
-		v.SetRandom()
+		_, _ = u.SetRandom()
+		_, _ = v.SetRandom()
 		u.ToBigIntRegular(&_u)
 		v.ToBigIntRegular(&_v)
 		P[i].ScalarMultiplication(&P[0], &_u)
diff --git a/std/fiat-shamir/transcript_test.go b/std/fiat-shamir/transcript_test.go
index d168b66cf..b8bbf11a9 100644
--- a/std/fiat-shamir/transcript_test.go
+++ b/std/fiat-shamir/transcript_test.go
@@ -49,9 +49,15 @@ func (circuit *FiatShamirCircuit) Define(api frontend.API) error {
 	tsSnark := NewTranscript(api, &hSnark, alpha, beta, gamma)
 
 	// Bind challenges
-	tsSnark.Bind(alpha, circuit.Bindings[0][:])
-	tsSnark.Bind(beta, circuit.Bindings[1][:])
-	tsSnark.Bind(gamma, circuit.Bindings[2][:])
+	if err := tsSnark.Bind(alpha, circuit.Bindings[0][:]); err != nil {
+		return err
+	}
+	if err := tsSnark.Bind(beta, circuit.Bindings[1][:]); err != nil {
+		return err
+	}
+	if err := tsSnark.Bind(gamma, circuit.Bindings[2][:]); err != nil {
+		return err
+	}
 
 	// derive challenges
 	var challenges [3]frontend.Variable
@@ -120,9 +126,12 @@ func TestFiatShamir(t *testing.T) {
 		}
 		buf := make([]byte, curveID.Info().Fr.Bytes)
 		for i := 0; i < 4; i++ {
-			ts.Bind(alpha, bindings[0][i].FillBytes(buf))
-			ts.Bind(beta, bindings[1][i].FillBytes(buf))
-			ts.Bind(gamma, bindings[2][i].FillBytes(buf))
+			err := ts.Bind(alpha, bindings[0][i].FillBytes(buf))
+			assert.NoError(err)
+			err = ts.Bind(beta, bindings[1][i].FillBytes(buf))
+			assert.NoError(err)
+			err = ts.Bind(gamma, bindings[2][i].FillBytes(buf))
+			assert.NoError(err)
 		}
 
 		var expectedChallenges [3][]byte
diff --git a/std/groth16_bls12377/verifier_test.go b/std/groth16_bls12377/verifier_test.go
index 3683746ca..1454453f4 100644
--- a/std/groth16_bls12377/verifier_test.go
+++ b/std/groth16_bls12377/verifier_test.go
@@ -81,7 +81,10 @@ func generateBls12377InnerProof(t *testing.T, vk *groth16_bls12377.VerifyingKey,
 
 	// generate the data to return for the bls12377 proof
 	var pk groth16_bls12377.ProvingKey
-	groth16_bls12377.Setup(r1cs.(*backend_bls12377.R1CS), &pk, vk)
+	err = groth16_bls12377.Setup(r1cs.(*backend_bls12377.R1CS), &pk, vk)
+	if err != nil {
+		t.Fatal(err)
+	}
 
 	_proof, err := groth16_bls12377.Prove(r1cs.(*backend_bls12377.R1CS), &pk, witness, backend.ProverConfig{})
 	if err != nil {
diff --git a/std/groth16_bls24315/verifier_test.go b/std/groth16_bls24315/verifier_test.go
index a0f6205eb..94b73d513 100644
--- a/std/groth16_bls24315/verifier_test.go
+++ b/std/groth16_bls24315/verifier_test.go
@@ -83,7 +83,11 @@ func generateBls24315InnerProof(t *testing.T, vk *groth16_bls24315.VerifyingKey,
 
 	// generate the data to return for the bls24315 proof
 	var pk groth16_bls24315.ProvingKey
-	groth16_bls24315.Setup(r1cs.(*backend_bls24315.R1CS), &pk, vk)
+	err = groth16_bls24315.Setup(r1cs.(*backend_bls24315.R1CS), &pk, vk)
+	if err != nil {
+		t.Fatal(err)
+	}
+
 	_proof, err := groth16_bls24315.Prove(r1cs.(*backend_bls24315.R1CS), &pk, witness, backend.ProverConfig{})
 	if err != nil {
 		t.Fatal(err)
diff --git a/std/hints_test.go b/std/hints_test.go
index b5ad54b92..5266bc00a 100644
--- a/std/hints_test.go
+++ b/std/hints_test.go
@@ -17,5 +17,5 @@ func ExampleRegisterHints() {
 	RegisterHints()
 
 	// then -->
-	ccs.IsSolved(&witness.Witness{})
+	_ = ccs.IsSolved(&witness.Witness{})
 }