compose web_proof.circom

pluto · Nov 1, 2024 · 69c6129 · 69c6129
1 parent cf2b7f2
commit 69c6129
Show file tree

Hide file tree

Showing 9 changed files with 30 additions and 45 deletions.
diff --git a/circuits/aes-gctr-nivc.circom b/circuits/aes-gctr-nivc.circom
diff --git a/circuits/extract_value.circom b/circuits/extract_value.circom
diff --git a/circuits/http_body_mask.circom b/circuits/http_body_mask.circom
diff --git a/circuits/http_lock_header.circom b/circuits/http_lock_header.circom
diff --git a/circuits/http_parse_and_lock_start_line.circom b/circuits/http_parse_and_lock_start_line.circom
diff --git a/circuits/json_mask_array_index.circom b/circuits/json_mask_array_index.circom
diff --git a/circuits/json_mask_object.circom b/circuits/json_mask_object.circom
diff --git a/circuits/json_parse.circom b/circuits/json_parse.circom
diff --git a/circuits/web_proof.circom b/circuits/web_proof.circom
@@ -0,0 +1,30 @@
+pragma circom 2.1.9;
+
+include "aes-gcm/nivc/aes-gctr-nivc.circom";
+include "http/nivc/parse_and_lock_start_line.circom";
+include "http/nivc/lock_header.circom";
+include "http/nivc/body_mask.circom";
+include "json/nivc/parse.circom";
+include "json/nivc/masker.circom";
+include "json/nivc/masker.circom";
+include "json/nivc/extractor.circom";
+
+// AES -> HTTP Parse -> http lock header -> http body mask -> json parse -> json_mask_object/json_mask_array -> extract value
+template WEPPROOF { 
+
+    component aes_gctr_nivc = AESGCTRFOLD(48);
+    component http_parse = ParseAndLockStartLine(48, 16, 8, 3, 2);
+    component http_lock_header = LockHeader(48, 16, 12, 16);
+    component http_body_mask = HTTPMaskBodyNIVC(48, 16);
+    component json_parse = JsonParseNIVC(48, 16);
+    // need logic to specif which json type
+    // object or array
+    component json_mask_object = JsonMaskObjectNIVC(48, 16, 4);
+    component json_mask_array = JsonMaskArrayIndexNIVC(48, 16);
+    // extract value
+    component extract_value = JsonParseNIVC(48, 16);
+}
+
+//  = AESGCTRFOLD(48);
+component main = WEPPROOF();
+