Merge branch 'main' of https://github.com/zkemail/zk-regex into feat/…

…update-regex-to-mindfa

.gitignore

@@ -116,4 +116,6 @@ Cargo.lock
 packages/*/build
 
 package-lock.json
-yarn.lock
+yarn.lock
+
+packages/compiler/src/*.js

packages/circom/circuits/common/email_addr_regex.circom

@@ -158,34 +158,32 @@ template EmailAddrRegex(msg_bytes) {
 		and[3][i].b <== lt[5][i].out;
 		and[4][i] = AND();
 		and[4][i].a <== states[i][1];
-		multi_or[1][i] = MultiOR(27);
+		multi_or[1][i] = MultiOR(25);
 		multi_or[1][i].in[0] <== and[0][i].out;
 		multi_or[1][i].in[1] <== and[3][i].out;
-		multi_or[1][i].in[2] <== and[0][i].out;
-		multi_or[1][i].in[3] <== and[1][i].out;
-		multi_or[1][i].in[4] <== eq[0][i].out;
-		multi_or[1][i].in[5] <== eq[1][i].out;
-		multi_or[1][i].in[6] <== eq[2][i].out;
-		multi_or[1][i].in[7] <== eq[3][i].out;
-		multi_or[1][i].in[8] <== eq[4][i].out;
-		multi_or[1][i].in[9] <== eq[5][i].out;
-		multi_or[1][i].in[10] <== eq[6][i].out;
-		multi_or[1][i].in[11] <== eq[7][i].out;
-		multi_or[1][i].in[12] <== eq[8][i].out;
-		multi_or[1][i].in[13] <== eq[9][i].out;
-		multi_or[1][i].in[14] <== eq[10][i].out;
-		multi_or[1][i].in[15] <== eq[11][i].out;
-		multi_or[1][i].in[16] <== eq[12][i].out;
-		multi_or[1][i].in[17] <== eq[13][i].out;
-		multi_or[1][i].in[18] <== eq[14][i].out;
-		multi_or[1][i].in[19] <== eq[15][i].out;
-		multi_or[1][i].in[20] <== eq[16][i].out;
-		multi_or[1][i].in[21] <== eq[17][i].out;
-		multi_or[1][i].in[22] <== eq[18][i].out;
-		multi_or[1][i].in[23] <== eq[19][i].out;
-		multi_or[1][i].in[24] <== eq[20][i].out;
-		multi_or[1][i].in[25] <== eq[21][i].out;
-		multi_or[1][i].in[26] <== eq[22][i].out;
+		multi_or[1][i].in[2] <== eq[0][i].out;
+		multi_or[1][i].in[3] <== eq[1][i].out;
+		multi_or[1][i].in[4] <== eq[2][i].out;
+		multi_or[1][i].in[5] <== eq[3][i].out;
+		multi_or[1][i].in[6] <== eq[4][i].out;
+		multi_or[1][i].in[7] <== eq[5][i].out;
+		multi_or[1][i].in[8] <== eq[6][i].out;
+		multi_or[1][i].in[9] <== eq[7][i].out;
+		multi_or[1][i].in[10] <== eq[8][i].out;
+		multi_or[1][i].in[11] <== eq[9][i].out;
+		multi_or[1][i].in[12] <== eq[10][i].out;
+		multi_or[1][i].in[13] <== eq[11][i].out;
+		multi_or[1][i].in[14] <== eq[12][i].out;
+		multi_or[1][i].in[15] <== eq[13][i].out;
+		multi_or[1][i].in[16] <== eq[14][i].out;
+		multi_or[1][i].in[17] <== eq[15][i].out;
+		multi_or[1][i].in[18] <== eq[16][i].out;
+		multi_or[1][i].in[19] <== eq[17][i].out;
+		multi_or[1][i].in[20] <== eq[18][i].out;
+		multi_or[1][i].in[21] <== eq[19][i].out;
+		multi_or[1][i].in[22] <== eq[20][i].out;
+		multi_or[1][i].in[23] <== eq[21][i].out;
+		multi_or[1][i].in[24] <== eq[22][i].out;
 		and[4][i].b <== multi_or[1][i].out;
 		multi_or[2][i] = MultiOR(2);
 		multi_or[2][i].in[0] <== and[2][i].out;