feat: added tests for noir

Author: shreyas-londhe

compiler/src/nfa/codegen/noir.rs

@@ -468,13 +468,7 @@ fn check_accept_state(
     // should equal 1 since haystack_index should be 1 less than asserted_match)length
     let asserted_path_traversed = (asserted_match_length - haystack_index == 1) as Field;
 
-    // if accept state reached, check asserted path traversed. Else return 1
-    let valid_condition =
-        (1 - accept_state_reached_bool) + (accept_state_reached_bool * asserted_path_traversed);
-    assert(valid_condition == 1, "Accept state reached but not at asserted path end");
-
-    // return accept_state reached value
-    accept_state_reached
+    (1 - (accept_state_reached_bool * asserted_path_traversed))
 }}
 
 "#

noir/common/sample_haystacks/body_hash.json

@@ -0,0 +1,9 @@
+{
+    "pass": [
+        "dkim-signature:v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1694989812; x=1695594612; dara=google.com; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=BWETwQ9JDReS4GyR2v2TTR8Bpzj9ayumsWQJ3q7vehs=; b=",
+        "\r\ndkim-signature:v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1694989812; x=1695594612; dara=google.com; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=BWETwQ9JDReS4GyR2v2TTR8Bpzj9ayumsWQJ3q7vehs=; b="
+    ],
+    "fail": [
+        "\r\nto: dkim-signature:v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1694989812; x=1695594612; dara=google.com; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=BWETwQ9JDReS4GyR2v2TTR8Bpzj9ayumsWQJ3q7vehs=; b="
+    ]
+}