PolyhedraZK · niconiconi · Jul 29, 2025 · Mar 19, 2025 · Mar 20, 2025 · Apr 2, 2025
diff --git a/.circleci/config.yml b/.circleci/config.yml
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
@@ -16,8 +16,8 @@ jobs:
 
     - name: install deps
       run: go install golang.org/x/tools/cmd/goimports@latest && go install github.com/klauspost/asmfmt/cmd/asmfmt@latest
-    - name: gofmt
-      run: if [[ -n $(gofmt -l .) ]]; then echo "please run gofmt"; exit 1; fi
+    - name: goimports
+      run: if [[ -n $(goimports -l .) ]]; then echo "please run goimports"; exit 1; fi
     - name: generated files should not be modified
       run: |
         go generate ./...

diff --git a/README.md b/README.md
@@ -184,7 +184,7 @@ You can then toggle on or off icicle acceleration by providing the `WithIcicleAc
     proof, err := groth16.Prove(ccs, pk, secretWitness)
 ```
 
-For more information about prerequisites see the [ICICLE repo](https://github.com/ingonyama-zk/icicle). **NB! ICICLE CUDA kernels are covered by a special license for now. Follow the instructions to download and set up the kernels.**
+For more information about prerequisites see the [ICICLE repo](https://github.com/ingonyama-zk/icicle-gnark).
 
 ## Citing
 

diff --git a/backend/backend.go b/backend/backend.go
@@ -127,7 +127,7 @@ func WithProverKZGFoldingHashFunction(hFunc hash.Hash) ProverOption {
 // tag and the ICICLE dependencies are properly installed. See [ICICLE] for
 // installation description.
 //
-// [ICICLE]: https://github.com/ingonyama-zk/icicle
+// [ICICLE]: https://github.com/ingonyama-zk/icicle-gnark
 func WithIcicleAcceleration() ProverOption {
 	return func(pc *ProverConfig) error {
 		pc.Accelerator = "icicle"

diff --git a/backend/groth16/bls12-377/mpcsetup/marshal.go b/backend/groth16/bls12-377/mpcsetup/marshal.go
diff --git a/backend/groth16/bls12-377/mpcsetup/phase1.go b/backend/groth16/bls12-377/mpcsetup/phase1.go
diff --git a/backend/groth16/bls12-377/mpcsetup/phase2.go b/backend/groth16/bls12-377/mpcsetup/phase2.go
diff --git a/backend/groth16/bls12-377/mpcsetup/setup_test.go b/backend/groth16/bls12-377/mpcsetup/setup_test.go
diff --git a/backend/groth16/bls12-377/prove.go b/backend/groth16/bls12-377/prove.go
diff --git a/backend/groth16/bls12-377/setup.go b/backend/groth16/bls12-377/setup.go
diff --git a/backend/groth16/bls12-381/mpcsetup/marshal.go b/backend/groth16/bls12-381/mpcsetup/marshal.go
diff --git a/backend/groth16/bls12-381/mpcsetup/phase1.go b/backend/groth16/bls12-381/mpcsetup/phase1.go
diff --git a/backend/groth16/bls12-381/mpcsetup/phase2.go b/backend/groth16/bls12-381/mpcsetup/phase2.go
diff --git a/backend/groth16/bls12-381/mpcsetup/setup_test.go b/backend/groth16/bls12-381/mpcsetup/setup_test.go
diff --git a/backend/groth16/bls12-381/prove.go b/backend/groth16/bls12-381/prove.go
diff --git a/backend/groth16/bls12-381/setup.go b/backend/groth16/bls12-381/setup.go
diff --git a/backend/groth16/bls24-315/mpcsetup/marshal.go b/backend/groth16/bls24-315/mpcsetup/marshal.go
diff --git a/backend/groth16/bls24-315/mpcsetup/phase1.go b/backend/groth16/bls24-315/mpcsetup/phase1.go
diff --git a/backend/groth16/bls24-315/mpcsetup/phase2.go b/backend/groth16/bls24-315/mpcsetup/phase2.go
diff --git a/backend/groth16/bls24-315/mpcsetup/setup_test.go b/backend/groth16/bls24-315/mpcsetup/setup_test.go