diff --git a/builds/target_512b/http_verification_512b.circom b/builds/target_512b/http_verification_512b.circom
new file mode 100644
index 0000000..43fdad5
--- /dev/null
+++ 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
new file mode 100644
index 0000000..600cc0a
--- /dev/null
+++ 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);
\ No newline at end of file
diff --git a/builds/target_512b/json_mask_array_index_512b.circom b/builds/target_512b/json_mask_array_index_512b.circom
new file mode 100644
index 0000000..ec72dc7
--- /dev/null
+++ 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);
\ No newline at end of file
diff --git a/builds/target_512b/json_mask_object_512b.circom b/builds/target_512b/json_mask_object_512b.circom
new file mode 100644
index 0000000..3bd0e31
--- /dev/null
+++ 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
new file mode 100644
index 0000000..f0c99ff
--- /dev/null
+++ 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);
\ No newline at end of file