chore: new other build files

creates two new builds for 512 bytes and 256 bytes. Also runs wit calc in the CI tests whereas before it was just being installed in the artifacts jobs and being used. I double checked the artifact Job and the make file and believe that they will both correctly make separate zips for each build. There was also one miscellaneous empty file with a .built extension that i assumed was a mistake so i removed it.

.github/workflows/artifacts.yaml

@@ -69,13 +69,6 @@ jobs:
         sudo mv circom /usr/local/bin/
         circom --version
 
-    - name: Install circom-witnesscalc
-      run: |
-        cd .. && git clone https://github.com/pluto/circom-witnesscalc.git
-        cd circom-witnesscalc
-        cargo install --path .
-        echo $(which build-circuit)
-
     - name: Install Node.js dependencies
       run: |
         npm ci

.github/workflows/test.yml

@@ -36,4 +36,15 @@ jobs:
         circom --version
 
     - name: Run tests
-      run: npm run test
+      run: npm run test
+
+    - name: Install circom-witnesscalc
+      run: |
+        cd .. && git clone https://github.com/pluto/circom-witnesscalc.git
+        cd circom-witnesscalc
+        cargo install --path .
+        echo $(which build-circuit)
+
+    - name: Run build-circuit on target files
+      run: |
+        build-circuit builds/target_256b/*.circom

builds/target_256b/aes_gctr_nivc_256b.circom

@@ -0,0 +1,6 @@
+pragma circom 2.1.9;
+
+include "../../circuits/aes-gcm/nivc/aes-gctr-nivc.circom";
+
+// the circomkit tests become unhappy when there is a main.
+component main { public [step_in] } = AESGCTRFOLD(256, 10);

builds/target_256b/http_body_mask_256b.circom

@@ -0,0 +1,6 @@
+pragma circom 2.1.9;
+
+include "../../circuits/http/nivc/body_mask.circom";
+
+component main { public [step_in] } = HTTPMaskBodyNIVC(512, 10);
+

builds/target_256b/http_lock_header_256b.circom

@@ -0,0 +1,5 @@
+pragma circom 2.1.9;
+
+include "../../circuits/http/nivc/lock_header.circom";
+
+component main { public [step_in] } = LockHeader(512, 10, 50, 100);

builds/target_256b/http_parse_and_lock_start_line_256b.circom

@@ -0,0 +1,5 @@
+pragma circom 2.1.9;
+
+include "../../circuits/http/nivc/parse_and_lock_start_line.circom";
+
+component main { public [step_in] } = ParseAndLockStartLine(512, 10, 20, 20, 20);

builds/target_256b/json_extract_value_256b.circom

@@ -0,0 +1,5 @@
+pragma circom 2.1.9;
+
+include "../../circuits/json/nivc/extractor.circom";
+
+component main { public [step_in] } = MaskExtractFinal(256, 10, 50);

builds/target_256b/json_mask_array_index_256b.circom

@@ -0,0 +1,5 @@
+pragma circom 2.1.9;
+
+include "../../circuits/json/nivc/masker.circom";
+
+component main { public [step_in] } = JsonMaskArrayIndexNIVC(256, 10);

builds/target_256b/json_mask_object_256b.circom

@@ -0,0 +1,5 @@
+pragma circom 2.1.9;
+
+include "../../circuits/json/nivc/masker.circom";
+
+component main { public [step_in] } = JsonMaskObjectNIVC(256, 10, 10);

builds/target_256b/json_parse_256b.circom

@@ -0,0 +1,6 @@
+pragma circom 2.1.9;
+
+include "../../circuits/json/nivc/parse.circom";
+
+component main { public [step_in] } = JsonParseNIVC(256, 10);
+

builds/target_512b/aes_gctr_nivc_512b.circom

@@ -0,0 +1,6 @@
+pragma circom 2.1.9;
+
+include "../../circuits/aes-gcm/nivc/aes-gctr-nivc.circom";
+
+// the circomkit tests become unhappy when there is a main.
+component main { public [step_in] } = AESGCTRFOLD(512, 10);

builds/target_512b/http_body_mask_512b.circom

@@ -0,0 +1,6 @@
+pragma circom 2.1.9;
+
+include "../../circuits/http/nivc/body_mask.circom";
+
+component main { public [step_in] } = HTTPMaskBodyNIVC(512, 10);
+

builds/target_512b/http_lock_header_512b.circom

@@ -0,0 +1,5 @@
+pragma circom 2.1.9;
+
+include "../../circuits/http/nivc/lock_header.circom";
+
+component main { public [step_in] } = LockHeader(512, 10, 50, 100);

builds/target_512b/http_parse_and_lock_start_line_512b.circom

@@ -0,0 +1,5 @@
+pragma circom 2.1.9;
+
+include "../../circuits/http/nivc/parse_and_lock_start_line.circom";
+
+component main { public [step_in] } = ParseAndLockStartLine(512, 10, 20, 20, 20);

builds/target_512b/json_extract_value_512b.circom

@@ -0,0 +1,5 @@
+pragma circom 2.1.9;
+
+include "../../circuits/json/nivc/extractor.circom";
+
+component main { public [step_in] } = MaskExtractFinal(512, 10, 50);

builds/target_512b/json_mask_array_index_512b.circom

@@ -0,0 +1,5 @@
+pragma circom 2.1.9;
+
+include "../../circuits/json/nivc/masker.circom";
+
+component main { public [step_in] } = JsonMaskArrayIndexNIVC(512, 10);

builds/target_512b/json_mask_object_512b.circom

@@ -0,0 +1,5 @@
+pragma circom 2.1.9;
+
+include "../../circuits/json/nivc/masker.circom";
+
+component main { public [step_in] } = JsonMaskObjectNIVC(512, 10, 10);

builds/target_512b/json_parse_512b.circom

@@ -0,0 +1,6 @@
+pragma circom 2.1.9;
+
+include "../../circuits/json/nivc/parse.circom";
+
+component main { public [step_in] } = JsonParseNIVC(512, 10);
+