Nix packages for Circom Circuits

.github/workflows/ci.yml

@@ -14,6 +14,24 @@ env:
   ETHERSCAN_API_KEY: '${{ secrets.ETHERSCAN_API_KEY }}'
 
 jobs:
+  Circom:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+        with:
+          submodules: recursive
+
+      - uses: cachix/install-nix-action@v20
+        with:
+          nix_path: nixpkgs=channel:nixos-22.11
+          install_url: https://releases.nixos.org/nix/nix-2.15.0/install
+
+      - uses: cachix/cachix-action@v12
+        with:
+          name: nix-blockchain-development
+          authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
+      - name: Build Nix dev shell
+        run: nix build '.#packages.x86_64-linux.compress'
   Tests:
     runs-on: ubuntu-latest
     steps:

Makefile

@@ -1,12 +1,14 @@
+CIRCUITS = aggregate_bitmask compress compute_domain compute_signing_root expand_message hash_to_field hash_tree_root hash_tree_root_beacon_header is_supermajority is_valid_merkle_branch light_client light_client_recursive
+SUFFIXES = _cpp _build _zkey_0 _phase_2_ceremony _zkey _vkey _full
 yarn-check:
 	yarn install --immutable --immutable-cache --silent || { \
 		echo "Please run yarn install"; exit 1; \
 	}
 
 .PHONY: build-relay-image
 build-relay-image:
-	nix run '.#docker-image-yarn.copyToDockerDaemon'
-	nix run '.?submodules=1#docker-image-all.copyToDockerDaemon'
+	nix run --builders '$(BUILDERS)' '.#docker-image-yarn.copyToDockerDaemon'
+	nix run --builders '$(BUILDERS)' '.?submodules=1#docker-image-all.copyToDockerDaemon'
 
 	docker build -t relayimage -f Dockerfile.relay .
 
@@ -28,3 +30,8 @@ test-solidity-beacon-light-client-verifier:
 test-circom-circuits:
 	cd beacon-light-client/circom && \
 	./test/run_snarkit2_tests.sh
+
+$(foreach s, $(SUFFIXES), $(addsuffix $s, $(CIRCUITS))) cosmos-verifier-parse-data cosmos-verifier-contract cosmos-light-client-contract cosmos-groth16-verifier beacon-light-client-wasm beacon-light-client-emmc-wasm: %: #yarn-check
+	nix build --builders '$(BUILDERS)' -L  '.#packages.x86_64-linux.'$@
+
+