Merge branch 'main' into release/v0-7-0

pluto · Dec 13, 2024 · 64d102b · 64d102b
2 parents 3e69566 + 26fc847
commit 64d102b
Show file tree

Hide file tree

Showing 5 changed files with 25 additions and 0 deletions.
diff --git a/builds/target_512b/http_verification_512b.circom b/builds/target_512b/http_verification_512b.circom
@@ -0,0 +1,5 @@
+pragma circom 2.1.9;
+
+include "../../circuits/http/verification.circom";
+
+component main { public [step_in] } = HTTPVerification(512, 10);
diff --git a/builds/target_512b/json_extract_value_512b.circom b/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, 50);
diff --git a/builds/target_512b/json_mask_array_index_512b.circom b/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);
diff --git a/builds/target_512b/json_mask_object_512b.circom b/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);
diff --git a/builds/target_512b/plaintext_authentication_512b.circom b/builds/target_512b/plaintext_authentication_512b.circom
@@ -0,0 +1,5 @@
+pragma circom 2.1.9;
+
+include "../../circuits/chacha20/nivc/chacha20_nivc.circom";
+
+component main { public [step_in] } = ChaCha20_NIVC(512);