Skip to content

Commit

Permalink
fix: tests
Browse files Browse the repository at this point in the history
  • Loading branch information
lonerapier committed Sep 3, 2024
1 parent f3719de commit 5bdf51d
Show file tree
Hide file tree
Showing 3 changed files with 1 addition and 3 deletions.
2 changes: 0 additions & 2 deletions circuits/http/extractor.circom
Original file line number Diff line number Diff line change
Expand Up @@ -162,7 +162,5 @@ template ExtractHeaderValue(DATA_BYTES, headerNameLength, maxValueLength) {
valueStartingIndex[i] <== valueStartingIndex[i-1] + i * (1-isZeroMask[i]) * isPrevStartingIndex[i];
}

log("valueStartingIndex", valueStartingIndex[DATA_BYTES-1]);

value <== SelectSubArray(DATA_BYTES, maxValueLength)(valueMask, valueStartingIndex[DATA_BYTES-1]+1, maxValueLength);
}
1 change: 1 addition & 0 deletions circuits/http/interpreter.circom
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
pragma circom 2.1.9;

include "parser/language.circom";
include "../utils/search.circom";
include "../utils/array.circom";

/* TODO:
Expand Down
1 change: 0 additions & 1 deletion circuits/test/http/extractor.test.ts
Original file line number Diff line number Diff line change
Expand Up @@ -58,7 +58,6 @@ describe("HTTP :: header Extractor", async () => {
function generatePassCase(input: number[], headerName: number[], headerValue: number[], desc: string) {
const description = generateDescription(input);

console.log("name:", headerName, "value:", headerValue)
it(`(valid) witness: ${description} ${desc}`, async () => {
circuit = await circomkit.WitnessTester(`ExtractHeaderValue`, {
file: "circuits/http/extractor",
Expand Down

0 comments on commit 5bdf51d

Please sign in to comment.