diff --git a/circuits/web_proof.circom b/circuits/web_proof.circom index 177486b..ecd2c5c 100644 --- a/circuits/web_proof.circom +++ b/circuits/web_proof.circom @@ -12,17 +12,28 @@ 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 { + // template AESGCTRFOLD(INPUT_LEN) component aes_gctr_nivc = AESGCTRFOLD(48); + + // template ParseAndLockStartLine(DATA_BYTES, MAX_STACK_HEIGHT, MAX_BEGINNING_LENGTH, MAX_MIDDLE_LENGTH, MAX_FINAL_LENGTH) component http_parse = ParseAndLockStartLine(48, 16, 8, 3, 2); + + // template LockHeader(DATA_BYTES, MAX_STACK_HEIGHT, MAX_HEADER_NAME_LENGTH, MAX_HEADER_VALUE_LENGTH) component http_lock_header = LockHeader(48, 16, 12, 16); + + // template HTTPMaskBodyNIVC(DATA_BYTES, MAX_STACK_HEIGHT) component http_body_mask = HTTPMaskBodyNIVC(48, 16); + + // JsonParseNIVC(DATA_BYTES, MAX_STACK_HEIGHT) 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); + component extract_value = MaskExtractFinal(49, 32, 32); } // = AESGCTRFOLD(48);